Anne is red. Fiona is red. Gary is white. All red people are white.
Gary is cold.
@0: Anne is red.[(triple1)] Fiona is red.[(triple2)] Gary is white.[(triple3)] @1: Anne is white.[(((triple1) -> rule1))] Fiona is white.[(((triple2) -> rule1))]