context: There is little chance that Jeff went to the bedroom. It is probably not the case that Julius is white. It is highly likely that Brian is white. It is improbable that if 'Brian is white' or 'Jeff went to the bedroom' or both then John discarded the apple. There is little chance that if either 'Jeff went to the bedroom' or 'Julius is white' but not both then Lily is a lion. We doubt that if 'Julius is white' or 'Jeff went to the bedroom' or both then Sandra left the milk.
hypothesis: There is almost no chance that 'Jeff went to the bedroom and Sandra left the milk'.
valid_hypothesis: There is almost no chance that 'Jeff went to the bedroom and Sandra left the milk'.
invalid_hypothesis: It is probable that 'Jeff went to the bedroom and Sandra left the milk'.
problog: 
    and(A,B) :- A,B.
    or(A,B) :- A;B.
    nand(A,B) :- not(and(A,B)).
    nor(A,B) :- not(or(A,B)).
    xor(A,B) :- or(A,B), nand(A,B).
  
    %hop0
    0.1::factA.
    0.25::factB.
    0.9::factC.
    %hop1
    0.1::factX:-or(factC,factA).
    0.1::factY:-xor(factA,factB).
    0.2::factZ:-or(factB,factA).
  
    %hop2
    conclusion:-and(factA,factZ).
  
    query(conclusion).
    
hypothesis_assertion: 'Jeff went to the bedroom and Sandra left the milk'.