context: It is impossible that Julius is a frog. It is impossible that Lily is yellow. It is certain that Greg is a swan.
hypothesis: It is certain that either Greg is a swan, or Lily is yellow.
valid_hypothesis: It is certain that either Greg is a swan, or Lily is yellow.
invalid_hypothesis: It is impossible that either Greg is a swan, or Lily is yellow.
hypothesis_assertion: Either Greg is a swan, or Lily is yellow.