Anne is not big. Anne is nice. Anne is rough. Anne is round. Erin is big. Erin is green. Erin is quiet. Erin is rough. Erin is round. Gary is quiet. Gary is round. Gary is white. If someone is big then they are not white.
Erin is not quiet.
@0: Anne is nice.[(triple2)] Anne is not big.[(triple1)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Erin is big.[(triple5)] Erin is green.[(triple6)] Erin is quiet.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9)] Gary is quiet.[(triple10)] Gary is round.[(triple11)] Gary is white.[(triple12)] @1: Erin is not white.[(((triple5) -> rule1))]