context: Erin is young. Gary is green if Harry is cold. Fiona is not cold if Gary is green. Harry is cold if The aunt of Anne is Gary. Gary is the aunt of Anne if Bob is not furry. If Erin is not young then Bob is not furry.