Bob is blue. Bob is nice. Bob is red. All blue, round people are nice. All young people are green. If someone is young and nice then they are rough.
Bob is not blue.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)]