Erin is blue. Erin is kind. Erin is young. Blue people are quiet. All nice, blue people are kind. All nice, big people are green. Kind people are blue. If Erin is quiet and Erin is young then Erin is nice. Young people are big.
Erin is nice.
@0: Erin is blue.[(triple1 OR ((triple2) -> rule4))] Erin is kind.[(triple2 OR ((((((triple1) -> rule1) triple3) -> rule5) triple1) -> rule2))] Erin is young.[(triple3)] @1: Erin is big.[(((triple3) -> rule6))] Erin is quiet.[(((triple1) -> rule1) OR ((((triple2) -> rule4)) -> rule1))] @2: Erin is nice.[(((((triple1) -> rule1) triple3) -> rule5) OR ((((((triple2) -> rule4)) -> rule1) triple3) -> rule5))] @3: Erin is green.[(((((((triple1) -> rule1) triple3) -> rule5) ((triple3) -> rule6)) -> rule3) OR ((((((((triple2) -> rule4)) -> rule1) triple3) -> rule5) ((triple3) -> rule6)) -> rule3))]