Anne is green. Charlie is white. Erin is red. Nice, green things are red. Young, big things are red. All red, big things are white. All red, white things are green. All round, red things are big. If Anne is white and Anne is round then Anne is big. If something is round then it is red. All round things are big.
Erin is red.
@0: Anne is green.[(triple1)] Charlie is white.[(triple2)] Erin is red.[(triple3)]