Anne is big. Anne is furry. Anne is kind. Anne is nice. Anne is smart. Bob is kind. Bob is smart. Bob is white. Dave is furry. Dave is kind. Harry is big. Harry is kind. Harry is nice. Harry is round. Harry is smart. Harry is white. If something is kind and smart then it is white.
Harry is not white.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is smart.[(triple5)] Bob is kind.[(triple6)] Bob is smart.[(triple7)] Bob is white.[(triple8 OR ((triple6 triple7) -> rule1))] Dave is furry.[(triple9)] Dave is kind.[(triple10)] Harry is big.[(triple11)] Harry is kind.[(triple12)] Harry is nice.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16 OR ((triple12 triple15) -> rule1))] @1: Anne is white.[(((triple3 triple5) -> rule1))]