Erin is big. Erin is blue. Erin is not nice. Erin is quiet. Erin is rough. Erin is round. Erin is young. Nice things are round. If Erin is young and Erin is quiet then Erin is round. If something is quiet and not young then it is not big.
Erin is round.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is not nice.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6 OR ((triple7 triple4) -> rule2))] Erin is young.[(triple7)]