Anne is kind. Fiona is kind. Harry is nice. If Anne is white and Anne is blue then Anne is red. If Anne is red and Anne is nice then Anne is white.
Anne is not red.
@0: Anne is kind.[(triple1)] Fiona is kind.[(triple2)] Harry is nice.[(triple3)]