Anne is not green. Anne is nice. Anne is smart. Anne is young. Erin is green. Erin is nice. Erin is not quiet. Erin is smart. Erin is white. Erin is not young. If something is green and not white then it is young. If something is green then it is not furry. If something is quiet then it is not smart.
Erin is green.
@0: Anne is nice.[(triple2)] Anne is not green.[(triple1)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Erin is green.[(triple5)] Erin is nice.[(triple6)] Erin is not quiet.[(triple7)] Erin is not young.[(triple10)] Erin is smart.[(triple8)] Erin is white.[(triple9)] @1: Erin is not furry.[(((triple5) -> rule2))]