Erin is rough. Erin is smart. Erin is white. Fiona is green. Fiona is smart. Gary is quiet. Harry is cold. All cold, white people are green. Green people are blue. If someone is rough then they are cold.
Erin is not blue.
@0: Erin is rough.[(triple1)] Erin is smart.[(triple2)] Erin is white.[(triple3)] Fiona is green.[(triple4)] Fiona is smart.[(triple5)] Gary is quiet.[(triple6)] Harry is cold.[(triple7)] @1: Erin is cold.[(((triple1) -> rule3))] Fiona is blue.[(((triple4) -> rule2))] @2: Erin is green.[(((((triple1) -> rule3) triple3) -> rule1))] @3: Erin is blue.[(((((((triple1) -> rule3) triple3) -> rule1)) -> rule2))]