Erin is red. Erin is not rough. Erin is white. Red things are young. Big things are young. If something is young and not rough then it is big. If something is white then it is big. If Erin is white and Erin is big then Erin is green. All green things are red. All young, green things are quiet. If something is rough and not big then it is quiet.
Erin is white.
@0: Erin is not rough.[(triple2)] Erin is red.[(triple1 OR ((((triple3 ((triple3) -> rule4)) -> rule5)) -> rule6))] Erin is white.[(triple3)] @1: Erin is big.[(((triple3) -> rule4) OR ((((triple1) -> rule1) triple2) -> rule3))] Erin is young.[(((triple1) -> rule1) OR ((((triple3) -> rule4)) -> rule2) OR ((((((triple3 ((triple3) -> rule4)) -> rule5)) -> rule6)) -> rule1))] @2: Erin is green.[(((triple3 ((triple3) -> rule4)) -> rule5) OR ((triple3 ((((triple1) -> rule1) triple2) -> rule3)) -> rule5))] @3: Erin is quiet.[(((((triple1) -> rule1) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) OR ((((((triple3) -> rule4)) -> rule2) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) OR ((((triple1) -> rule1) ((triple3 ((((triple1) -> rule1) triple2) -> rule3)) -> rule5)) -> rule7) OR ((((((triple3) -> rule4)) -> rule2) ((triple3 ((((triple1) -> rule1) triple2) -> rule3)) -> rule5)) -> rule7) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5)) -> rule6)) -> rule1) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5)) -> rule6)) -> rule1) ((triple3 ((((triple1) -> rule1) triple2) -> rule3)) -> rule5)) -> rule7))]