context: The sister of Gary is not Bob. The grandmother of Dave is Gary if Bob is not cold. If Harry is not cold then Bob is not cold. If Harry is red then Harry is not cold. If The sister of Gary is Bob then Harry is red.