Anne is nice. Erin is round. Fiona is kind. Gary is not cold. If something is nice and cold then it is furry. All red, kind things are cold.
Gary is cold.
@0: Anne is nice.[(triple1)] Erin is round.[(triple2)] Fiona is kind.[(triple3)] Gary is not cold.[(triple4)]