Charlie is red. Charlie is not round. Charlie is smart. Dave is furry. Dave is round. Gary is round. Gary is smart. If Dave is round and Dave is not red then Dave is not smart.
Gary is nice.
@0: Charlie is not round.[(triple2)] Charlie is red.[(triple1)] Charlie is smart.[(triple3)] Dave is furry.[(triple4)] Dave is round.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7)]