Erin is round. If Erin is nice then Erin is smart. Round people are furry. All cold people are nice. Furry, round people are blue. All blue, round people are young. If someone is round and young then they are smart.
Erin is not blue.
@0: Erin is round.[(triple1)] @1: Erin is furry.[(((triple1) -> rule2))] @2: Erin is blue.[(((((triple1) -> rule2) triple1) -> rule4))] @3: Erin is young.[(((((((triple1) -> rule2) triple1) -> rule4) triple1) -> rule5))] @4: Erin is smart.[(((triple1 ((((((triple1) -> rule2) triple1) -> rule4) triple1) -> rule5)) -> rule6))]