Anne is furry. Anne is kind. Anne is quiet. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is smart. Harry is young. If Anne is kind and Anne is smart then Anne is furry. All furry things are nice. Round, smart things are young. If Anne is young and Anne is quiet then Anne is kind. Kind things are quiet. If something is quiet and young then it is nice.
Anne is not young.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3 OR ((triple2) -> rule5))] Harry is furry.[(triple4)] Harry is kind.[(triple5)] Harry is nice.[(triple6 OR ((triple4) -> rule2) OR ((triple7 triple10) -> rule6) OR ((triple7 ((triple8 triple9) -> rule3)) -> rule6) OR ((((triple5) -> rule5) triple10) -> rule6) OR ((((triple5) -> rule5) ((triple8 triple9) -> rule3)) -> rule6))] Harry is quiet.[(triple7 OR ((triple5) -> rule5))] Harry is round.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10 OR ((triple8 triple9) -> rule3))] @1: Anne is nice.[(((triple1) -> rule2))]