Charlie is kind. Erin is blue. Erin is smart. Smart people are young. If Erin is young and Erin is smart then Erin is cold.
Erin is not young.
@0: Charlie is kind.[(triple1)] Erin is blue.[(triple2)] Erin is smart.[(triple3)] @1: Erin is young.[(((triple3) -> rule1))] @2: Erin is cold.[(((((triple3) -> rule1) triple3) -> rule2))]