context: Chances are about even that Jeff moved to the garden. It is probable that Bernhard is green. We doubt that Jason is bored. It is improbable that if 'Jason is bored' or 'Jeff moved to the garden' or both then Julius is gray. It is probably the case that if 'Jeff moved to the garden' or 'Bernhard is green' or both then Lily is a lion. Chances are slight that if 'Jeff moved to the garden' or 'Bernhard is green' or both then Brian is a rhino.
hypothesis: It is probable that 'Brian is a rhino' or 'Bernhard is green' or both.
valid_hypothesis: It is probable that 'Brian is a rhino' or 'Bernhard is green' or both.
invalid_hypothesis: It is improbable that 'Brian is a rhino' or 'Bernhard is green' or both.
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.5::factA.
    0.7::factB.
    0.2::factC.
    %hop1
    0.1::factX:-or(factC,factA).
    0.7::factY:-or(factA,factB).
    0.1::factZ:-or(factA,factB).
  
    %hop2
    conclusion:-or(factZ,factB).
  
    query(conclusion).
    
hypothesis_assertion: 'Brian is a rhino' or 'Bernhard is green' or both.