Anne is furry. Anne is rough. Bob is blue. Bob is kind. Bob is rough. Bob is young. Dave is blue. Dave is furry. Dave is smart. Harry is blue. Harry is cold. Harry is young. Rough, blue people are young. If someone is rough then they are smart. Young people are cold. If Harry is smart and Harry is furry then Harry is blue. All smart people are blue. All smart people are cold. Young, furry people are blue. Kind, young people are rough.
Harry is kind.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Bob is blue.[(triple3 OR ((((triple5) -> rule2)) -> rule5) OR ((((((triple4 triple6) -> rule8)) -> rule2)) -> rule5))] Bob is kind.[(triple4)] Bob is rough.[(triple5 OR ((triple4 triple6) -> rule8))] Bob is young.[(triple6 OR ((triple5 triple3) -> rule1) OR ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule1))] Dave is blue.[(triple7 OR ((triple9) -> rule5))] Dave is furry.[(triple8)] Dave is smart.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11 OR ((triple12) -> rule3))] Harry is young.[(triple12)] @1: Anne is smart.[(((triple2) -> rule2))] Bob is cold.[(((triple6) -> rule3) OR ((((triple5) -> rule2)) -> rule6) OR ((((triple5 triple3) -> rule1)) -> rule3) OR ((((((triple4 triple6) -> rule8)) -> rule2)) -> rule6) OR ((((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule1)) -> rule3))] Bob is smart.[(((triple5) -> rule2) OR ((((triple4 triple6) -> rule8)) -> rule2))] Dave is cold.[(((triple9) -> rule6))] @2: Anne is blue.[(((((triple2) -> rule2)) -> rule5))] Anne is cold.[(((((triple2) -> rule2)) -> rule6) OR ((((triple2 ((((triple2) -> rule2)) -> rule5)) -> rule1)) -> rule3))] @3: Anne is young.[(((triple2 ((((triple2) -> rule2)) -> rule5)) -> rule1))]