Dave is furry. Dave is kind. Dave is nice. Dave is smart. Fiona is furry. Fiona is kind. Fiona is not smart. Harry is furry. Harry is not kind. Harry is not nice. If Harry is smart and Harry is not kind then Harry is furry.
Dave is not kind.
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is smart.[(triple4)] Fiona is furry.[(triple5)] Fiona is kind.[(triple6)] Fiona is not smart.[(triple7)] Harry is furry.[(triple8)] Harry is not kind.[(triple9)] Harry is not nice.[(triple10)]