Charlie is rough. Charlie is round. Erin is rough. Erin is round. Erin is smart. Erin is white. Erin is young. Harry is blue. Harry is nice. Harry is rough. If Harry is smart then Harry is nice. If something is rough and nice then it is smart.
Charlie is not smart.
@0: Charlie is rough.[(triple1)] Charlie is round.[(triple2)] Erin is rough.[(triple3)] Erin is round.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Harry is blue.[(triple8)] Harry is nice.[(triple9)] Harry is rough.[(triple10)] @1: Harry is smart.[(((triple10 triple9) -> rule2))]