Charlie is furry. Charlie is not green. Charlie is nice. Charlie is quiet. Charlie is not smart. Dave is furry. Dave is green. Dave is not quiet. Dave is red. Dave is smart. Gary is green. Gary is not nice. Gary is quiet. Harry is not kind. Harry is not nice. Harry is not quiet. Quiet, red people are not nice. Red people are nice. If Gary is green and Gary is not red then Gary is nice. If Charlie is kind then Charlie is nice. If Harry is not red then Harry is smart. If someone is quiet and not furry then they are kind. If Dave is kind then Dave is not nice. If someone is kind then they are quiet.
Dave is not kind.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple3)] Charlie is not green.[(triple2)] Charlie is not smart.[(triple5)] Charlie is quiet.[(triple4)] Dave is furry.[(triple6)] Dave is green.[(triple7)] Dave is not quiet.[(triple8)] Dave is red.[(triple9)] Dave is smart.[(triple10)] Gary is green.[(triple11)] Gary is not nice.[(triple12)] Gary is quiet.[(triple13)] Harry is not kind.[(triple14)] Harry is not nice.[(triple15)] Harry is not quiet.[(triple16)] @1: Dave is nice.[(((triple9) -> rule2))]