Charlie is blue. Charlie is red. Erin is smart. All young people are smart. If Charlie is round then Charlie is red.
Charlie is green.
@0: Charlie is blue.[(triple1)] Charlie is red.[(triple2)] Erin is smart.[(triple3)]