Fiona is smart. If something is young then it is round. All young things are smart. All quiet, young things are round. If something is quiet and furry then it is round. If something is smart then it is young. Quiet things are round. If Fiona is big then Fiona is quiet. All big, smart things are furry.
Fiona is big.
@0: Fiona is smart.[(triple1)] @1: Fiona is young.[(((triple1) -> rule5))] @2: Fiona is round.[(((((triple1) -> rule5)) -> rule1))]