Fiona is furry. All round people are young. If Fiona is furry then Fiona is round.
Fiona is not furry.
@0: Fiona is furry.[(triple1)] @1: Fiona is round.[(((triple1) -> rule2))] @2: Fiona is young.[(((((triple1) -> rule2)) -> rule1))]