Charlie is green. Charlie is red. Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is round. All red, round things are smart.
Dave is not smart.
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple4)] Dave is green.[(triple5)] Dave is kind.[(triple6)] Dave is round.[(triple7)]