Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is not red. Charlie is rough. Charlie is round. Charlie is smart. Erin is cold. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is smart. If Erin is round and Erin is not red then Erin is nice.
Charlie is not smart.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is not red.[(triple4)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Erin is cold.[(triple8)] Erin is nice.[(triple9)] Erin is quiet.[(triple10)] Erin is red.[(triple11)] Erin is rough.[(triple12)] Erin is round.[(triple13)] Erin is smart.[(triple14)]