Fiona is nice. Fiona is round. Gary is rough. Round people are cold.
Gary is not cold.
@0: Fiona is nice.[(triple1)] Fiona is round.[(triple2)] Gary is rough.[(triple3)] @1: Fiona is cold.[(((triple2) -> rule1))]