Dave is big. Dave is blue. Dave is kind. Dave is quiet. Dave is round. Dave is smart. Dave is young. If someone is quiet and not big then they are kind. If someone is blue and not kind then they are not young.
Dave is not quiet.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)]