context: It is impossible that Mary moved to the garden. Chances are about even that Brian is white. We believe that Winona is a mouse. It is improbable that if Winona is a mouse, and Mary moved to the garden, then Greg is a rhino. Chances are slight that if either Brian is white, or Winona is a mouse, then Julius is a frog. Chances are about even that if Mary moved to the garden, or Winona is a mouse, then Lily is a frog.
hypothesis: It is impossible that lily is a frog, and Greg is a rhino.
valid_hypothesis: It is impossible that lily is a frog, and Greg is a rhino.
invalid_hypothesis: We believe that lily is a frog, and Greg is a rhino.
hypothesis_assertion: Lily is a frog, and Greg is a rhino.