Bob is nice. Erin is nice. Gary is young. Nice things are smart. All kind things are white. Red things are white. If something is young and not smart then it is kind. All young things are kind. If Erin is furry then Erin is not white. If something is red then it is furry. If something is white then it is furry.
Bob is not kind.
@0: Bob is nice.[(triple1)] Erin is nice.[(triple2)] Gary is young.[(triple3)] @1: Bob is smart.[(((triple1) -> rule1))] Erin is smart.[(((triple2) -> rule1))] Gary is kind.[(((triple3) -> rule5))] @2: Gary is white.[(((((triple3) -> rule5)) -> rule2))] @3: Gary is furry.[(((((((triple3) -> rule5)) -> rule2)) -> rule8))]