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