Anne is young. Fiona is not quiet. Harry is smart. If someone is smart then they are round. If someone is kind then they are smart. Quiet people are not kind. All furry, round people are kind. If someone is quiet and not young then they are kind. Smart, round people are quiet. If someone is kind then they are quiet. If Anne is furry then Anne is not smart.
Fiona is not smart.
@0: Anne is young.[(triple1)] Fiona is not quiet.[(triple2)] Harry is smart.[(triple3)] @1: Harry is round.[(((triple3) -> rule1))] @2: Harry is quiet.[(((triple3 ((triple3) -> rule1)) -> rule6))] @3: Harry is not kind.[(((((triple3 ((triple3) -> rule1)) -> rule6)) -> rule3))]