Fiona is green. All kind, cold people are young. If someone is cold then they are big. If someone is kind and nice then they are green. Kind people are cold. If Fiona is green then Fiona is kind. If Fiona is nice then Fiona is young.
Fiona is nice.
@0: Fiona is green.[(triple1)] @1: Fiona is kind.[(((triple1) -> rule5))] @2: Fiona is cold.[(((((triple1) -> rule5)) -> rule4))] @3: Fiona is big.[(((((((triple1) -> rule5)) -> rule4)) -> rule2))] Fiona is young.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule4)) -> rule1))]