Fiona is kind. Fiona is round. Fiona is smart. All red things are furry. If Fiona is green and Fiona is furry then Fiona is kind. All kind things are green.
Fiona is blue.
@0: Fiona is kind.[(triple1)] Fiona is round.[(triple2)] Fiona is smart.[(triple3)] @1: Fiona is green.[(((triple1) -> rule3))]