Charlie is kind. Erin is furry. Gary is furry. Gary is kind. Gary is round. Gary is smart. Gary is white. If Gary is smart and Gary is round then Gary is green. Furry, young things are kind. If Charlie is green then Charlie is white. Young, white things are smart. All kind things are young. All kind things are green.
Erin is white.
@0: Charlie is kind.[(triple1)] Erin is furry.[(triple2)] Gary is furry.[(triple3)] Gary is kind.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6 OR ((((triple4) -> rule5) triple7) -> rule4))] Gary is white.[(triple7)] @1: Charlie is green.[(((triple1) -> rule6))] Charlie is young.[(((triple1) -> rule5))] Gary is green.[(((triple4) -> rule6) OR ((triple6 triple5) -> rule1) OR ((((((triple4) -> rule5) triple7) -> rule4) triple5) -> rule1))] Gary is young.[(((triple4) -> rule5))] @2: Charlie is white.[(((((triple1) -> rule6)) -> rule3))] @3: Charlie is smart.[(((((triple1) -> rule5) ((((triple1) -> rule6)) -> rule3)) -> rule4))]