It is likely that Mary moved to the garden. It is almost certain that Lily is yellow. It is probable that Greg is a lion. It is highly likely that if Lily is yellow, or Mary moved to the garden, then Bernhard is a rhino. It is probable that if Lily is yellow, or Greg is a lion, then John left the milk. It is probable that if Greg is a lion, and Lily is yellow, then Antoine is hungry.
It is probably not the case that antoine is hungry, or Lily is yellow.
It is almost certain that antoine is hungry, or Lily is yellow.
It is probably not the case that antoine is hungry, or Lily is yellow.
Antoine is hungry, or Lily is yellow.