Anne is furry. Anne is red. Erin is red. Erin is young. Fiona is nice. Fiona is smart. Harry is big. Harry is nice. Harry is smart. Harry is young. Furry things are smart. If something is furry and big then it is kind. Kind, furry things are smart. Big, young things are furry. If something is kind and furry then it is smart. All red, kind things are nice. All big, kind things are red. Smart things are nice.
Harry is not young.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Erin is red.[(triple3)] Erin is young.[(triple4)] Fiona is nice.[(triple5 OR ((triple6) -> rule8))] Fiona is smart.[(triple6)] Harry is big.[(triple7)] Harry is nice.[(triple8 OR ((triple9) -> rule8) OR ((((((triple7 triple10) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple7 triple10) -> rule4) triple7) -> rule2) ((triple7 triple10) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple7 triple10) -> rule4) triple7) -> rule2) ((triple7 triple10) -> rule4)) -> rule5)) -> rule8) OR ((((triple7 ((((triple7 triple10) -> rule4) triple7) -> rule2)) -> rule7) ((((triple7 triple10) -> rule4) triple7) -> rule2)) -> rule6))] Harry is smart.[(triple9 OR ((((triple7 triple10) -> rule4)) -> rule1) OR ((((((triple7 triple10) -> rule4) triple7) -> rule2) ((triple7 triple10) -> rule4)) -> rule3) OR ((((((triple7 triple10) -> rule4) triple7) -> rule2) ((triple7 triple10) -> rule4)) -> rule5))] Harry is young.[(triple10)] @1: Anne is smart.[(((triple1) -> rule1))] Harry is furry.[(((triple7 triple10) -> rule4))] @2: Anne is nice.[(((((triple1) -> rule1)) -> rule8))] Harry is kind.[(((((triple7 triple10) -> rule4) triple7) -> rule2))] @3: Harry is red.[(((triple7 ((((triple7 triple10) -> rule4) triple7) -> rule2)) -> rule7))]