Bob is blue. Dave is blue. Harry is kind. If something is round and red then it is green. Big things are quiet. Round things are big. Round things are red. If something is green and not red then it is blue. Red, quiet things are not blue.
Harry is not kind.
@0: Bob is blue.[(triple1)] Dave is blue.[(triple2)] Harry is kind.[(triple3)]