Anne is green. Anne is red. Anne is not rough. Anne is smart. Anne is not young. Erin is rough. Erin is young. If Erin is round and Erin is not young then Erin is green. Smart, white people are green. If someone is round and not red then they are not rough. If someone is round and not white then they are smart. If someone is green and not white then they are not smart. If someone is white then they are not round.
Erin is not green.
@0: Anne is green.[(triple1)] Anne is not rough.[(triple3)] Anne is not young.[(triple5)] Anne is red.[(triple2)] Anne is smart.[(triple4)] Erin is rough.[(triple6)] Erin is young.[(triple7)]