Bob is big. Dave is red. Harry is smart. Quiet things are blue. If something is red and not smart then it is rough.
Dave is not red.
@0: Bob is big.[(triple1)] Dave is red.[(triple2)] Harry is smart.[(triple3)]