Anne is furry. Anne is quiet. Anne is not young. Dave is nice. Dave is round. Gary is quiet. Gary is young. Harry is kind. Harry is quiet. Harry is round. If Gary is quiet then Gary is young. All furry people are smart. If someone is round and young then they are nice. If someone is nice and not furry then they are kind. All smart people are kind. If someone is nice and not young then they are kind.
Anne is not quiet.
@0: Anne is furry.[(triple1)] Anne is not young.[(triple3)] Anne is quiet.[(triple2)] Dave is nice.[(triple4)] Dave is round.[(triple5)] Gary is quiet.[(triple6)] Gary is young.[(triple7 OR ((triple6) -> rule1))] Harry is kind.[(triple8)] Harry is quiet.[(triple9)] Harry is round.[(triple10)] @1: Anne is smart.[(((triple1) -> rule2))] @2: Anne is kind.[(((((triple1) -> rule2)) -> rule5))]