Charlie is young. Erin is not smart. Gary is smart. Furry, smart things are young. If Gary is round and Gary is blue then Gary is red. All smart, furry things are nice. If something is smart then it is furry. Blue things are red. Furry, nice things are round.
Erin is blue.
@0: Charlie is young.[(triple1)] Erin is not smart.[(triple2)] Gary is smart.[(triple3)] @1: Gary is furry.[(((triple3) -> rule4))] @2: Gary is nice.[(((triple3 ((triple3) -> rule4)) -> rule3))] Gary is young.[(((((triple3) -> rule4) triple3) -> rule1))] @3: Gary is round.[(((((triple3) -> rule4) ((triple3 ((triple3) -> rule4)) -> rule3)) -> rule6))]