Erin is cold. Erin is nice. Harry is nice. If Erin is nice and Erin is not blue then Erin is not kind.
Harry is not smart.
@0: Erin is cold.[(triple1)] Erin is nice.[(triple2)] Harry is nice.[(triple3)]