Erin is big. Erin is blue. Erin is green. Erin is not red. Erin is rough. Erin is white. Erin is young. Big things are green. If something is rough then it is green. Red things are not big. If Erin is big and Erin is not white then Erin is rough. If Erin is green then Erin is rough. If something is white and not green then it is young. If something is green and not big then it is blue. All big things are blue.
Erin is not red.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple1) -> rule8))] Erin is green.[(triple3 OR ((triple1) -> rule1) OR ((triple5) -> rule2))] Erin is not red.[(triple4)] Erin is rough.[(triple5 OR ((triple3) -> rule5) OR ((((triple1) -> rule1)) -> rule5))] Erin is white.[(triple6)] Erin is young.[(triple7)]