Anne is kind. Erin is blue. Fiona is nice. Harry is blue. If something is kind and rough then it is blue.
Erin is not blue.
@0: Anne is kind.[(triple1)] Erin is blue.[(triple2)] Fiona is nice.[(triple3)] Harry is blue.[(triple4)]