Erin is not big. Erin is not green. Erin is not nice. Erin is red. Erin is round. Erin is smart. Erin is young. If someone is big and red then they are green. Red, big people are young. Round, smart people are young.
Erin is nice.
@0: Erin is not big.[(triple1)] Erin is not green.[(triple2)] Erin is not nice.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7 OR ((triple5 triple6) -> rule3))]