Dave is green. Dave is kind. Dave is nice. All blue, red things are kind. Nice, blue things are green. If Dave is red and Dave is nice then Dave is quiet.
Dave is not quiet.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)]