Fiona is nice. Harry is not kind. Harry is not red. If Fiona is smart then Fiona is round. Round things are blue. If Fiona is round and Fiona is blue then Fiona is nice.
Fiona is red.
@0: Fiona is nice.[(triple1)] Harry is not kind.[(triple2)] Harry is not red.[(triple3)]