Anne is furry. Anne is kind. Anne is red. Anne is rough. Anne is smart. Anne is young. Bob is red. Bob is smart. Erin is cold. Erin is kind. Erin is rough. Erin is young. Harry is cold. Harry is furry. Harry is red. Kind, smart things are young. All furry, red things are smart. All smart, furry things are kind.
Harry is not smart.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2 OR ((triple5 triple1) -> rule3) OR ((((triple1 triple3) -> rule2) triple1) -> rule3))] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5 OR ((triple1 triple3) -> rule2))] Anne is young.[(triple6 OR ((triple2 triple5) -> rule1) OR ((triple2 ((triple1 triple3) -> rule2)) -> rule1) OR ((((triple5 triple1) -> rule3) triple5) -> rule1) OR ((((triple5 triple1) -> rule3) ((triple1 triple3) -> rule2)) -> rule1) OR ((((((triple1 triple3) -> rule2) triple1) -> rule3) triple5) -> rule1) OR ((((((triple1 triple3) -> rule2) triple1) -> rule3) ((triple1 triple3) -> rule2)) -> rule1))] Bob is red.[(triple7)] Bob is smart.[(triple8)] Erin is cold.[(triple9)] Erin is kind.[(triple10)] Erin is rough.[(triple11)] Erin is young.[(triple12)] Harry is cold.[(triple13)] Harry is furry.[(triple14)] Harry is red.[(triple15)] @1: Harry is smart.[(((triple14 triple15) -> rule2))] @2: Harry is kind.[(((((triple14 triple15) -> rule2) triple14) -> rule3))] @3: Harry is young.[(((((((triple14 triple15) -> rule2) triple14) -> rule3) ((triple14 triple15) -> rule2)) -> rule1))]