Bob is blue. Charlie is young. Erin is quiet. All kind things are nice. Young things are kind. All nice, kind things are smart. If something is young and nice then it is kind. White, blue things are smart. If Erin is kind and Erin is smart then Erin is white.
Erin is not kind.
@0: Bob is blue.[(triple1)] Charlie is young.[(triple2)] Erin is quiet.[(triple3)] @1: Charlie is kind.[(((triple2) -> rule2))] @2: Charlie is nice.[(((((triple2) -> rule2)) -> rule1))] @3: Charlie is smart.[(((((((triple2) -> rule2)) -> rule1) ((triple2) -> rule2)) -> rule3))]