Fiona is kind. Kind things are red. All round, young things are kind. Round things are green. If something is kind and red then it is green. All rough things are green. Rough things are young. If something is green then it is red. If Fiona is rough then Fiona is nice.
Fiona is kind.
@0: Fiona is kind.[(triple1)] @1: Fiona is red.[(((triple1) -> rule1))] @2: Fiona is green.[(((triple1 ((triple1) -> rule1)) -> rule4))]