Charlie is cold. Erin is smart. Fiona is smart. Gary is white. Red people are cold. All smart people are red.
Erin is red.
@0: Charlie is cold.[(triple1)] Erin is smart.[(triple2)] Fiona is smart.[(triple3)] Gary is white.[(triple4)] @1: Erin is red.[(((triple2) -> rule2))] Fiona is red.[(((triple3) -> rule2))] @2: Erin is cold.[(((((triple2) -> rule2)) -> rule1))] Fiona is cold.[(((((triple3) -> rule2)) -> rule1))]