Bob is cold. Fiona is white. Gary is white. Rough, cold things are nice. White things are cold.
Gary is not blue.
@0: Bob is cold.[(triple1)] Fiona is white.[(triple2)] Gary is white.[(triple3)] @1: Fiona is cold.[(((triple2) -> rule2))] Gary is cold.[(((triple3) -> rule2))]