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