Erin is big. Erin is kind. Erin is red. Erin is rough. Erin is round. Erin is smart. Erin is young. If someone is big and rough then they are young. All round people are smart.
Erin is young.
@0: Erin is big.[(triple1)] Erin is kind.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6 OR ((triple5) -> rule2))] Erin is young.[(triple7 OR ((triple1 triple4) -> rule1))]