Charlie is big. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Dave is big. Dave is furry. Dave is red. Dave is round. Fiona is big. Fiona is red. Fiona is smart. Smart, blue people are round.
Dave is not big.
@0: Charlie is big.[(triple1)] Charlie is red.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Dave is big.[(triple6)] Dave is furry.[(triple7)] Dave is red.[(triple8)] Dave is round.[(triple9)] Fiona is big.[(triple10)] Fiona is red.[(triple11)] Fiona is smart.[(triple12)]