Erin is blue. Erin is cold. Erin is green. Erin is not quiet. Erin is red. Erin is rough. Erin is smart. If someone is green and not blue then they are quiet.
Erin is not red.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is not quiet.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is smart.[(triple7)]