Bob is kind. Dave is smart. Gary is smart. All quiet, big people are nice. If someone is young then they are not nice. If someone is rough and young then they are kind. If someone is quiet and young then they are not kind. If someone is rough and not quiet then they are kind. Smart people are rough.
Bob is not nice.
@0: Bob is kind.[(triple1)] Dave is smart.[(triple2)] Gary is smart.[(triple3)] @1: Dave is rough.[(((triple2) -> rule6))] Gary is rough.[(((triple3) -> rule6))]