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