Dave is not blue. Dave is furry. Dave is kind. Dave is not round. Dave is smart. Dave is young. Harry is furry. Harry is kind. Harry is nice. Harry is round. Harry is smart. Harry is young. If Harry is round then Harry is blue. If something is smart and not nice then it is round. If something is blue and young then it is round. If Dave is nice then Dave is smart. If Dave is nice and Dave is blue then Dave is smart. If Harry is nice and Harry is not smart then Harry is not round. If something is round and not kind then it is furry. If Dave is not kind and Dave is not blue then Dave is round.
Dave is not kind.
@0: Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is not blue.[(triple1)] Dave is not round.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6)] Harry is furry.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is round.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Harry is blue.[(((triple10) -> rule1))]