context: It is probably not the case that Bernhard is yellow. It is probably not the case that Fred left the football. It is probably not the case that John put down the milk.
hypothesis: It is highly unlikely that 'Fred left the football and John put down the milk'.
valid_hypothesis: It is highly unlikely that 'Fred left the football and John put down the milk'.
invalid_hypothesis: It is highly likely that 'Fred left the football and John put down 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.25::factA.
    0.25::factB.
    0.25::factC.
    
  
    %hop2
    conclusion:-and(factB,factC).
  
    query(conclusion).
    
hypothesis_assertion: 'Fred left the football and John put down the milk'.