Charlie is furry. Charlie is not green. Charlie is not nice. Charlie is not rough. Charlie is young. Dave is kind. Dave is not white. Dave is young. Erin is kind. Gary is not green. Gary is kind. Gary is rough. Nice people are not white. Nice people are white. If Charlie is nice then Charlie is furry. If someone is furry then they are kind. If Gary is green and Gary is white then Gary is nice. White, green people are nice. All white, furry people are not rough. If someone is furry and not kind then they are rough.
Gary is not nice.
@0: Charlie is furry.[(triple1)] Charlie is not green.[(triple2)] Charlie is not nice.[(triple3)] Charlie is not rough.[(triple4)] Charlie is young.[(triple5)] Dave is kind.[(triple6)] Dave is not white.[(triple7)] Dave is young.[(triple8)] Erin is kind.[(triple9)] Gary is kind.[(triple11)] Gary is not green.[(triple10)] Gary is rough.[(triple12)] @1: Charlie is kind.[(((triple1) -> rule4))]