Erin is big. Erin is not kind. Erin is not quiet. Erin is rough. Erin is round. Erin is smart. Erin is young. Round, quiet things are kind. Round things are not quiet. Kind things are smart. All smart, kind things are round. If Erin is kind and Erin is smart then Erin is young. If Erin is quiet then Erin is round.
Erin is not smart.
@0: Erin is big.[(triple1)] Erin is not kind.[(triple2)] Erin is not quiet.[(triple3 OR ((triple5) -> rule2))] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)]