It is unlikely that Brian is gray. It is almost certain that Yann is hungry. It is highly unlikely that Mary got the apple. It is highly unlikely that if 'Mary got the apple and Brian is gray' then Sandra took the milk. It is improbable that if 'Brian is gray' or 'Mary got the apple' or both then Winona is a wolf. It is improbable that if 'Yann is hungry' or 'Brian is gray' or both then Jessica is a cat.
It is unlikely that 'Yann is hungry' or 'Brian is gray' or both.
It is almost certain that 'Yann is hungry' or 'Brian is gray' or both.
It is unlikely that 'Yann is hungry' or 'Brian is gray' 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.95::factB.
  0.05::factC.
  %hop1
  0.05::factX:-and(factC,factA).
  0.1::factY:-or(factA,factC).
  0.1::factZ:-or(factB,factA).

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

  query(conclusion).
  
'Yann is hungry' or 'Brian is gray' or both.