Anne is red. Charlie is red. Erin is red. If Anne is red and Anne is smart then Anne is cold. Big, red people are blue. Cold people are blue. If Erin is red and Erin is blue then Erin is smart. All red, white people are cold. Blue people are quiet. Blue, smart people are big. If Charlie is blue and Charlie is white then Charlie is cold.
Anne is smart.
@0: Anne is red.[(triple1)] Charlie is red.[(triple2)] Erin is red.[(triple3)]