Charlie is kind. Dave is nice. Erin is white. Gary is nice. If something is furry and nice then it is kind. All blue things are white.
Dave is not kind.
@0: Charlie is kind.[(triple1)] Dave is nice.[(triple2)] Erin is white.[(triple3)] Gary is nice.[(triple4)]