It is highly unlikely that Brian is a lion. It is unlikely that Bernhard is white. It is likely that Sandra dropped the apple. It is probable that if 'Brian is a lion and Sandra dropped the apple' then Winona is a wolf. It is likely that if 'Sandra dropped the apple and Brian is a lion' then Greg is yellow. It is unlikely that if 'Sandra dropped the apple' or 'Bernhard is white' or both then John went to the garden.
It is probably the case that 'Brian is a lion' or 'Bernhard is white' or both.
It is probably not the case that 'Brian is a lion' or 'Bernhard is white' or both.
It is probably the case that 'Brian is a lion' or 'Bernhard is white' 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.05::factA.
  0.2::factB.
  0.7::factC.
  %hop1
  0.7::factX:-and(factA,factC).
  0.7::factY:-and(factC,factA).
  0.2::factZ:-or(factC,factB).

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

  query(conclusion).
  
'Brian is a lion' or 'Bernhard is white' or both.