context: It is almost certain that Brian is white. It is highly unlikely that Julius is a lion. Chances are slight that Greg is yellow. It is unlikely that if 'Greg is yellow' or 'Brian is white' or both then Lily is green. There is almost no chance that if either 'Greg is yellow' or 'Brian is white' but not both then John moved to the office. It is almost certain that if either 'Greg is yellow' or 'Julius is a lion' but not both then Mary went to the bedroom.
hypothesis: It is probably the case that 'Brian is white and Lily is green'.
valid_hypothesis: It is unlikely that 'Brian is white and Lily is green'.
invalid_hypothesis: It is probably the case that 'Brian is white and Lily is green'.
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.95::factA.
    0.05::factB.
    0.1::factC.
    %hop1
    0.2::factX:-or(factC,factA).
    0.02::factY:-xor(factC,factA).
    0.95::factZ:-xor(factC,factB).
  
    %hop2
    conclusion:-and(factA,factX).
  
    query(conclusion).
    
hypothesis_assertion: 'Brian is white and Lily is green'.