Fiona is nice. Fiona is quiet. Fiona is round. Blue, quiet things are furry. All round things are big.
Fiona is not furry.
@0: Fiona is nice.[(triple1)] Fiona is quiet.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is big.[(((triple3) -> rule2))]