Fiona is big. Kind things are big. Kind things are nice. If something is big then it is kind. If something is nice and kind then it is cold. All cold, rough things are not blue. If Fiona is not cold then Fiona is rough.
Fiona is big.
@0: Fiona is big.[(triple1)] @1: Fiona is kind.[(((triple1) -> rule3))] @2: Fiona is nice.[(((((triple1) -> rule3)) -> rule2))] @3: Fiona is cold.[(((((((triple1) -> rule3)) -> rule2) ((triple1) -> rule3)) -> rule4))]