Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is round. Erin is smart. If someone is smart and round then they are nice.
Erin is not green.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5 OR ((triple7 triple6) -> rule1))] Erin is round.[(triple6)] Erin is smart.[(triple7)]