Fiona is not cold. Fiona is round. Fiona is young. If Fiona is red then Fiona is kind. If something is smart and young then it is not nice. All young things are red.
Fiona is not young.
@0: Fiona is not cold.[(triple1)] Fiona is round.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is red.[(((triple3) -> rule3))] @2: Fiona is kind.[(((((triple3) -> rule3)) -> rule1))]