Bob is smart. Erin is red. Gary is red. Harry is furry. If something is smart and not round then it is red. If something is smart then it is red. If something is red then it is furry. Furry things are young. Round things are not young. Green, smart things are young. If something is furry and round then it is big. If Harry is young then Harry is red.
Bob is big.
@0: Bob is smart.[(triple1)] Erin is red.[(triple2)] Gary is red.[(triple3)] Harry is furry.[(triple4)] @1: Bob is red.[(((triple1) -> rule2))] Erin is furry.[(((triple2) -> rule3))] Gary is furry.[(((triple3) -> rule3))] Harry is young.[(((triple4) -> rule4))] @2: Bob is furry.[(((((triple1) -> rule2)) -> rule3))] Erin is young.[(((((triple2) -> rule3)) -> rule4))] Gary is young.[(((((triple3) -> rule3)) -> rule4))] Harry is red.[(((((triple4) -> rule4)) -> rule8))] @3: Bob is young.[(((((((triple1) -> rule2)) -> rule3)) -> rule4))]