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