Anne is nice. Charlie is blue. Erin is blue. Fiona is big. All smart, green people are blue. Quiet people are smart. Big people are quiet. Blue people are green. If someone is smart and quiet then they are green. If someone is red and big then they are green.
Charlie is not quiet.
@0: Anne is nice.[(triple1)] Charlie is blue.[(triple2)] Erin is blue.[(triple3)] Fiona is big.[(triple4)] @1: Charlie is green.[(((triple2) -> rule4))] Erin is green.[(((triple3) -> rule4))] Fiona is quiet.[(((triple4) -> rule3))] @2: Fiona is smart.[(((((triple4) -> rule3)) -> rule2))] @3: Fiona is green.[(((((((triple4) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule5))] @4: Fiona is blue.[(((((((triple4) -> rule3)) -> rule2) ((((((triple4) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule5)) -> rule1))]