Anne is blue. Anne is cold. Anne is not furry. Charlie is blue. Charlie is not green. Erin is cold. Erin is not quiet. All smart things are quiet. If Anne is blue then Anne is smart. All cold, quiet things are big. Quiet things are blue. If Erin is big then Erin is not blue. If something is blue and not quiet then it is furry. If something is smart and not blue then it is furry. If something is blue and not quiet then it is not furry.
Erin is not furry.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is not furry.[(triple3)] Charlie is blue.[(triple4)] Charlie is not green.[(triple5)] Erin is cold.[(triple6)] Erin is not quiet.[(triple7)] @1: Anne is smart.[(((triple1) -> rule2))] @2: Anne is quiet.[(((((triple1) -> rule2)) -> rule1))] @3: Anne is big.[(((triple2 ((((triple1) -> rule2)) -> rule1)) -> rule3))]