Fiona is not blue. Fiona is white. Gary is furry. If Gary is blue then Gary is round. If someone is red and not white then they are blue. If Fiona is kind then Fiona is red. Cold, red people are furry. All kind, blue people are round. If Fiona is white then Fiona is kind.
Fiona is white.
@0: Fiona is not blue.[(triple1)] Fiona is white.[(triple2)] Gary is furry.[(triple3)] @1: Fiona is kind.[(((triple2) -> rule6))] @2: Fiona is red.[(((((triple2) -> rule6)) -> rule3))]