Dave is kind. Dave is red. Dave is smart. If Dave is big then Dave is not blue. If Dave is not kind then Dave is quiet. If someone is kind and not quiet then they are not smart. If someone is blue and not rough then they are smart. Big, smart people are red. Blue, kind people are not red. Quiet, rough people are not blue. If someone is red and rough then they are not blue.
Dave is not quiet.
@0: Dave is kind.[(triple1)] Dave is red.[(triple2)] Dave is smart.[(triple3)]