Anne is not nice. Bob is nice. Bob is quiet. Bob is smart. Bob is not white. Bob is young. Dave is rough. Dave is smart. Dave is not young. Gary is quiet. Gary is rough. Gary is young. If Gary is white and Gary is quiet then Gary is rough. White, rough people are nice. If Gary is smart and Gary is not quiet then Gary is not kind. If someone is kind then they are smart. If someone is rough and not nice then they are young. If someone is quiet and rough then they are kind. If someone is nice and not rough then they are not kind. All white people are kind.
Gary is quiet.
@0: Anne is not nice.[(triple1)] Bob is nice.[(triple2)] Bob is not white.[(triple5)] Bob is quiet.[(triple3)] Bob is smart.[(triple4)] Bob is young.[(triple6)] Dave is not young.[(triple9)] Dave is rough.[(triple7)] Dave is smart.[(triple8)] Gary is quiet.[(triple10)] Gary is rough.[(triple11)] Gary is young.[(triple12)] @1: Gary is kind.[(((triple10 triple11) -> rule6))] @2: Gary is smart.[(((((triple10 triple11) -> rule6)) -> rule4))]