Anne is cold. Fiona is white. Gary is blue. Harry is rough. If someone is nice then they are furry. Round people are rough. If someone is nice and blue then they are rough. If Anne is furry and Anne is rough then Anne is cold. All rough people are cold. Nice people are rough. All round, rough people are furry. Nice, white people are round.
Gary is blue.
@0: Anne is cold.[(triple1)] Fiona is white.[(triple2)] Gary is blue.[(triple3)] Harry is rough.[(triple4)] @1: Harry is cold.[(((triple4) -> rule5))]