Dave is big. Dave is not blue. Dave is cold. Dave is furry. Dave is green. Dave is kind. Dave is not red. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is not red. If Dave is green and Dave is not furry then Dave is red. Red things are not kind.
Dave is not green.
@0: Dave is big.[(triple1)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is green.[(triple5)] Dave is kind.[(triple6)] Dave is not blue.[(triple2)] Dave is not red.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is kind.[(triple13)] Gary is not red.[(triple14)]