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