Anne is big. Anne is furry. Anne is kind. Anne is quiet. Anne is smart. Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is quiet. Harry is big. Harry is blue. Harry is furry. Harry is kind. Harry is quiet. Harry is smart. If someone is smart then they are blue. If Anne is quiet and Anne is big then Anne is furry. If Bob is quiet then Bob is nice. All furry, big people are nice. If Bob is furry and Bob is big then Bob is nice. If Harry is kind then Harry is quiet. If someone is quiet and kind then they are smart. All furry people are big.
Bob is not blue.
@0: Anne is big.[(triple1 OR ((triple2) -> rule8))] Anne is furry.[(triple2 OR ((triple4 triple1) -> rule2))] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is smart.[(triple5 OR ((triple4 triple3) -> rule7))] Bob is big.[(triple6 OR ((triple8) -> rule8))] Bob is blue.[(triple7)] Bob is furry.[(triple8)] Bob is nice.[(triple9 OR ((triple10) -> rule3) OR ((triple8 triple6) -> rule4) OR ((triple8 triple6) -> rule5) OR ((triple8 ((triple8) -> rule8)) -> rule4) OR ((triple8 ((triple8) -> rule8)) -> rule5))] Bob is quiet.[(triple10)] Harry is big.[(triple11 OR ((triple13) -> rule8))] Harry is blue.[(triple12 OR ((triple16) -> rule1) OR ((((triple15 triple14) -> rule7)) -> rule1) OR ((((((triple14) -> rule6) triple14) -> rule7)) -> rule1))] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is quiet.[(triple15 OR ((triple14) -> rule6))] Harry is smart.[(triple16 OR ((triple15 triple14) -> rule7) OR ((((triple14) -> rule6) triple14) -> rule7))] @1: Anne is blue.[(((triple5) -> rule1) OR ((((triple4 triple3) -> rule7)) -> rule1))] Anne is nice.[(((triple2 triple1) -> rule4) OR ((triple2 ((triple2) -> rule8)) -> rule4) OR ((((triple4 triple1) -> rule2) triple1) -> rule4) OR ((((triple4 triple1) -> rule2) ((triple2) -> rule8)) -> rule4))] Harry is nice.[(((triple13 triple11) -> rule4) OR ((triple13 ((triple13) -> rule8)) -> rule4))]