context: It is highly likely that Fred moved to the office. Chances are slight that Greg is gray. There is a very good chance that Sumit is thirsty. It is unlikely that if 'Fred moved to the office' or 'Greg is gray' or both then John is in the garden. It is likely that if either 'Fred moved to the office' or 'Sumit is thirsty' but not both then Mary got the milk. We believe that if 'Fred moved to the office' or 'Greg is gray' or both then Lily is a rhino.
hypothesis: Chances are slight that 'Sumit is thirsty and Fred moved to the office'.
valid_hypothesis: It is probable that 'Sumit is thirsty and Fred moved to the office'.
invalid_hypothesis: Chances are slight that 'Sumit is thirsty and Fred moved to the office'.
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.9::factA.
    0.1::factB.
    0.8::factC.
    %hop1
    0.2::factX:-or(factA,factB).
    0.7::factY:-xor(factA,factC).
    0.75::factZ:-or(factA,factB).
  
    %hop2
    conclusion:-and(factC,factA).
  
    query(conclusion).
    
hypothesis_assertion: 'Sumit is thirsty and Fred moved to the office'.