There is a very good chance that Mary is in the school. There is little chance that Lily is white. It is unlikely that Jason is tired. It is highly likely that if 'Jason is tired and Lily is white' then Winona is a mouse. It is certain that if 'Jason is tired' or 'Lily is white' or both then John dropped the apple. It is almost certain that if 'Jason is tired and Mary is in the school' then Brian is yellow.
It is almost certain that 'Jason is tired' or 'Lily is white' or both.
It is probably not the case that 'Jason is tired' or 'Lily is white' or both.
It is almost certain that 'Jason is tired' or 'Lily 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.8::factA.
  0.1::factB.
  0.2::factC.
  %hop1
  0.9::factX:-and(factC,factB).
  1.0::factY:-or(factC,factB).
  0.95::factZ:-and(factC,factA).

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

  query(conclusion).
  
'Jason is tired' or 'Lily is white' or both.