context: We doubt that Julius is green. It is probable that Lily is yellow. It is impossible that Mary went to the office. It is probably the case that if 'Mary went to the office and Julius is green' then Jessica is a mouse. There is a better than even chance that if 'Lily is yellow and Julius is green' then Fred is in the cinema. There is a very good chance that if 'Julius is green' or 'Lily is yellow' or both then Greg is gray.
hypothesis: It is almost certain that 'Julius is green and Jessica is a mouse'.
valid_hypothesis: It is impossible that 'Julius is green and Jessica is a mouse'.
invalid_hypothesis: It is almost certain that 'Julius is green and Jessica is a mouse'.
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.2::factA.
    0.7::factB.
    0.0::factC.
    %hop1
    0.7::factX:-and(factC,factA).
    0.6::factY:-and(factB,factA).
    0.8::factZ:-or(factA,factB).
  
    %hop2
    conclusion:-and(factA,factX).
  
    query(conclusion).
    
hypothesis_assertion: 'Julius is green and Jessica is a mouse'.