Bob is nice. Erin is rough. Gary is not green. Harry is nice. All kind, smart people are not red. All furry, rough people are nice.
Bob is not nice.
@0: Bob is nice.[(triple1)] Erin is rough.[(triple2)] Gary is not green.[(triple3)] Harry is nice.[(triple4)]