Charlie is young. Erin is green. Gary is green. Young people are nice. All young, nice people are white. If someone is green and big then they are young. White people are green. If someone is young then they are furry. All green, white people are blue. All white, big people are nice. Green people are young.
Charlie is not young.
@0: Charlie is young.[(triple1)] Erin is green.[(triple2)] Gary is green.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule5))] Charlie is nice.[(((triple1) -> rule1))] Erin is young.[(((triple2) -> rule8))] Gary is young.[(((triple3) -> rule8))] @2: Charlie is white.[(((triple1 ((triple1) -> rule1)) -> rule2))] Erin is furry.[(((((triple2) -> rule8)) -> rule5))] Erin is nice.[(((((triple2) -> rule8)) -> rule1))] Gary is furry.[(((((triple3) -> rule8)) -> rule5))] Gary is nice.[(((((triple3) -> rule8)) -> rule1))] @3: Charlie is green.[(((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule4))] Erin is white.[(((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule1)) -> rule2))] Gary is white.[(((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule1)) -> rule2))] @4: Charlie is blue.[(((((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule4) ((triple1 ((triple1) -> rule1)) -> rule2)) -> rule6))] Erin is blue.[(((triple2 ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule1)) -> rule2)) -> rule6))] Gary is blue.[(((triple3 ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule1)) -> rule2)) -> rule6))]