Charlie is kind. Dave is quiet. Gary is rough. White, nice people are kind. All quiet people are kind. All kind people are rough. If someone is kind then they are smart. If someone is white then they are smart. If someone is smart then they are not nice.
Gary is kind.
@0: Charlie is kind.[(triple1)] Dave is quiet.[(triple2)] Gary is rough.[(triple3)] @1: Charlie is rough.[(((triple1) -> rule3))] Charlie is smart.[(((triple1) -> rule4))] Dave is kind.[(((triple2) -> rule2))] @2: Charlie is not nice.[(((((triple1) -> rule4)) -> rule6))] Dave is rough.[(((((triple2) -> rule2)) -> rule3))] Dave is smart.[(((((triple2) -> rule2)) -> rule4))] @3: Dave is not nice.[(((((((triple2) -> rule2)) -> rule4)) -> rule6))]