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