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 kind.
@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)]