Charlie is nice. Erin is blue. If Erin is blue and Erin is nice then Erin is cold. If something is young then it is cold. All nice, blue things are green.
Erin is not cold.
@0: Charlie is nice.[(triple1)] Erin is blue.[(triple2)]