Fiona is not cold. Fiona is furry. Fiona is not nice. If Fiona is cold then Fiona is nice. All furry things are kind. Kind things are green.
Fiona is furry.
@0: Fiona is furry.[(triple2)] Fiona is not cold.[(triple1)] Fiona is not nice.[(triple3)] @1: Fiona is kind.[(((triple2) -> rule2))] @2: Fiona is green.[(((((triple2) -> rule2)) -> rule3))]