Anne is red. Charlie is white. Erin is not furry. Nice things are blue. All white things are nice. Furry things are nice. If something is blue and green then it is not smart. If something is nice and blue then it is not smart. If something is white and red then it is green. If something is furry and not blue then it is not green. If Erin is smart and Erin is not blue then Erin is red.
Charlie is furry.
@0: Anne is red.[(triple1)] Charlie is white.[(triple2)] Erin is not furry.[(triple3)] @1: Charlie is nice.[(((triple2) -> rule2))] @2: Charlie is blue.[(((((triple2) -> rule2)) -> rule1))] @3: Charlie is not smart.[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule1)) -> rule5))]