Dave is blue. Dave is furry. Dave is kind. Dave is quiet. Dave is round. Dave is not smart. Dave is white. If something is quiet and smart then it is blue.
Dave is smart.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is not smart.[(triple6)] Dave is quiet.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple7)]