Dave is blue. Dave is kind. Erin is blue. Erin is furry. Erin is not kind. Erin is not quiet. Erin is not smart. Erin is white. Erin is young. Gary is not blue. Gary is furry. Gary is kind. Gary is not quiet. Gary is not smart. Gary is white. Gary is young. If Dave is young then Dave is furry. All quiet, white people are smart. If someone is blue and kind then they are not smart. All smart people are not kind. If someone is white and not furry then they are kind. If someone is white and not furry then they are not quiet.
Gary is not smart.
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2)] Erin is blue.[(triple3)] Erin is furry.[(triple4)] Erin is not kind.[(triple5)] Erin is not quiet.[(triple6)] Erin is not smart.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Gary is furry.[(triple11)] Gary is kind.[(triple12)] Gary is not blue.[(triple10)] Gary is not quiet.[(triple13)] Gary is not smart.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Dave is not smart.[(((triple1 triple2) -> rule3))]