context: There is almost no chance that Daniel took the apple. There is almost no chance that Jeff put down the milk. Chances are about even that Mary moved to the garden.
hypothesis: Chances are about even that 'Mary moved to the garden' or 'Daniel took the apple' or both.
valid_hypothesis: Chances are about even that 'Mary moved to the garden' or 'Daniel took the apple' or both.
invalid_hypothesis: It is almost certain that 'Mary moved to the garden' or 'Daniel took the apple' or both.
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.02::factA.
    0.02::factB.
    0.5::factC.
    
  
    %hop2
    conclusion:-or(factC,factA).
  
    query(conclusion).
    
hypothesis_assertion: 'Mary moved to the garden' or 'Daniel took the apple' or both.