Charlie is smart. Dave is round. Harry is smart. All kind, rough people are round. If someone is round then they are smart. Kind people are rough. If Harry is kind and Harry is round then Harry is nice. All young, smart people are big. All smart people are round.
Dave is not rough.
@0: Charlie is smart.[(triple1)] Dave is round.[(triple2)] Harry is smart.[(triple3)] @1: Charlie is round.[(((triple1) -> rule6))] Dave is smart.[(((triple2) -> rule2))] Harry is round.[(((triple3) -> rule6))]