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