Fiona is blue. All blue things are young. All young, blue things are round. If Fiona is rough then Fiona is big.
Fiona is not blue.
@0: Fiona is blue.[(triple1)] @1: Fiona is young.[(((triple1) -> rule1))] @2: Fiona is round.[(((((triple1) -> rule1) triple1) -> rule2))]