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