context: There is a better than even chance that John went to the bedroom. It is impossible that Jason is tired. There is little chance that Julius is white. It is unlikely that if 'John went to the bedroom and Jason is tired' then Jessica is a cat. It is impossible that if either 'John went to the bedroom' or 'Jason is tired' but not both then Greg is a lion. It is highly likely that if 'Julius is white and John went to the bedroom' then Bernhard is gray.
hypothesis: It is impossible that 'Greg is a lion and Jason is tired'.
valid_hypothesis: It is impossible that 'Greg is a lion and Jason is tired'.
invalid_hypothesis: It is almost certain that 'Greg is a lion and Jason is tired'.
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.6::factA.
    0.0::factB.
    0.1::factC.
    %hop1
    0.2::factX:-and(factA,factB).
    0.0::factY:-xor(factA,factB).
    0.9::factZ:-and(factC,factA).
  
    %hop2
    conclusion:-and(factY,factB).
  
    query(conclusion).
    
hypothesis_assertion: 'Greg is a lion and Jason is tired'.