Fiona is big. If Fiona is blue then Fiona is kind. If Fiona is cold then Fiona is blue. Nice, cold things are kind. Big things are red. Cold, nice things are kind. If Fiona is nice then Fiona is blue.
Fiona is not cold.
@0: Fiona is big.[(triple1)] @1: Fiona is red.[(((triple1) -> rule4))]