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