context: There is little chance that Sandra left the football. It is certain that Emily is a cat. It is probably the case that Bill went to the bedroom. There is a better than even chance that if 'Bill went to the bedroom' or 'Sandra left the football' or both then Brian is yellow. It is unlikely that if either 'Sandra left the football' or 'Bill went to the bedroom' but not both then Lily is green. It is improbable that if either 'Emily is a cat' or 'Sandra left the football' but not both then Mary grabbed the milk.
hypothesis: It is certain that 'Bill went to the bedroom and Mary grabbed the milk'.
valid_hypothesis: It is highly unlikely that 'Bill went to the bedroom and Mary grabbed the milk'.
invalid_hypothesis: It is certain that 'Bill went to the bedroom and Mary grabbed 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.
    1.0::factB.
    0.7::factC.
    %hop1
    0.6::factX:-or(factC,factA).
    0.2::factY:-xor(factA,factC).
    0.1::factZ:-xor(factB,factA).
  
    %hop2
    conclusion:-and(factC,factZ).
  
    query(conclusion).
    
hypothesis_assertion: 'Bill went to the bedroom and Mary grabbed the milk'.