Anne is white. Bob is big. Charlie is not blue. Erin is furry. If something is big and not young then it is blue. Big, young things are blue. If something is furry then it is blue. If something is nice then it is furry. If something is furry and blue then it is nice. All nice, blue things are big. Young things are white. If something is young and not nice then it is white.
Charlie is not furry.
@0: Anne is white.[(triple1)] Bob is big.[(triple2)] Charlie is not blue.[(triple3)] Erin is furry.[(triple4)] @1: Erin is blue.[(((triple4) -> rule3))] @2: Erin is nice.[(((triple4 ((triple4) -> rule3)) -> rule5))] @3: Erin is big.[(((((triple4 ((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6))]