Charlie is rough. Erin is cold. If something is red then it is rough. All big things are cold. All round things are blue. If something is big and cold then it is round. If something is blue and young then it is red. Rough, round things are cold.
Erin is not red.
@0: Charlie is rough.[(triple1)] Erin is cold.[(triple2)]