Anne is green. Erin is smart. Fiona is green. If something is blue then it is smart. If something is green then it is blue. If something is smart and not green then it is red. If something is green and quiet then it is red. Smart things are not quiet. If something is big and not cold then it is not quiet. If something is red and big then it is quiet. If Erin is not smart and Erin is not blue then Erin is quiet.
Erin is not blue.
@0: Anne is green.[(triple1)] Erin is smart.[(triple2)] Fiona is green.[(triple3)] @1: Anne is blue.[(((triple1) -> rule2))] Erin is not quiet.[(((triple2) -> rule5))] Fiona is blue.[(((triple3) -> rule2))] @2: Anne is smart.[(((((triple1) -> rule2)) -> rule1))] Fiona is smart.[(((((triple3) -> rule2)) -> rule1))] @3: Anne is not quiet.[(((((((triple1) -> rule2)) -> rule1)) -> rule5))] Fiona is not quiet.[(((((((triple3) -> rule2)) -> rule1)) -> rule5))]