It is likely that Sandra left the football. It is unlikely that Julius is a frog. It is almost certain that Antoine is bored. It is certain that if either 'Julius is a frog' or 'Sandra left the football' but not both then Sumit is tired. It is likely that if 'Antoine is bored and Julius is a frog' then Greg is white. There is a better than even chance that if 'Sandra left the football' or 'Antoine is bored' or both then Mary moved to the office.
It is probable that 'Sumit is tired and Greg is white'.
It is highly unlikely that 'Sumit is tired and Greg is white'.
It is probable that 'Sumit is tired and Greg is white'.

  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.2::factB.
  0.95::factC.
  %hop1
  1.0::factX:-xor(factB,factA).
  0.7::factY:-and(factC,factB).
  0.6::factZ:-or(factA,factC).

  %hop2
  conclusion:-and(factX,factY).

  query(conclusion).
  
'Sumit is tired and Greg is white'.