Fiona is kind. If someone is cold then they are nice. Kind people are big. If Fiona is kind and Fiona is big then Fiona is cold. Furry, round people are big. If Fiona is round then Fiona is kind. Nice people are round.
Fiona is nice.
@0: Fiona is kind.[(triple1)] @1: Fiona is big.[(((triple1) -> rule2))] @2: Fiona is cold.[(((triple1 ((triple1) -> rule2)) -> rule3))] @3: Fiona is nice.[(((((triple1 ((triple1) -> rule2)) -> rule3)) -> rule1))] @4: Fiona is round.[(((((((triple1 ((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule6))]