context: The sister of Gary is not Bob. Bob is green if Harry is not cold. If Harry is red then Harry is not cold. Harry is red if Bob is not the sister of Gary. Erin is not smart if Bob is green. If Erin is not smart then Bob is not round.