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