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