Erin is big. Erin is blue. Erin is green. Erin is kind. Erin is red. Erin is rough. Erin is young. Big people are young. If Erin is green and Erin is rough then Erin is kind.
Erin is not blue.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4 OR ((triple3 triple6) -> rule2))] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7 OR ((triple1) -> rule1))]