It is unlikely that Lily is green. It is probably not the case that Greg is a rhino. There is almost no chance that Bernhard is white. It is probably not the case that if 'Greg is a rhino' or 'Bernhard is white' or both then Sandra got the milk. We doubt that if either 'Lily is green' or 'Bernhard is white' but not both then Mary went to the hallway. There is a very good chance that if 'Lily is green and Greg is a rhino' then Yann is bored.
It is likely that 'Lily is green' or 'Mary went to the hallway' or both.
We doubt that 'Lily is green' or 'Mary went to the hallway' or both.
It is likely that 'Lily is green' or 'Mary went to the hallway' or both.

  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.25::factB.
  0.02::factC.
  %hop1
  0.25::factX:-or(factB,factC).
  0.2::factY:-xor(factA,factC).
  0.8::factZ:-and(factA,factB).

  %hop2
  conclusion:-or(factA,factY).

  query(conclusion).
  
'Lily is green' or 'Mary went to the hallway' or both.