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