Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is smart. Dave is white. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is smart. Harry is white. If someone is nice then they are kind.
Dave is not nice.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple4) -> rule1))] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is kind.[(triple10 OR ((triple11) -> rule1))] Harry is nice.[(triple11)] Harry is quiet.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14)]