Charlie is round. Erin is not furry. Erin is smart. Erin is young. Gary is furry. Gary is not rough. Gary is round. Gary is smart. Harry is nice. Harry is rough. Harry is round. Harry is not young. All round, rough things are smart. If Gary is nice then Gary is not smart. If something is round and not young then it is rough.
Erin is not young.
@0: Charlie is round.[(triple1)] Erin is not furry.[(triple2)] Erin is smart.[(triple3)] Erin is young.[(triple4)] Gary is furry.[(triple5)] Gary is not rough.[(triple6)] Gary is round.[(triple7)] Gary is smart.[(triple8)] Harry is nice.[(triple9)] Harry is not young.[(triple12)] Harry is rough.[(triple10 OR ((triple11 triple12) -> rule3))] Harry is round.[(triple11)] @1: Harry is smart.[(((triple11 triple10) -> rule1) OR ((triple11 ((triple11 triple12) -> rule3)) -> rule1))]