context: It is certain that Sumit is thirsty. It is improbable that Lily is green. It is probable that Brian is white. There is almost no chance that if either 'Lily is green' or 'Sumit is thirsty' but not both then Greg is a rhino. We believe that if 'Sumit is thirsty and Brian is white' then Bernhard is green. There is almost no chance that if either 'Brian is white' or 'Lily is green' but not both then Julius is yellow.
hypothesis: It is likely that 'Lily is green and Brian is white'.
valid_hypothesis: It is highly unlikely that 'Lily is green and Brian is white'.
invalid_hypothesis: It is likely that 'Lily is green and Brian is white'.
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.7::factC.
    %hop1
    0.02::factX:-xor(factB,factA).
    0.75::factY:-and(factA,factC).
    0.02::factZ:-xor(factC,factB).
  
    %hop2
    conclusion:-and(factB,factC).
  
    query(conclusion).
    
hypothesis_assertion: 'Lily is green and Brian is white'.