Dave is kind. Erin is smart. Fiona is not kind. All cold, kind people are red. Blue people are cold.
Dave is not red.
@0: Dave is kind.[(triple1)] Erin is smart.[(triple2)] Fiona is not kind.[(triple3)]