Fiona is not kind. Fiona is not smart. Harry is blue. If someone is kind and not red then they are blue. All red people are kind. If Fiona is smart then Fiona is not blue. If Fiona is blue and Fiona is not kind then Fiona is big. If someone is red and not blue then they are not green. Kind, smart people are not green.
Harry is red.
@0: Fiona is not kind.[(triple1)] Fiona is not smart.[(triple2)] Harry is blue.[(triple3)]