Charlie is kind. Erin is kind. Gary is white. Kind things are young. All young things are round. If Charlie is round then Charlie is green. All kind, young things are round. All white, furry things are round. If something is red and furry then it is green.
Gary is young.
@0: Charlie is kind.[(triple1)] Erin is kind.[(triple2)] Gary is white.[(triple3)] @1: Charlie is young.[(((triple1) -> rule1))] Erin is young.[(((triple2) -> rule1))] @2: Charlie is round.[(((((triple1) -> rule1)) -> rule2) OR ((triple1 ((triple1) -> rule1)) -> rule4))] Erin is round.[(((((triple2) -> rule1)) -> rule2) OR ((triple2 ((triple2) -> rule1)) -> rule4))] @3: Charlie is green.[(((((((triple1) -> rule1)) -> rule2)) -> rule3) OR ((((triple1 ((triple1) -> rule1)) -> rule4)) -> rule3))]