Anne is smart. Erin is smart. Fiona is nice. Gary is white. If something is smart and not quiet then it is nice. All red things are nice. Smart things are red. If Erin is not white then Erin is smart. If something is white and nice then it is smart. If something is quiet and not white then it is furry.
Erin is not smart.
@0: Anne is smart.[(triple1)] Erin is smart.[(triple2)] Fiona is nice.[(triple3)] Gary is white.[(triple4)] @1: Anne is red.[(((triple1) -> rule3))] Erin is red.[(((triple2) -> rule3))] @2: Anne is nice.[(((((triple1) -> rule3)) -> rule2))] Erin is nice.[(((((triple2) -> rule3)) -> rule2))]