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. If Harry is not cold then Bob is not cold. The grandmother of Dave is Gary if Bob is not cold.