Erin is not big. Erin is cold. Erin is not green. Erin is nice. Erin is red. Erin is rough. Erin is round. If something is round and not green then it is red. If Erin is cold and Erin is green then Erin is rough. Big things are cold. All cold, big things are nice. If something is round and not cold then it is rough. If something is round then it is rough.
Erin is green.
@0: Erin is cold.[(triple2)] Erin is nice.[(triple4)] Erin is not big.[(triple1)] Erin is not green.[(triple3)] Erin is red.[(triple5 OR ((triple7 triple3) -> rule1))] Erin is rough.[(triple6 OR ((triple7) -> rule6))] Erin is round.[(triple7)]