Bob is blue. Gary is not blue. Harry is nice. All blue, kind people are not red. Kind people are nice.
Bob is not blue.
@0: Bob is blue.[(triple1)] Gary is not blue.[(triple2)] Harry is nice.[(triple3)]