Anne is furry. Anne is kind. Anne is nice. Anne is red. Anne is smart. Anne is white. Anne is young. Harry is furry. Harry is kind. Harry is nice. Harry is red. Harry is smart. Harry is white. Harry is young. Smart people are nice. If Anne is red then Anne is white. All kind, white people are young.
Harry is not smart.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((triple5) -> rule1))] Anne is red.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple4) -> rule2))] Anne is young.[(triple7 OR ((triple2 triple6) -> rule3) OR ((triple2 ((triple4) -> rule2)) -> rule3))] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10 OR ((triple12) -> rule1))] Harry is red.[(triple11)] Harry is smart.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14 OR ((triple9 triple13) -> rule3))]