Erin is big. Erin is nice. Erin is rough. Erin is smart. Erin is young. Harry is big. Harry is furry. Harry is nice. Harry is not smart. Harry is young. If someone is nice and furry then they are rough. If someone is rough and not smart then they are young.
Erin is rough.
@0: Erin is big.[(triple1)] Erin is nice.[(triple2)] Erin is rough.[(triple3)] Erin is smart.[(triple4)] Erin is young.[(triple5)] Harry is big.[(triple6)] Harry is furry.[(triple7)] Harry is nice.[(triple8)] Harry is not smart.[(triple9)] Harry is young.[(triple10 OR ((((triple8 triple7) -> rule1) triple9) -> rule2))] @1: Harry is rough.[(((triple8 triple7) -> rule1))]