Dave is red. Erin is not kind. Gary is furry. If Erin is green then Erin is white. Smart, red people are not green.
Dave is not red.
@0: Dave is red.[(triple1)] Erin is not kind.[(triple2)] Gary is furry.[(triple3)]