Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is rough. Bob is young. Harry is young. All smart people are kind. If someone is young and furry then they are smart. All blue people are rough. If Bob is kind and Bob is young then Bob is furry. All furry, young people are kind. If Harry is big and Harry is furry then Harry is blue. Big, furry people are smart. If someone is big and furry then they are blue.
Harry is smart.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple1 triple3) -> rule8) OR ((triple1 ((triple4 triple6) -> rule4)) -> rule8))] Bob is furry.[(triple3 OR ((triple4 triple6) -> rule4))] Bob is kind.[(triple4 OR ((triple3 triple6) -> rule5) OR ((((triple1 triple3) -> rule7)) -> rule1) OR ((((triple6 triple3) -> rule2)) -> rule1))] Bob is rough.[(triple5 OR ((triple2) -> rule3) OR ((((triple1 triple3) -> rule8)) -> rule3) OR ((((triple1 ((triple4 triple6) -> rule4)) -> rule8)) -> rule3))] Bob is young.[(triple6)] Harry is young.[(triple7)] @1: Bob is smart.[(((triple1 triple3) -> rule7) OR ((triple6 triple3) -> rule2) OR ((triple1 ((triple4 triple6) -> rule4)) -> rule7) OR ((triple6 ((triple4 triple6) -> rule4)) -> rule2))]