Charlie is red. Charlie is round. Charlie is smart. Dave is blue. Dave is cold. Dave is round. Dave is smart. If Charlie is not smart and Charlie is not big then Charlie is white.
Dave is blue.
@0: Charlie is red.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7)]