Fiona is not blue. Gary is kind. Harry is blue. If Fiona is white and Fiona is rough then Fiona is nice. All furry people are nice. All kind people are nice.
Harry is not blue.
@0: Fiona is not blue.[(triple1)] Gary is kind.[(triple2)] Harry is blue.[(triple3)] @1: Gary is nice.[(((triple2) -> rule3))]