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