Erin is blue. Erin is smart. Erin is white. If something is blue then it is smart. All rough things are white. If something is white then it is blue. If Erin is blue then Erin is rough. If something is white and young then it is smart. If something is white and blue then it is green. Blue things are white. If something is young then it is white.
Erin is not young.
@0: Erin is blue.[(triple1 OR ((triple3) -> rule3))] Erin is smart.[(triple2 OR ((triple1) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] Erin is white.[(triple3 OR ((triple1) -> rule7) OR ((((triple1) -> rule4)) -> rule2))] @1: Erin is green.[(((triple3 triple1) -> rule6) OR ((triple3 ((triple3) -> rule3)) -> rule6) OR ((((triple1) -> rule7) triple1) -> rule6) OR ((((triple1) -> rule7) ((triple3) -> rule3)) -> rule6) OR ((((((triple1) -> rule4)) -> rule2) triple1) -> rule6) OR ((((((triple1) -> rule4)) -> rule2) ((triple3) -> rule3)) -> rule6))] Erin is rough.[(((triple1) -> rule4) OR ((((triple3) -> rule3)) -> rule4))]