Charlie is big. Charlie is quiet. Dave is quiet. Blue, smart things are big. If something is nice then it is smart.
Dave is not smart.
@0: Charlie is big.[(triple1)] Charlie is quiet.[(triple2)] Dave is quiet.[(triple3)]