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.
Charlie is not nice.
@0: Charlie is nice.[(triple1)] Erin is blue.[(triple2)]