Bob is young. Charlie is green. Erin is kind. If something is blue and not smart then it is kind. Kind, young things are white. If something is smart then it is white. All blue, smart things are white. All kind things are young. If something is smart and green then it is not blue.
Erin is young.
@0: Bob is young.[(triple1)] Charlie is green.[(triple2)] Erin is kind.[(triple3)] @1: Erin is young.[(((triple3) -> rule5))] @2: Erin is white.[(((triple3 ((triple3) -> rule5)) -> rule2))]