Erin is big. Erin is furry. Harry is quiet. All blue people are smart. Smart, young people are big. If Harry is young and Harry is big then Harry is furry. All furry, big people are young. Young, quiet people are furry. If someone is young then they are blue.
Erin is blue.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Harry is quiet.[(triple3)] @1: Erin is young.[(((triple2 triple1) -> rule4))] @2: Erin is blue.[(((((triple2 triple1) -> rule4)) -> rule6))] @3: Erin is smart.[(((((((triple2 triple1) -> rule4)) -> rule6)) -> rule1))]