context: The sister of Gary is not Bob. If Erin is not smart then Bob is round. 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 The sister of Gary is Bob then Harry is red.