context: It is certain that Jeff moved to the garden. It is improbable that Mary got the football. It is highly unlikely that Brian is a rhino. It is highly unlikely that if 'Jeff moved to the garden and Mary got the football' then Lily is green. It is certain that if 'Mary got the football' or 'Jeff moved to the garden' or both then Winona is a wolf. It is probably the case that if either 'Brian is a rhino' or 'Jeff moved to the garden' but not both then John went to the office.
hypothesis: Chances are about even that 'Mary got the football and Brian is a rhino'.
valid_hypothesis: It is impossible that 'Mary got the football and Brian is a rhino'.
invalid_hypothesis: Chances are about even that 'Mary got the football and Brian is a rhino'.
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
    1.0::factA.
    0.1::factB.
    0.05::factC.
    %hop1
    0.05::factX:-and(factA,factB).
    1.0::factY:-or(factB,factA).
    0.7::factZ:-xor(factC,factA).
  
    %hop2
    conclusion:-and(factB,factC).
  
    query(conclusion).
    
hypothesis_assertion: 'Mary got the football and Brian is a rhino'.