Charlie is cold. Charlie is red. Charlie is young. Erin is cold. Erin is nice. Erin is red. Erin is young. If someone is smart and young then they are not big. If someone is nice and not round then they are not red. If Erin is round then Erin is red.
Erin is red.
@0: Charlie is cold.[(triple1)] Charlie is red.[(triple2)] Charlie is young.[(triple3)] Erin is cold.[(triple4)] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is young.[(triple7)]