Erin is big. Erin is green. Erin is not kind. Erin is quiet. Erin is red. Erin is not smart. Erin is not young. Big things are not kind. All smart things are not kind. If something is young then it is not kind. If Erin is not young then Erin is green. If something is smart and not red then it is big. If something is red and not kind then it is quiet.
Erin is big.
@0: Erin is big.[(triple1)] Erin is green.[(triple2 OR ((triple7) -> rule4))] Erin is not kind.[(triple3 OR ((triple1) -> rule1))] Erin is not smart.[(triple6)] Erin is not young.[(triple7)] Erin is quiet.[(triple4 OR ((triple5 triple3) -> rule6) OR ((triple5 ((triple1) -> rule1)) -> rule6))] Erin is red.[(triple5)]