Fiona is kind. Fiona is nice. Fiona is red. All nice, green people are young. All cold, kind people are young. If someone is nice then they are green.
Fiona is not young.
@0: Fiona is kind.[(triple1)] Fiona is nice.[(triple2)] Fiona is red.[(triple3)] @1: Fiona is green.[(((triple2) -> rule3))] @2: Fiona is young.[(((triple2 ((triple2) -> rule3)) -> rule1))]