Anne is nice. Bob is cold. Erin is nice. Harry is white. If Anne is blue then Anne is red. All red, cold people are kind.
Erin is nice.
@0: Anne is nice.[(triple1)] Bob is cold.[(triple2)] Erin is nice.[(triple3)] Harry is white.[(triple4)]