Dave is smart. Dave is white. Erin is red. All nice people are red. If someone is nice and kind then they are red.
Dave is not red.
@0: Dave is smart.[(triple1)] Dave is white.[(triple2)] Erin is red.[(triple3)]