Charlie is young. Erin is blue. Erin is green. Fiona is big. Fiona is green. Gary is blue. Gary is green. All red things are furry. All furry things are red. Young things are red. If something is smart and not red then it is not green. All furry things are green. If something is red and green then it is blue. If something is young and big then it is smart. If something is blue and green then it is smart. Blue, red things are smart.
Charlie is not green.
@0: Charlie is young.[(triple1)] Erin is blue.[(triple2)] Erin is green.[(triple3)] Fiona is big.[(triple4)] Fiona is green.[(triple5)] Gary is blue.[(triple6)] Gary is green.[(triple7)] @1: Charlie is red.[(((triple1) -> rule3))] Erin is smart.[(((triple2 triple3) -> rule8))] Gary is smart.[(((triple6 triple7) -> rule8))] @2: Charlie is furry.[(((((triple1) -> rule3)) -> rule1))] @3: Charlie is green.[(((((((triple1) -> rule3)) -> rule1)) -> rule5))] @4: Charlie is blue.[(((((triple1) -> rule3) ((((((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule6))] @5: Charlie is smart.[(((((((triple1) -> rule3) ((((((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule6) ((triple1) -> rule3)) -> rule9) OR ((((((triple1) -> rule3) ((((((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule6) ((((((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule8))]