Anne is big. Anne is blue. Anne is not quiet. Anne is rough. Anne is round. Anne is white. Anne is young. Erin is not big. Erin is not blue. Erin is not quiet. Erin is rough. Erin is round. Erin is white. Erin is not young. If Erin is big then Erin is not rough. If someone is round then they are white. Round, quiet people are white.
Anne is not white.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is not quiet.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6 OR ((triple5) -> rule2))] Anne is young.[(triple7)] Erin is not big.[(triple8)] Erin is not blue.[(triple9)] Erin is not quiet.[(triple10)] Erin is not young.[(triple14)] Erin is rough.[(triple11)] Erin is round.[(triple12)] Erin is white.[(triple13 OR ((triple12) -> rule2))]