Dave is blue. Dave is red. Dave is white. Erin is not furry. Harry is blue. Harry is furry. Harry is nice. If Dave is furry and Dave is nice then Dave is cold. If Dave is nice then Dave is not kind.
Harry is not furry.
@0: Dave is blue.[(triple1)] Dave is red.[(triple2)] Dave is white.[(triple3)] Erin is not furry.[(triple4)] Harry is blue.[(triple5)] Harry is furry.[(triple6)] Harry is nice.[(triple7)]