It is probable that Emily is a mouse. It is highly likely that Sandra dropped the apple. It is probably not the case that Brian is white. It is probable that if 'Emily is a mouse' or 'Sandra dropped the apple' or both then Lily is a lion. It is likely that if 'Brian is white' or 'Sandra dropped the apple' or both then Greg is a lion. It is probable that if 'Emily is a mouse' or 'Sandra dropped the apple' or both then Fred left the football.
It is likely that 'Brian is white and Sandra dropped the apple'.
It is unlikely that 'Brian is white and Sandra dropped the apple'.
It is likely that 'Brian is white and Sandra dropped the apple'.

  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.7::factA.
  0.9::factB.
  0.25::factC.
  %hop1
  0.7::factX:-or(factA,factB).
  0.7::factY:-or(factC,factB).
  0.7::factZ:-or(factA,factB).

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

  query(conclusion).
  
'Brian is white and Sandra dropped the apple'.