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