Charlie is nice. Erin is cold. Erin is white. If Charlie is smart and Charlie is young then Charlie is white. All smart things are red. Smart things are young. All white things are nice. All nice, cold things are young. All young things are quiet. Red, nice things are white. If Charlie is cold then Charlie is smart.
Erin is quiet.
@0: Charlie is nice.[(triple1)] Erin is cold.[(triple2)] Erin is white.[(triple3)] @1: Erin is nice.[(((triple3) -> rule4))] @2: Erin is young.[(((((triple3) -> rule4) triple2) -> rule5))] @3: Erin is quiet.[(((((((triple3) -> rule4) triple2) -> rule5)) -> rule6))]