Charlie is not furry. Charlie is not kind. Charlie is not nice. Charlie is not red. Charlie is round. Dave is green. Dave is nice. Dave is smart. Gary is green. Gary is not kind. Gary is red. Gary is round. Kind, smart things are not red. All furry, kind things are not red. If something is red and not furry then it is kind. If something is nice and red then it is kind. If Charlie is green and Charlie is furry then Charlie is not kind. All furry, red things are smart. If something is smart and not furry then it is not round. If something is nice and not kind then it is not round.
Dave is round.
@0: Charlie is not furry.[(triple1)] Charlie is not kind.[(triple2)] Charlie is not nice.[(triple3)] Charlie is not red.[(triple4)] Charlie is round.[(triple5)] Dave is green.[(triple6)] Dave is nice.[(triple7)] Dave is smart.[(triple8)] Gary is green.[(triple9)] Gary is not kind.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12)]