Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is young. Bob is kind. Bob is nice. Bob is quiet. Bob is round. Bob is young. Harry is furry. Harry is quiet. Harry is not round. Harry is smart. Harry is not young. If something is smart and kind then it is not furry. Kind things are furry. All smart things are furry. Young things are nice. If Harry is round then Harry is nice. If Anne is nice and Anne is smart then Anne is quiet. All smart things are quiet. If Anne is quiet and Anne is young then Anne is not smart.
Harry is not kind.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule2))] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((triple5) -> rule4))] Anne is quiet.[(triple4)] Anne is young.[(triple5)] Bob is kind.[(triple6)] Bob is nice.[(triple7 OR ((triple10) -> rule4))] Bob is quiet.[(triple8)] Bob is round.[(triple9)] Bob is young.[(triple10)] Harry is furry.[(triple11 OR ((triple14) -> rule3))] Harry is not round.[(triple13)] Harry is not young.[(triple15)] Harry is quiet.[(triple12 OR ((triple14) -> rule7))] Harry is smart.[(triple14)] @1: Anne is not smart.[(((triple4 triple5) -> rule8))] Bob is furry.[(((triple6) -> rule2))]