context: It is probably not the case that Mary got the football. It is unlikely that Bill went to the garden. There is almost no chance that John left the milk. It is likely that if either 'John left the milk' or 'Mary got the football' but not both then Brian is a frog. It is probably the case that if either 'Bill went to the garden' or 'Mary got the football' but not both then Jessica is a cat. It is highly likely that if 'Mary got the football' or 'Bill went to the garden' or both then Bernhard is a rhino.
hypothesis: There is a better than even chance that 'Bill went to the garden and Mary got the football'.
valid_hypothesis: It is highly unlikely that 'Bill went to the garden and Mary got the football'.
invalid_hypothesis: There is a better than even chance that 'Bill went to the garden and Mary got the football'.
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.25::factA.
    0.2::factB.
    0.02::factC.
    %hop1
    0.7::factX:-xor(factC,factA).
    0.7::factY:-xor(factB,factA).
    0.9::factZ:-or(factA,factB).
  
    %hop2
    conclusion:-and(factB,factA).
  
    query(conclusion).
    
hypothesis_assertion: 'Bill went to the garden and Mary got the football'.