Erin is blue. Rough, kind people are red. If Erin is rough and Erin is blue then Erin is kind. Green people are rough. All green, kind people are young. Kind, green people are rough. Blue people are rough.
Erin is not young.
@0: Erin is blue.[(triple1)] @1: Erin is rough.[(((triple1) -> rule6))] @2: Erin is kind.[(((((triple1) -> rule6) triple1) -> rule2))] @3: Erin is red.[(((((triple1) -> rule6) ((((triple1) -> rule6) triple1) -> rule2)) -> rule1))]