Charlie is cold. Erin is smart. Gary is cold. Quiet, smart people are nice. All kind people are nice. All kind, smart people are not cold. All cold people are quiet. If someone is cold then they are green. Green people are smart.
Erin is not nice.
@0: Charlie is cold.[(triple1)] Erin is smart.[(triple2)] Gary is cold.[(triple3)] @1: Charlie is green.[(((triple1) -> rule5))] Charlie is quiet.[(((triple1) -> rule4))] Gary is green.[(((triple3) -> rule5))] Gary is quiet.[(((triple3) -> rule4))] @2: Charlie is smart.[(((((triple1) -> rule5)) -> rule6))] Gary is smart.[(((((triple3) -> rule5)) -> rule6))] @3: Charlie is nice.[(((((triple1) -> rule4) ((((triple1) -> rule5)) -> rule6)) -> rule1))] Gary is nice.[(((((triple3) -> rule4) ((((triple3) -> rule5)) -> rule6)) -> rule1))]