Source: Rules: * + Y Y Y - | Substitutions: Y by " cobra blackberry "

Target: * + cobra blackberry cobra blackberry cobra blackberry -


Source: Rules: Z * = X - | Substitutions: X by " penguin apple " , Z by " pear shark "

Target: pear shark * = penguin apple -


Source: Rules: X - X Y = | Substitutions: X by " banana eagle " , Y by " horse "

Target: banana eagle - banana eagle horse =


Source: Rules: + - Z - Z | Substitutions: Z by " apple "

Target: + - apple - apple


Source: Rules: Y = + X = | Substitutions: X by " watermelon " , Y by " horse "

Target: horse = + watermelon =


Source: Rules: = X * Y X | Substitutions: X by " horse zebra " , Y by " seal banana "

Target: = horse zebra * seal banana horse zebra


Source: Rules: Y X Z * * = | Substitutions: X by " cobra " , Y by " horse " , Z by " seal lion "

Target: horse cobra seal lion * * =


Source: Rules: = Z = Y X + | Substitutions: X by " eagle " , Y by " grape " , Z by " buffalo "

Target: = buffalo = grape eagle +


Source: Rules: Y Y - * Z | Substitutions: Y by " penguin " , Z by " zebra eagle "

Target: penguin penguin - * zebra eagle


Source: Rules: * Z Z = | Substitutions: Z by " horse rat "

Target: * horse rat horse rat =


Source: Rules: + * - Y Z | Substitutions: Y by " lion horse " , Z by " blueberry horse "

Target: + * - lion horse blueberry horse


Source: Rules: X * = X | Substitutions: X by " horse horse "

Target: horse horse * = horse horse


Source: Rules: - + Z Z + | Substitutions: Z by " blueberry "

Target: - + blueberry blueberry +


Source: Rules: + Y + - Y X | Substitutions: X by " apple shark " , Y by " stork cobra "

Target: + stork cobra + - stork cobra apple shark


Source: Rules: X = X - - X | Substitutions: X by " pear shark "

Target: pear shark = pear shark - - pear shark


Source: Rules: = - Y Z X | Substitutions: X by " stork " , Y by " grape peach " , Z by " cobra "

Target: = - grape peach cobra stork


Source: Rules: X * Z = | Substitutions: X by " watermelon seal " , Z by " zebra "

Target: watermelon seal * zebra =


Source: Rules: = = X Y | Substitutions: X by " rat " , Y by " apple "

Target: = = rat apple


Source: Rules: X * = Z | Substitutions: X by " banana " , Z by " zebra "

Target: banana * = zebra


Source: Rules: X Z = = - X | Substitutions: X by " zebra apple " , Z by " strawberry blackberry "

Target: zebra apple strawberry blackberry = = - zebra apple


Source: Rules: X + + Z * | Substitutions: X by " blackberry penguin " , Z by " stork "

Target: blackberry penguin + + stork *


Source: Rules: + Z + * X Z | Substitutions: X by " shark watermelon " , Z by " eagle "

Target: + eagle + * shark watermelon eagle


Source: Rules: - Y + - Z Z | Substitutions: Y by " shark stork " , Z by " blueberry "

Target: - shark stork + - blueberry blueberry


Source: Rules: * X = = Z | Substitutions: X by " peach " , Z by " stork "

Target: * peach = = stork


Source: Rules: + Y X = Z | Substitutions: X by " seal " , Y by " strawberry " , Z by " cobra strawberry "

Target: + strawberry seal = cobra strawberry


Source: Rules: X + Y - Y | Substitutions: X by " rat penguin " , Y by " banana blackberry "

Target: rat penguin + banana blackberry - banana blackberry


Source: Rules: - Z + X | Substitutions: X by " stork apple " , Z by " kiwi lion "

Target: - kiwi lion + stork apple


Source: Rules: - + + X X | Substitutions: X by " lion "

Target: - + + lion lion


Source: Rules: + Z Z Y = * | Substitutions: Y by " cobra " , Z by " penguin cobra "

Target: + penguin cobra penguin cobra cobra = *


Source: Rules: * X - Y * Z | Substitutions: X by " kiwi " , Y by " banana " , Z by " apple horse "

Target: * kiwi - banana * apple horse


Source: Rules: X Y - Y + | Substitutions: X by " whale shark " , Y by " shark eagle "

Target: whale shark shark eagle - shark eagle +


Source: Rules: Y * Z * | Substitutions: Y by " whale buffalo " , Z by " shark penguin "

Target: whale buffalo * shark penguin *


Source: Rules: + Y Y + Z | Substitutions: Y by " kiwi " , Z by " watermelon kiwi "

Target: + kiwi kiwi + watermelon kiwi


Source: Rules: + X - Y | Substitutions: X by " shark " , Y by " apple lion "

Target: + shark - apple lion


Source: Rules: = Z + = Y | Substitutions: Y by " eagle " , Z by " stork "

Target: = stork + = eagle


Source: Rules: X Y - Z - + | Substitutions: X by " peach cobra " , Y by " rat zebra " , Z by " blueberry watermelon "

Target: peach cobra rat zebra - blueberry watermelon - +


Source: Rules: + - X Y + | Substitutions: X by " blackberry " , Y by " pear whale "

Target: + - blackberry pear whale +


Source: Rules: X + Y + = | Substitutions: X by " pear " , Y by " peach peach "

Target: pear + peach peach + =


Source: Rules: = * X X | Substitutions: X by " eagle blueberry "

Target: = * eagle blueberry eagle blueberry


Source: Rules: = = Z + Y | Substitutions: Y by " grape " , Z by " rat "

Target: = = rat + grape


Source: Rules: Z - * Z Z - | Substitutions: Z by " kiwi strawberry "

Target: kiwi strawberry - * kiwi strawberry kiwi strawberry -


Source: Rules: X - Z + * | Substitutions: X by " buffalo " , Z by " rat strawberry "

Target: buffalo - rat strawberry + *


Source: Rules: Y Z + + = Y | Substitutions: Y by " penguin " , Z by " eagle peach "

Target: penguin eagle peach + + = penguin


Source: Rules: Y X - + Y | Substitutions: X by " lion " , Y by " eagle eagle "

Target: eagle eagle lion - + eagle eagle


Source: Rules: * - Z X | Substitutions: X by " peach " , Z by " buffalo "

Target: * - buffalo peach


Source: Rules: - * Y X Y | Substitutions: X by " banana horse " , Y by " whale apple "

Target: - * whale apple banana horse whale apple


Source: Rules: Y Z = X = | Substitutions: X by " blueberry cobra " , Y by " pear " , Z by " apple "

Target: pear apple = blueberry cobra =


Source: Rules: X = = Y | Substitutions: X by " pear " , Y by " watermelon "

Target: pear = = watermelon


Source: Rules: - * = Z Y | Substitutions: Y by " peach buffalo " , Z by " strawberry seal "

Target: - * = strawberry seal peach buffalo


Source: Rules: Z Y - + * | Substitutions: Y by " lion grape " , Z by " buffalo apple "

Target: buffalo apple lion grape - + *


Source: Rules: = * Y Z + | Substitutions: Y by " strawberry strawberry " , Z by " kiwi shark "

Target: = * strawberry strawberry kiwi shark +


Source: Rules: Y = X = + Y | Substitutions: X by " seal peach " , Y by " eagle whale "

Target: eagle whale = seal peach = + eagle whale


Source: Rules: X Y Z = * + | Substitutions: X by " strawberry " , Y by " kiwi cobra " , Z by " watermelon "

Target: strawberry kiwi cobra watermelon = * +


Source: Rules: Y Z = = + X | Substitutions: X by " lion " , Y by " horse zebra " , Z by " buffalo "

Target: horse zebra buffalo = = + lion


Source: Rules: Z + Y - - X | Substitutions: X by " seal " , Y by " blueberry " , Z by " pear "

Target: pear + blueberry - - seal


Source: Rules: - * Z Z Z | Substitutions: Z by " apple zebra "

Target: - * apple zebra apple zebra apple zebra


Source: Rules: Y + Y + | Substitutions: Y by " apple kiwi "

Target: apple kiwi + apple kiwi +


Source: Rules: X - Y X - | Substitutions: X by " blueberry grape " , Y by " peach "

Target: blueberry grape - peach blueberry grape -


Source: Rules: Z * Y - | Substitutions: Y by " buffalo peach " , Z by " pear "

Target: pear * buffalo peach -


Source: Rules: Z = Y + * | Substitutions: Y by " seal zebra " , Z by " cobra "

Target: cobra = seal zebra + *


Source: Rules: + X X + Y | Substitutions: X by " cobra " , Y by " buffalo seal "

Target: + cobra cobra + buffalo seal


Source: Rules: + Y + Z X + | Substitutions: X by " rat " , Y by " pear eagle " , Z by " cobra whale "

Target: + pear eagle + cobra whale rat +


Source: Rules: + X = Y | Substitutions: X by " seal apple " , Y by " blackberry "

Target: + seal apple = blackberry


Source: Rules: - + X Y | Substitutions: X by " eagle rat " , Y by " watermelon stork "

Target: - + eagle rat watermelon stork


Source: Rules: * X Z X * | Substitutions: X by " stork horse " , Z by " blueberry peach "

Target: * stork horse blueberry peach stork horse *


Source: Rules: = Y = X - | Substitutions: X by " apple eagle " , Y by " shark "

Target: = shark = apple eagle -


Source: Rules: Y Y + * | Substitutions: Y by " blackberry banana "

Target: blackberry banana blackberry banana + *


Source: Rules: * X Z * Z + | Substitutions: X by " seal blueberry " , Z by " rat peach "

Target: * seal blueberry rat peach * rat peach +


Source: Rules: + Y = Y + | Substitutions: Y by " buffalo cobra "

Target: + buffalo cobra = buffalo cobra +


Source: Rules: Z + Z = Z + | Substitutions: Z by " eagle rat "

Target: eagle rat + eagle rat = eagle rat +


Source: Rules: X Y = * | Substitutions: X by " watermelon blackberry " , Y by " shark rat "

Target: watermelon blackberry shark rat = *


Source: Rules: Z X + + = | Substitutions: X by " lion grape " , Z by " rat shark "

Target: rat shark lion grape + + =


Source: Rules: Z * = Z * | Substitutions: Z by " penguin peach "

Target: penguin peach * = penguin peach *


Source: Rules: = * Y = X | Substitutions: X by " lion " , Y by " blueberry "

Target: = * blueberry = lion


Source: Rules: Z Y X * * * | Substitutions: X by " penguin penguin " , Y by " buffalo cobra " , Z by " shark "

Target: shark buffalo cobra penguin penguin * * *


Source: Rules: + + Y + Y | Substitutions: Y by " kiwi banana "

Target: + + kiwi banana + kiwi banana


Source: Rules: Z Z X = * * | Substitutions: X by " whale zebra " , Z by " pear pear "

Target: pear pear pear pear whale zebra = * *


Source: Rules: X = - Y + | Substitutions: X by " penguin " , Y by " apple "

Target: penguin = - apple +


Source: Rules: * Z + * Y | Substitutions: Y by " blackberry blueberry " , Z by " buffalo "

Target: * buffalo + * blackberry blueberry


Source: Rules: + = Y * Z | Substitutions: Y by " banana " , Z by " lion "

Target: + = banana * lion


Source: Rules: * Z + = Z Z | Substitutions: Z by " seal "

Target: * seal + = seal seal


Source: Rules: - Z * Y Z | Substitutions: Y by " horse " , Z by " zebra "

Target: - zebra * horse zebra


Source: Rules: Y * Z + | Substitutions: Y by " buffalo " , Z by " blackberry "

Target: buffalo * blackberry +


Source: Rules: - Y + + Z | Substitutions: Y by " pear " , Z by " watermelon "

Target: - pear + + watermelon


Source: Rules: * - - Z Y Z | Substitutions: Y by " cobra buffalo " , Z by " grape "

Target: * - - grape cobra buffalo grape


Source: Rules: Y = X Y * = | Substitutions: X by " kiwi whale " , Y by " penguin whale "

Target: penguin whale = kiwi whale penguin whale * =


Source: Rules: X * Y * X * | Substitutions: X by " buffalo seal " , Y by " rat buffalo "

Target: buffalo seal * rat buffalo * buffalo seal *


Source: Rules: + = - Z Y Y | Substitutions: Y by " strawberry stork " , Z by " banana "

Target: + = - banana strawberry stork strawberry stork


Source: Rules: + X * Z X | Substitutions: X by " zebra " , Z by " strawberry buffalo "

Target: + zebra * strawberry buffalo zebra


Source: Rules: Z + Y + * | Substitutions: Y by " peach " , Z by " eagle stork "

Target: eagle stork + peach + *


Source: Rules: = Z + X * | Substitutions: X by " eagle grape " , Z by " blueberry zebra "

Target: = blueberry zebra + eagle grape *


Source: Rules: Z * Z = X + | Substitutions: X by " zebra " , Z by " watermelon blueberry "

Target: watermelon blueberry * watermelon blueberry = zebra +


Source: Rules: Y + X - - Y | Substitutions: X by " lion " , Y by " blackberry blueberry "

Target: blackberry blueberry + lion - - blackberry blueberry


Source: Rules: Z Y + X + | Substitutions: X by " apple grape " , Y by " apple " , Z by " strawberry eagle "

Target: strawberry eagle apple + apple grape +


Source: Rules: X + = = X | Substitutions: X by " kiwi strawberry "

Target: kiwi strawberry + = = kiwi strawberry


Source: Rules: - X Y = | Substitutions: X by " watermelon zebra " , Y by " rat shark "

Target: - watermelon zebra rat shark =


Source: Rules: Z = Z Z + | Substitutions: Z by " horse blackberry "

Target: horse blackberry = horse blackberry horse blackberry +


Source: Rules: + Z Z X - * | Substitutions: X by " pear " , Z by " cobra "

Target: + cobra cobra pear - *


Source: Rules: Y = + X + | Substitutions: X by " lion " , Y by " blueberry "

Target: blueberry = + lion +


Source: Rules: Z = * X * Z | Substitutions: X by " buffalo " , Z by " blueberry "

Target: blueberry = * buffalo * blueberry


Source: Rules: = + Z + X X | Substitutions: X by " apple penguin " , Z by " pear buffalo "

Target: = + pear buffalo + apple penguin apple penguin


Source: Rules: X * - Z + Z | Substitutions: X by " cobra cobra " , Z by " rat "

Target: cobra cobra * - rat + rat


Source: Rules: Y * Y * | Substitutions: Y by " blueberry watermelon "

Target: blueberry watermelon * blueberry watermelon *


Source: Rules: Y * Y = | Substitutions: Y by " blackberry "

Target: blackberry * blackberry =


Source: Rules: = Z = Z Y | Substitutions: Y by " stork penguin " , Z by " apple "

Target: = apple = apple stork penguin


Source: Rules: Z + Z - Y | Substitutions: Y by " strawberry peach " , Z by " whale buffalo "

Target: whale buffalo + whale buffalo - strawberry peach


Source: Rules: Z - Y - - Y | Substitutions: Y by " cobra " , Z by " horse cobra "

Target: horse cobra - cobra - - cobra


Source: Rules: - Z X Y = = | Substitutions: X by " seal " , Y by " peach strawberry " , Z by " watermelon penguin "

Target: - watermelon penguin seal peach strawberry = =


Source: Rules: - X - Y Z | Substitutions: X by " stork zebra " , Y by " watermelon strawberry " , Z by " kiwi eagle "

Target: - stork zebra - watermelon strawberry kiwi eagle


Source: Rules: * Z X * | Substitutions: X by " pear grape " , Z by " strawberry "

Target: * strawberry pear grape *


Source: Rules: + X * Y Z | Substitutions: X by " blueberry " , Y by " pear " , Z by " blackberry penguin "

Target: + blueberry * pear blackberry penguin


Source: Rules: = Y = + Z | Substitutions: Y by " blueberry " , Z by " grape penguin "

Target: = blueberry = + grape penguin


Source: Rules: - * X Y - X | Substitutions: X by " apple rat " , Y by " penguin "

Target: - * apple rat penguin - apple rat


Source: Rules: = * + X Y | Substitutions: X by " cobra " , Y by " zebra "

Target: = * + cobra zebra


Source: Rules: - X Z = X | Substitutions: X by " grape whale " , Z by " cobra eagle "

Target: - grape whale cobra eagle = grape whale


Source: Rules: * * X Z = | Substitutions: X by " seal " , Z by " penguin "

Target: * * seal penguin =


Source: Rules: + + X X Z = | Substitutions: X by " pear peach " , Z by " eagle "

Target: + + pear peach pear peach eagle =


Source: Rules: + + X = Z | Substitutions: X by " buffalo " , Z by " peach "

Target: + + buffalo = peach


Source: Rules: + Y X Z * | Substitutions: X by " blueberry " , Y by " horse " , Z by " banana "

Target: + horse blueberry banana *


Source: Rules: = = Z Z + | Substitutions: Z by " cobra banana "

Target: = = cobra banana cobra banana +


Source: Rules: * Y X - Z | Substitutions: X by " strawberry " , Y by " apple " , Z by " eagle blueberry "

Target: * apple strawberry - eagle blueberry


Source: Rules: Z = Y = X + | Substitutions: X by " stork banana " , Y by " lion grape " , Z by " seal banana "

Target: seal banana = lion grape = stork banana +


Source: Rules: Y * + + Z X | Substitutions: X by " rat " , Y by " pear whale " , Z by " whale eagle "

Target: pear whale * + + whale eagle rat


Source: Rules: * - X Y Z | Substitutions: X by " blackberry " , Y by " kiwi apple " , Z by " seal watermelon "

Target: * - blackberry kiwi apple seal watermelon


Source: Rules: - + Y X Y | Substitutions: X by " buffalo " , Y by " apple grape "

Target: - + apple grape buffalo apple grape


Source: Rules: Z Y Z = * | Substitutions: Y by " eagle cobra " , Z by " buffalo "

Target: buffalo eagle cobra buffalo = *


Source: Rules: - X Y - Y | Substitutions: X by " stork banana " , Y by " watermelon lion "

Target: - stork banana watermelon lion - watermelon lion


Source: Rules: X - Y - * | Substitutions: X by " strawberry " , Y by " horse blueberry "

Target: strawberry - horse blueberry - *


Source: Rules: * Z + = Y | Substitutions: Y by " blackberry watermelon " , Z by " penguin "

Target: * penguin + = blackberry watermelon


Source: Rules: = + Y + Z | Substitutions: Y by " strawberry " , Z by " shark eagle "

Target: = + strawberry + shark eagle


Source: Rules: Y - Z - = X | Substitutions: X by " buffalo blueberry " , Y by " strawberry " , Z by " penguin zebra "

Target: strawberry - penguin zebra - = buffalo blueberry


Source: Rules: Z Y - - Y | Substitutions: Y by " horse kiwi " , Z by " strawberry apple "

Target: strawberry apple horse kiwi - - horse kiwi


Source: Rules: + + Y Y | Substitutions: Y by " rat whale "

Target: + + rat whale rat whale


Source: Rules: - - Z Y Z | Substitutions: Y by " penguin " , Z by " pear "

Target: - - pear penguin pear


Source: Rules: Z Y Y = * + | Substitutions: Y by " seal " , Z by " grape stork "

Target: grape stork seal seal = * +


Source: Rules: Z Y - Z * = | Substitutions: Y by " stork " , Z by " strawberry "

Target: strawberry stork - strawberry * =


Source: Rules: - = Z X = | Substitutions: X by " rat horse " , Z by " strawberry "

Target: - = strawberry rat horse =


Source: Rules: + Z Z + + | Substitutions: Z by " buffalo blackberry "

Target: + buffalo blackberry buffalo blackberry + +


Source: Rules: Z = Y Z * | Substitutions: Y by " kiwi eagle " , Z by " zebra "

Target: zebra = kiwi eagle zebra *


Source: Rules: Y + * Z + Z | Substitutions: Y by " horse " , Z by " penguin "

Target: horse + * penguin + penguin


Source: Rules: X + Z - | Substitutions: X by " watermelon strawberry " , Z by " cobra apple "

Target: watermelon strawberry + cobra apple -


Source: Rules: * Y X Z - + | Substitutions: X by " seal horse " , Y by " cobra strawberry " , Z by " watermelon "

Target: * cobra strawberry seal horse watermelon - +


Source: Rules: X * Z Y * | Substitutions: X by " apple rat " , Y by " cobra " , Z by " grape "

Target: apple rat * grape cobra *


Source: Rules: Z Y * - Z | Substitutions: Y by " eagle blackberry " , Z by " blackberry rat "

Target: blackberry rat eagle blackberry * - blackberry rat


Source: Rules: Y - + * Y | Substitutions: Y by " lion grape "

Target: lion grape - + * lion grape


Source: Rules: + = Y * Z | Substitutions: Y by " lion buffalo " , Z by " shark pear "

Target: + = lion buffalo * shark pear


Source: Rules: = Z = Z + | Substitutions: Z by " penguin stork "

Target: = penguin stork = penguin stork +


Source: Rules: + * X Y - | Substitutions: X by " eagle " , Y by " stork peach "

Target: + * eagle stork peach -


Source: Rules: X X Z = = | Substitutions: X by " horse watermelon " , Z by " peach kiwi "

Target: horse watermelon horse watermelon peach kiwi = =


Source: Rules: Z Y X - - | Substitutions: X by " seal " , Y by " pear strawberry " , Z by " seal "

Target: seal pear strawberry seal - -


Source: Rules: X Z + * | Substitutions: X by " buffalo watermelon " , Z by " watermelon "

Target: buffalo watermelon watermelon + *


Source: Rules: = + X X | Substitutions: X by " penguin "

Target: = + penguin penguin


Source: Rules: Y X * X = | Substitutions: X by " horse blueberry " , Y by " eagle whale "

Target: eagle whale horse blueberry * horse blueberry =


Source: Rules: = = - Y Y Y | Substitutions: Y by " blackberry penguin "

Target: = = - blackberry penguin blackberry penguin blackberry penguin


Source: Rules: Y - - - Y | Substitutions: Y by " stork "

Target: stork - - - stork


Source: Rules: Z Y * = * | Substitutions: Y by " banana " , Z by " pear "

Target: pear banana * = *


Source: Rules: Y - Z * Y = | Substitutions: Y by " grape watermelon " , Z by " kiwi rat "

Target: grape watermelon - kiwi rat * grape watermelon =


Source: Rules: = Y X = | Substitutions: X by " apple pear " , Y by " watermelon "

Target: = watermelon apple pear =


Source: Rules: Y Y = - * | Substitutions: Y by " horse "

Target: horse horse = - *


Source: Rules: Y + * X | Substitutions: X by " strawberry " , Y by " watermelon blueberry "

Target: watermelon blueberry + * strawberry


Source: Rules: X = Y - - | Substitutions: X by " grape strawberry " , Y by " pear shark "

Target: grape strawberry = pear shark - -


Source: Rules: = Z + Z - | Substitutions: Z by " strawberry "

Target: = strawberry + strawberry -


Source: Rules: + + Y Z | Substitutions: Y by " watermelon " , Z by " watermelon "

Target: + + watermelon watermelon


Source: Rules: * Z + X Z | Substitutions: X by " stork " , Z by " blackberry "

Target: * blackberry + stork blackberry


Source: Rules: Z X - - Y | Substitutions: X by " blueberry pear " , Y by " watermelon " , Z by " watermelon buffalo "

Target: watermelon buffalo blueberry pear - - watermelon


Source: Rules: = X * X | Substitutions: X by " strawberry "

Target: = strawberry * strawberry


Source: Rules: + + Z * X Z | Substitutions: X by " cobra pear " , Z by " blackberry banana "

Target: + + blackberry banana * cobra pear blackberry banana


Source: Rules: Y Y * X + * | Substitutions: X by " penguin " , Y by " blackberry "

Target: blackberry blackberry * penguin + *


Source: Rules: = = Z Y X | Substitutions: X by " apple pear " , Y by " apple " , Z by " blueberry "

Target: = = blueberry apple apple pear


Source: Rules: Z = * X + | Substitutions: X by " peach stork " , Z by " blackberry lion "

Target: blackberry lion = * peach stork +


Source: Rules: X - * Z * Z | Substitutions: X by " eagle " , Z by " lion "

Target: eagle - * lion * lion


Source: Rules: * Z = Y - | Substitutions: Y by " kiwi " , Z by " zebra "

Target: * zebra = kiwi -


Source: Rules: X X - + Y | Substitutions: X by " horse buffalo " , Y by " pear kiwi "

Target: horse buffalo horse buffalo - + pear kiwi


Source: Rules: Y X - + X | Substitutions: X by " penguin " , Y by " banana lion "

Target: banana lion penguin - + penguin


Source: Rules: Z Y = * | Substitutions: Y by " apple " , Z by " eagle "

Target: eagle apple = *


Source: Rules: Z Y Z + = | Substitutions: Y by " blueberry watermelon " , Z by " horse blueberry "

Target: horse blueberry blueberry watermelon horse blueberry + =


Source: Rules: - = Y - X | Substitutions: X by " penguin " , Y by " lion "

Target: - = lion - penguin


Source: Rules: Y - Z Y = | Substitutions: Y by " buffalo rat " , Z by " horse "

Target: buffalo rat - horse buffalo rat =


Source: Rules: - Y * X + | Substitutions: X by " peach " , Y by " pear "

Target: - pear * peach +


Source: Rules: Y = X Z = | Substitutions: X by " stork " , Y by " apple " , Z by " peach zebra "

Target: apple = stork peach zebra =


Source: Rules: = * X Y | Substitutions: X by " zebra zebra " , Y by " zebra "

Target: = * zebra zebra zebra


Source: Rules: - X Y * Y | Substitutions: X by " seal cobra " , Y by " cobra "

Target: - seal cobra cobra * cobra


Source: Rules: + Z X = - | Substitutions: X by " peach " , Z by " blackberry rat "

Target: + blackberry rat peach = -


Source: Rules: Z Y X = = | Substitutions: X by " seal " , Y by " watermelon banana " , Z by " pear penguin "

Target: pear penguin watermelon banana seal = =


Source: Rules: = * Y Y Y - | Substitutions: Y by " eagle peach "

Target: = * eagle peach eagle peach eagle peach -


Source: Rules: X - * Y | Substitutions: X by " grape blackberry " , Y by " grape zebra "

Target: grape blackberry - * grape zebra


Source: Rules: Y - Z X * | Substitutions: X by " buffalo " , Y by " horse shark " , Z by " seal "

Target: horse shark - seal buffalo *


Source: Rules: * Y * Y + Z | Substitutions: Y by " stork apple " , Z by " seal cobra "

Target: * stork apple * stork apple + seal cobra


Source: Rules: = + X * Z | Substitutions: X by " blackberry grape " , Z by " seal "

Target: = + blackberry grape * seal


Source: Rules: X * X = X = | Substitutions: X by " pear "

Target: pear * pear = pear =


Source: Rules: + = Y Y Z | Substitutions: Y by " horse " , Z by " blueberry stork "

Target: + = horse horse blueberry stork


Source: Rules: X * X * Y | Substitutions: X by " watermelon peach " , Y by " banana penguin "

Target: watermelon peach * watermelon peach * banana penguin


Source: Rules: + Y Y X * | Substitutions: X by " grape lion " , Y by " strawberry "

Target: + strawberry strawberry grape lion *


Source: Rules: Y - Z X * | Substitutions: X by " banana cobra " , Y by " peach " , Z by " grape "

Target: peach - grape banana cobra *


Source: Rules: Z X * * - | Substitutions: X by " seal " , Z by " rat "

Target: rat seal * * -


Source: Rules: Y Z * + - | Substitutions: Y by " penguin banana " , Z by " grape "

Target: penguin banana grape * + -


Source: Rules: + X - * Y | Substitutions: X by " strawberry " , Y by " blackberry "

Target: + strawberry - * blackberry


Source: Rules: + X X X + = | Substitutions: X by " kiwi banana "

Target: + kiwi banana kiwi banana kiwi banana + =


Source: Rules: + = = Y Y | Substitutions: Y by " watermelon blackberry "

Target: + = = watermelon blackberry watermelon blackberry


Source: Rules: - + Z Z + X | Substitutions: X by " penguin kiwi " , Z by " pear "

Target: - + pear pear + penguin kiwi


Source: Rules: * = Y = Y | Substitutions: Y by " pear "

Target: * = pear = pear


Source: Rules: Z Y X = - - | Substitutions: X by " blackberry buffalo " , Y by " banana " , Z by " penguin lion "

Target: penguin lion banana blackberry buffalo = - -


Source: Rules: * = Y Y Y | Substitutions: Y by " blackberry "

Target: * = blackberry blackberry blackberry


Source: Rules: Z Z - - X | Substitutions: X by " apple " , Z by " watermelon lion "

Target: watermelon lion watermelon lion - - apple


Source: Rules: Y + Z + | Substitutions: Y by " zebra horse " , Z by " buffalo "

Target: zebra horse + buffalo +


Source: Rules: Y Z = - | Substitutions: Y by " peach lion " , Z by " rat penguin "

Target: peach lion rat penguin = -


Source: Rules: Z - - Z - | Substitutions: Z by " kiwi "

Target: kiwi - - kiwi -


Source: Rules: Z Y X * + | Substitutions: X by " grape blackberry " , Y by " grape kiwi " , Z by " penguin grape "

Target: penguin grape grape kiwi grape blackberry * +


Source: Rules: X - Z * * Y | Substitutions: X by " peach buffalo " , Y by " apple " , Z by " blueberry penguin "

Target: peach buffalo - blueberry penguin * * apple


Source: Rules: = X = X * X | Substitutions: X by " lion kiwi "

Target: = lion kiwi = lion kiwi * lion kiwi


Source: Rules: = X Y = Z | Substitutions: X by " whale " , Y by " whale penguin " , Z by " apple "

Target: = whale whale penguin = apple


Source: Rules: = * * Z Y | Substitutions: Y by " eagle " , Z by " cobra grape "

Target: = * * cobra grape eagle


Source: Rules: = = X X Y | Substitutions: X by " blackberry " , Y by " stork lion "

Target: = = blackberry blackberry stork lion


Source: Rules: + Y + + Y | Substitutions: Y by " seal "

Target: + seal + + seal


Source: Rules: Y Z + + | Substitutions: Y by " zebra " , Z by " zebra stork "

Target: zebra zebra stork + +


Source: Rules: X - X * | Substitutions: X by " pear "

Target: pear - pear *


Source: Rules: + - - Z Z | Substitutions: Z by " banana shark "

Target: + - - banana shark banana shark


Source: Rules: Y - Y - + Y | Substitutions: Y by " blackberry "

Target: blackberry - blackberry - + blackberry


Source: Rules: = * + Z X | Substitutions: X by " apple apple " , Z by " shark shark "

Target: = * + shark shark apple apple


Source: Rules: - Z X * | Substitutions: X by " watermelon " , Z by " shark stork "

Target: - shark stork watermelon *


Source: Rules: * Y Y * X | Substitutions: X by " penguin " , Y by " lion "

Target: * lion lion * penguin


Source: Rules: * X * X - | Substitutions: X by " penguin apple "

Target: * penguin apple * penguin apple -


Source: Rules: Y Y + Y * + | Substitutions: Y by " horse apple "

Target: horse apple horse apple + horse apple * +


Source: Rules: Z Y * Y = - | Substitutions: Y by " horse grape " , Z by " cobra "

Target: cobra horse grape * horse grape = -


Source: Rules: Y X = - * X | Substitutions: X by " stork peach " , Y by " penguin "

Target: penguin stork peach = - * stork peach


Source: Rules: * Z Y - Z | Substitutions: Y by " buffalo grape " , Z by " strawberry "

Target: * strawberry buffalo grape - strawberry


Source: Rules: - Y + Z Y | Substitutions: Y by " penguin " , Z by " buffalo "

Target: - penguin + buffalo penguin


Source: Rules: * Z X * Z | Substitutions: X by " strawberry whale " , Z by " cobra "

Target: * cobra strawberry whale * cobra


Source: Rules: * - X Y Z | Substitutions: X by " peach " , Y by " stork " , Z by " blueberry "

Target: * - peach stork blueberry


Source: Rules: * Y X Z = | Substitutions: X by " shark " , Y by " buffalo pear " , Z by " buffalo "

Target: * buffalo pear shark buffalo =


Source: Rules: Y X + + * | Substitutions: X by " kiwi seal " , Y by " horse stork "

Target: horse stork kiwi seal + + *


Source: Rules: Z = X Y + = | Substitutions: X by " banana cobra " , Y by " zebra " , Z by " stork zebra "

Target: stork zebra = banana cobra zebra + =


Source: Rules: Z X X - * | Substitutions: X by " strawberry " , Z by " lion strawberry "

Target: lion strawberry strawberry strawberry - *


Source: Rules: = + * Z Z Z | Substitutions: Z by " horse "

Target: = + * horse horse horse


Source: Rules: X - Z * Z = | Substitutions: X by " apple rat " , Z by " grape "

Target: apple rat - grape * grape =


Source: Rules: = Z - Y | Substitutions: Y by " whale buffalo " , Z by " grape seal "

Target: = grape seal - whale buffalo


Source: Rules: Z * X + * | Substitutions: X by " horse watermelon " , Z by " grape watermelon "

Target: grape watermelon * horse watermelon + *


Source: Rules: Z = + * X Z | Substitutions: X by " lion " , Z by " grape stork "

Target: grape stork = + * lion grape stork


Source: Rules: * Z * - X | Substitutions: X by " eagle apple " , Z by " stork seal "

Target: * stork seal * - eagle apple


Source: Rules: Z - - Z | Substitutions: Z by " grape "

Target: grape - - grape


Source: Rules: = X + Z X | Substitutions: X by " kiwi " , Z by " zebra stork "

Target: = kiwi + zebra stork kiwi


Source: Rules: X * - X Z | Substitutions: X by " stork " , Z by " zebra seal "

Target: stork * - stork zebra seal


Source: Rules: Y X Z = - | Substitutions: X by " lion " , Y by " eagle pear " , Z by " pear "

Target: eagle pear lion pear = -


Source: Rules: - + Z Y X | Substitutions: X by " strawberry " , Y by " rat penguin " , Z by " watermelon stork "

Target: - + watermelon stork rat penguin strawberry


Source: Rules: Z Z * X - | Substitutions: X by " whale " , Z by " eagle "

Target: eagle eagle * whale -


Source: Rules: X * - - Z X | Substitutions: X by " cobra " , Z by " stork seal "

Target: cobra * - - stork seal cobra


Source: Rules: - Z = Z | Substitutions: Z by " cobra "

Target: - cobra = cobra


Source: Rules: = Y = * Y Y | Substitutions: Y by " apple "

Target: = apple = * apple apple


Source: Rules: X Z + * Z | Substitutions: X by " seal " , Z by " watermelon "

Target: seal watermelon + * watermelon


Source: Rules: * Z - X + X | Substitutions: X by " lion " , Z by " peach blackberry "

Target: * peach blackberry - lion + lion


Source: Rules: X X = = X + | Substitutions: X by " zebra seal "

Target: zebra seal zebra seal = = zebra seal +


Source: Rules: = Y X * | Substitutions: X by " eagle " , Y by " whale "

Target: = whale eagle *


Source: Rules: Z = X = Y + | Substitutions: X by " shark banana " , Y by " watermelon " , Z by " apple "

Target: apple = shark banana = watermelon +


Source: Rules: X - Y Z * - | Substitutions: X by " stork blackberry " , Y by " shark " , Z by " seal penguin "

Target: stork blackberry - shark seal penguin * -


Source: Rules: Y Y - Y = - | Substitutions: Y by " pear "

Target: pear pear - pear = -


Source: Rules: - Y Y X * | Substitutions: X by " strawberry " , Y by " stork "

Target: - stork stork strawberry *


Source: Rules: Y Z = * Y = | Substitutions: Y by " blueberry " , Z by " eagle "

Target: blueberry eagle = * blueberry =


Source: Rules: Z - X * | Substitutions: X by " zebra " , Z by " penguin seal "

Target: penguin seal - zebra *


Source: Rules: = Z Y * * | Substitutions: Y by " cobra " , Z by " watermelon horse "

Target: = watermelon horse cobra * *


Source: Rules: - = + X X | Substitutions: X by " blackberry "

Target: - = + blackberry blackberry


Source: Rules: = * X Z + Z | Substitutions: X by " kiwi banana " , Z by " peach lion "

Target: = * kiwi banana peach lion + peach lion


Source: Rules: X Y Y * + | Substitutions: X by " kiwi watermelon " , Y by " pear "

Target: kiwi watermelon pear pear * +


Source: Rules: Z Y * Y = | Substitutions: Y by " blackberry " , Z by " whale blueberry "

Target: whale blueberry blackberry * blackberry =


Source: Rules: + Y Y - | Substitutions: Y by " blueberry kiwi "

Target: + blueberry kiwi blueberry kiwi -


Source: Rules: - Y - - Y | Substitutions: Y by " whale peach "

Target: - whale peach - - whale peach


Source: Rules: = - Y Y Y | Substitutions: Y by " apple "

Target: = - apple apple apple


Source: Rules: Z Y = X + | Substitutions: X by " pear zebra " , Y by " shark kiwi " , Z by " lion "

Target: lion shark kiwi = pear zebra +


Source: Rules: X Z X * - | Substitutions: X by " seal " , Z by " blueberry "

Target: seal blueberry seal * -


Source: Rules: + Z = Z | Substitutions: Z by " banana shark "

Target: + banana shark = banana shark


Source: Rules: + * Z + X | Substitutions: X by " lion peach " , Z by " zebra "

Target: + * zebra + lion peach


Source: Rules: * Y Y X + | Substitutions: X by " apple " , Y by " banana "

Target: * banana banana apple +


Source: Rules: * = X X Z | Substitutions: X by " watermelon " , Z by " watermelon shark "

Target: * = watermelon watermelon watermelon shark


Source: Rules: Z * Y * X + | Substitutions: X by " whale apple " , Y by " shark " , Z by " lion "

Target: lion * shark * whale apple +


Source: Rules: - X + X + Y | Substitutions: X by " stork horse " , Y by " watermelon "

Target: - stork horse + stork horse + watermelon


Source: Rules: + + Z Y Z - | Substitutions: Y by " pear " , Z by " peach "

Target: + + peach pear peach -


Source: Rules: Z - Y - Z | Substitutions: Y by " strawberry " , Z by " whale "

Target: whale - strawberry - whale


Source: Rules: = + Y X + | Substitutions: X by " apple " , Y by " rat seal "

Target: = + rat seal apple +


Source: Rules: Y * X = | Substitutions: X by " cobra " , Y by " kiwi seal "

Target: kiwi seal * cobra =


Source: Rules: = Z Z * | Substitutions: Z by " lion "

Target: = lion lion *


Source: Rules: = + X Z + | Substitutions: X by " cobra kiwi " , Z by " banana "

Target: = + cobra kiwi banana +


Source: Rules: Y Y - = | Substitutions: Y by " whale shark "

Target: whale shark whale shark - =


Source: Rules: X + * Z | Substitutions: X by " stork " , Z by " lion pear "

Target: stork + * lion pear


Source: Rules: - Y = Z - X | Substitutions: X by " grape blueberry " , Y by " pear " , Z by " rat cobra "

Target: - pear = rat cobra - grape blueberry


Source: Rules: Z = Z Y = | Substitutions: Y by " kiwi " , Z by " blackberry buffalo "

Target: blackberry buffalo = blackberry buffalo kiwi =


Source: Rules: Z + * Z | Substitutions: Z by " cobra "

Target: cobra + * cobra


Source: Rules: Z = Z + Z | Substitutions: Z by " pear buffalo "

Target: pear buffalo = pear buffalo + pear buffalo


Source: Rules: + * X Y | Substitutions: X by " whale watermelon " , Y by " eagle "

Target: + * whale watermelon eagle


Source: Rules: + Z = Y | Substitutions: Y by " blueberry stork " , Z by " blueberry buffalo "

Target: + blueberry buffalo = blueberry stork


Source: Rules: * X Y + Z | Substitutions: X by " cobra cobra " , Y by " strawberry eagle " , Z by " watermelon "

Target: * cobra cobra strawberry eagle + watermelon


Source: Rules: - + X = Z | Substitutions: X by " whale peach " , Z by " cobra stork "

Target: - + whale peach = cobra stork


Source: Rules: * Y - Y - | Substitutions: Y by " lion "

Target: * lion - lion -


Source: Rules: * Y Z * X | Substitutions: X by " horse zebra " , Y by " whale banana " , Z by " stork "

Target: * whale banana stork * horse zebra


Source: Rules: + Y Y * | Substitutions: Y by " grape "

Target: + grape grape *


Source: Rules: = Y Y X + | Substitutions: X by " blackberry " , Y by " grape "

Target: = grape grape blackberry +


Source: Rules: - Y Z - Z | Substitutions: Y by " penguin blueberry " , Z by " blueberry whale "

Target: - penguin blueberry blueberry whale - blueberry whale


Source: Rules: - Z Z = * | Substitutions: Z by " blackberry penguin "

Target: - blackberry penguin blackberry penguin = *


Source: Rules: - Y Y = = | Substitutions: Y by " shark "

Target: - shark shark = =


Source: Rules: X = Z = | Substitutions: X by " blueberry blueberry " , Z by " stork shark "

Target: blueberry blueberry = stork shark =


Source: Rules: X = Y Y + | Substitutions: X by " banana blackberry " , Y by " whale "

Target: banana blackberry = whale whale +


Source: Rules: = Y - Y Y | Substitutions: Y by " eagle "

Target: = eagle - eagle eagle


Source: Rules: - * X X | Substitutions: X by " horse "

Target: - * horse horse


Source: Rules: - * Z X = | Substitutions: X by " shark blackberry " , Z by " banana "

Target: - * banana shark blackberry =


Source: Rules: - * Z X X = | Substitutions: X by " rat " , Z by " zebra "

Target: - * zebra rat rat =


Source: Rules: Y - Z = = | Substitutions: Y by " blueberry " , Z by " rat "

Target: blueberry - rat = =


Source: Rules: Y Y = * * | Substitutions: Y by " buffalo horse "

Target: buffalo horse buffalo horse = * *


Source: Rules: Y = - X + X | Substitutions: X by " shark " , Y by " shark "

Target: shark = - shark + shark


Source: Rules: X Z + Z - + | Substitutions: X by " kiwi zebra " , Z by " rat "

Target: kiwi zebra rat + rat - +


Source: Rules: = Y Z Y - + | Substitutions: Y by " banana " , Z by " rat whale "

Target: = banana rat whale banana - +


Source: Rules: Z - X Y = | Substitutions: X by " strawberry " , Y by " blueberry blueberry " , Z by " lion stork "

Target: lion stork - strawberry blueberry blueberry =


Source: Rules: Z Y + - + | Substitutions: Y by " cobra shark " , Z by " blackberry horse "

Target: blackberry horse cobra shark + - +


Source: Rules: Y - Y + | Substitutions: Y by " horse kiwi "

Target: horse kiwi - horse kiwi +


Source: Rules: - Y Z X = | Substitutions: X by " penguin grape " , Y by " grape zebra " , Z by " zebra blackberry "

Target: - grape zebra zebra blackberry penguin grape =


Source: Rules: Y Y * - X | Substitutions: X by " whale " , Y by " strawberry "

Target: strawberry strawberry * - whale


Source: Rules: Y X * + X - | Substitutions: X by " lion seal " , Y by " blackberry banana "

Target: blackberry banana lion seal * + lion seal -


Source: Rules: Y X + * Y - | Substitutions: X by " stork whale " , Y by " stork cobra "

Target: stork cobra stork whale + * stork cobra -


Source: Rules: Y X Y * * | Substitutions: X by " strawberry rat " , Y by " buffalo buffalo "

Target: buffalo buffalo strawberry rat buffalo buffalo * *


Source: Rules: Y Y - * + | Substitutions: Y by " lion "

Target: lion lion - * +


Source: Rules: Z - - X - Z | Substitutions: X by " grape grape " , Z by " eagle buffalo "

Target: eagle buffalo - - grape grape - eagle buffalo


Source: Rules: - = Y = Z | Substitutions: Y by " apple penguin " , Z by " pear "

Target: - = apple penguin = pear


Source: Rules: - * Z X + | Substitutions: X by " peach shark " , Z by " blackberry "

Target: - * blackberry peach shark +


Source: Rules: - X Z - | Substitutions: X by " blueberry grape " , Z by " blackberry penguin "

Target: - blueberry grape blackberry penguin -


Source: Rules: + Z - Y Z - | Substitutions: Y by " cobra " , Z by " eagle seal "

Target: + eagle seal - cobra eagle seal -


Source: Rules: + * X Z - Z | Substitutions: X by " banana " , Z by " lion horse "

Target: + * banana lion horse - lion horse


Source: Rules: + X Z * | Substitutions: X by " lion " , Z by " horse "

Target: + lion horse *


Source: Rules: - - Y - X | Substitutions: X by " blueberry " , Y by " peach blackberry "

Target: - - peach blackberry - blueberry


Source: Rules: - = Z X | Substitutions: X by " grape " , Z by " lion "

Target: - = lion grape


Source: Rules: Y = = Y | Substitutions: Y by " shark "

Target: shark = = shark


Source: Rules: Z = + + X X | Substitutions: X by " cobra " , Z by " cobra eagle "

Target: cobra eagle = + + cobra cobra


Source: Rules: + X - Z = X | Substitutions: X by " watermelon " , Z by " lion lion "

Target: + watermelon - lion lion = watermelon


Source: Rules: * Z * Z + | Substitutions: Z by " shark whale "

Target: * shark whale * shark whale +


Source: Rules: = * Z X | Substitutions: X by " zebra " , Z by " whale "

Target: = * whale zebra


Source: Rules: X + X = Z | Substitutions: X by " lion " , Z by " penguin "

Target: lion + lion = penguin


Source: Rules: = + * X Y | Substitutions: X by " eagle whale " , Y by " horse apple "

Target: = + * eagle whale horse apple


Source: Rules: Y Y = = + X | Substitutions: X by " zebra " , Y by " penguin "

Target: penguin penguin = = + zebra


Source: Rules: Z = Y * | Substitutions: Y by " zebra " , Z by " eagle "

Target: eagle = zebra *


Source: Rules: Y * * + Y | Substitutions: Y by " horse "

Target: horse * * + horse


Source: Rules: + X Z + Y | Substitutions: X by " zebra " , Y by " whale " , Z by " eagle "

Target: + zebra eagle + whale


Source: Rules: X * X Z - + | Substitutions: X by " grape " , Z by " peach "

Target: grape * grape peach - +


Source: Rules: X = - Y Z + | Substitutions: X by " lion pear " , Y by " blackberry blueberry " , Z by " pear apple "

Target: lion pear = - blackberry blueberry pear apple +


Source: Rules: = Z * Y * | Substitutions: Y by " rat penguin " , Z by " seal "

Target: = seal * rat penguin *


Source: Rules: + Z + Y + Y | Substitutions: Y by " shark watermelon " , Z by " seal watermelon "

Target: + seal watermelon + shark watermelon + shark watermelon


Source: Rules: - - X Y | Substitutions: X by " strawberry cobra " , Y by " stork peach "

Target: - - strawberry cobra stork peach


Source: Rules: * X = Z Y - | Substitutions: X by " seal " , Y by " stork " , Z by " cobra penguin "

Target: * seal = cobra penguin stork -


Source: Rules: Z + * * Z Z | Substitutions: Z by " stork eagle "

Target: stork eagle + * * stork eagle stork eagle


Source: Rules: Z = X = = | Substitutions: X by " watermelon blueberry " , Z by " shark "

Target: shark = watermelon blueberry = =


Source: Rules: - = X Z Z + | Substitutions: X by " buffalo " , Z by " penguin rat "

Target: - = buffalo penguin rat penguin rat +


Source: Rules: * = Z Y - | Substitutions: Y by " blackberry " , Z by " banana horse "

Target: * = banana horse blackberry -


Source: Rules: + = Z * X | Substitutions: X by " cobra seal " , Z by " penguin pear "

Target: + = penguin pear * cobra seal


Source: Rules: * Z X Z = | Substitutions: X by " banana " , Z by " apple apple "

Target: * apple apple banana apple apple =


Source: Rules: + Y + - X | Substitutions: X by " horse " , Y by " eagle "

Target: + eagle + - horse


Source: Rules: Y X Y = - + | Substitutions: X by " buffalo " , Y by " blueberry "

Target: blueberry buffalo blueberry = - +


Source: Rules: + X * = X | Substitutions: X by " blueberry whale "

Target: + blueberry whale * = blueberry whale


Source: Rules: + Z Y Y = | Substitutions: Y by " penguin penguin " , Z by " watermelon "

Target: + watermelon penguin penguin penguin penguin =


Source: Rules: Z * Y - | Substitutions: Y by " zebra " , Z by " rat peach "

Target: rat peach * zebra -


Source: Rules: Z = X = | Substitutions: X by " whale " , Z by " strawberry "

Target: strawberry = whale =


Source: Rules: * X - - X | Substitutions: X by " lion cobra "

Target: * lion cobra - - lion cobra


Source: Rules: * Y X + X | Substitutions: X by " rat " , Y by " cobra watermelon "

Target: * cobra watermelon rat + rat


Source: Rules: + Z = Y | Substitutions: Y by " blueberry shark " , Z by " grape blueberry "

Target: + grape blueberry = blueberry shark


Source: Rules: * X = Y = | Substitutions: X by " strawberry pear " , Y by " pear lion "

Target: * strawberry pear = pear lion =


Source: Rules: Y * * Y | Substitutions: Y by " kiwi whale "

Target: kiwi whale * * kiwi whale


Source: Rules: Y Y Z = * | Substitutions: Y by " lion grape " , Z by " banana buffalo "

Target: lion grape lion grape banana buffalo = *


Source: Rules: Y - * - Y Y | Substitutions: Y by " watermelon banana "

Target: watermelon banana - * - watermelon banana watermelon banana


Source: Rules: - X Z - * Y | Substitutions: X by " grape " , Y by " peach pear " , Z by " buffalo horse "

Target: - grape buffalo horse - * peach pear


Source: Rules: + Z - = Y | Substitutions: Y by " blackberry " , Z by " blackberry lion "

Target: + blackberry lion - = blackberry


Source: Rules: * + X X | Substitutions: X by " horse rat "

Target: * + horse rat horse rat


Source: Rules: = Z Z X - | Substitutions: X by " strawberry rat " , Z by " eagle peach "

Target: = eagle peach eagle peach strawberry rat -


Source: Rules: - X + Y = | Substitutions: X by " stork zebra " , Y by " cobra whale "

Target: - stork zebra + cobra whale =


Source: Rules: * Z * X | Substitutions: X by " rat penguin " , Z by " stork "

Target: * stork * rat penguin


Source: Rules: = Z Y * = | Substitutions: Y by " blueberry " , Z by " rat "

Target: = rat blueberry * =


Source: Rules: X - X Z + | Substitutions: X by " apple peach " , Z by " blueberry "

Target: apple peach - apple peach blueberry +


Source: Rules: Y = X X * * | Substitutions: X by " banana " , Y by " apple "

Target: apple = banana banana * *


Source: Rules: + Z - X | Substitutions: X by " eagle horse " , Z by " blackberry "

Target: + blackberry - eagle horse


Source: Rules: X * - Y Z - | Substitutions: X by " lion " , Y by " rat " , Z by " grape "

Target: lion * - rat grape -


Source: Rules: X - X - | Substitutions: X by " grape "

Target: grape - grape -


Source: Rules: X = * Y * X | Substitutions: X by " blackberry " , Y by " shark "

Target: blackberry = * shark * blackberry


Source: Rules: + * X Y | Substitutions: X by " cobra " , Y by " strawberry "

Target: + * cobra strawberry


Source: Rules: Z X - * Z | Substitutions: X by " eagle seal " , Z by " buffalo "

Target: buffalo eagle seal - * buffalo


Source: Rules: Y X - Z + * | Substitutions: X by " seal shark " , Y by " zebra grape " , Z by " peach "

Target: zebra grape seal shark - peach + *


Source: Rules: Y Y - * X + | Substitutions: X by " watermelon " , Y by " kiwi watermelon "

Target: kiwi watermelon kiwi watermelon - * watermelon +


Source: Rules: - X Z X = | Substitutions: X by " rat apple " , Z by " peach apple "

Target: - rat apple peach apple rat apple =


Source: Rules: * Z - Z Y | Substitutions: Y by " blueberry rat " , Z by " banana "

Target: * banana - banana blueberry rat


Source: Rules: + = Z X Y | Substitutions: X by " horse kiwi " , Y by " blueberry banana " , Z by " rat cobra "

Target: + = rat cobra horse kiwi blueberry banana


Source: Rules: - + Y X Z = | Substitutions: X by " banana " , Y by " zebra horse " , Z by " lion "

Target: - + zebra horse banana lion =


Source: Rules: + Z X Z = * | Substitutions: X by " blackberry " , Z by " banana "

Target: + banana blackberry banana = *


Source: Rules: Y X - + | Substitutions: X by " pear " , Y by " kiwi blackberry "

Target: kiwi blackberry pear - +


Source: Rules: * + Z Z | Substitutions: Z by " penguin "

Target: * + penguin penguin


Source: Rules: - Y Z X * | Substitutions: X by " banana grape " , Y by " eagle horse " , Z by " lion kiwi "

Target: - eagle horse lion kiwi banana grape *


Source: Rules: Y Y * = = | Substitutions: Y by " cobra grape "

Target: cobra grape cobra grape * = =


Source: Rules: Z * * Z Y | Substitutions: Y by " stork " , Z by " apple blackberry "

Target: apple blackberry * * apple blackberry stork


Source: Rules: Y * Z = - | Substitutions: Y by " penguin whale " , Z by " strawberry stork "

Target: penguin whale * strawberry stork = -


Source: Rules: + Y X Y = - | Substitutions: X by " grape " , Y by " pear "

Target: + pear grape pear = -


Source: Rules: X + - Y | Substitutions: X by " lion " , Y by " penguin "

Target: lion + - penguin


Source: Rules: + * Z * Y | Substitutions: Y by " rat stork " , Z by " strawberry blueberry "

Target: + * strawberry blueberry * rat stork


Source: Rules: = - Y * X | Substitutions: X by " rat " , Y by " rat "

Target: = - rat * rat


Source: Rules: - Z Z + | Substitutions: Z by " kiwi "

Target: - kiwi kiwi +


Source: Rules: = Y X = | Substitutions: X by " strawberry shark " , Y by " lion "

Target: = lion strawberry shark =


Source: Rules: Z Z - = Y | Substitutions: Y by " zebra " , Z by " whale "

Target: whale whale - = zebra


Source: Rules: + + * Z X | Substitutions: X by " seal kiwi " , Z by " eagle "

Target: + + * eagle seal kiwi


Source: Rules: X = Y * X | Substitutions: X by " rat " , Y by " apple lion "

Target: rat = apple lion * rat


Source: Rules: = + Y Y = Z | Substitutions: Y by " pear " , Z by " banana "

Target: = + pear pear = banana


Source: Rules: = X Y X * * | Substitutions: X by " horse " , Y by " shark apple "

Target: = horse shark apple horse * *


Source: Rules: * Y + = Z Z | Substitutions: Y by " horse kiwi " , Z by " buffalo lion "

Target: * horse kiwi + = buffalo lion buffalo lion


Source: Rules: Y Z = Y + | Substitutions: Y by " zebra " , Z by " shark blueberry "

Target: zebra shark blueberry = zebra +


Source: Rules: + Z + X Y | Substitutions: X by " grape " , Y by " watermelon " , Z by " blackberry blueberry "

Target: + blackberry blueberry + grape watermelon


Source: Rules: * * = Y Y | Substitutions: Y by " blackberry rat "

Target: * * = blackberry rat blackberry rat


Source: Rules: - * Y Y Y | Substitutions: Y by " rat "

Target: - * rat rat rat


Source: Rules: - + Y Y | Substitutions: Y by " grape "

Target: - + grape grape


Source: Rules: + - Z Z * | Substitutions: Z by " kiwi "

Target: + - kiwi kiwi *


Source: Rules: X + X = X | Substitutions: X by " grape apple "

Target: grape apple + grape apple = grape apple


Source: Rules: Z * * Y Z | Substitutions: Y by " shark seal " , Z by " pear apple "

Target: pear apple * * shark seal pear apple


Source: Rules: = Y Y + + | Substitutions: Y by " apple grape "

Target: = apple grape apple grape + +


Source: Rules: = + = Y X Y | Substitutions: X by " blueberry " , Y by " horse blueberry "

Target: = + = horse blueberry blueberry horse blueberry


Source: Rules: Y + + Y | Substitutions: Y by " zebra "

Target: zebra + + zebra


Source: Rules: = * X X = | Substitutions: X by " cobra eagle "

Target: = * cobra eagle cobra eagle =


Source: Rules: - Y - X = Y | Substitutions: X by " horse shark " , Y by " strawberry strawberry "

Target: - strawberry strawberry - horse shark = strawberry strawberry


Source: Rules: = Z * Z Z + | Substitutions: Z by " pear penguin "

Target: = pear penguin * pear penguin pear penguin +


Source: Rules: Y - Y * = | Substitutions: Y by " seal "

Target: seal - seal * =


Source: Rules: * * Y Y X | Substitutions: X by " blueberry cobra " , Y by " horse whale "

Target: * * horse whale horse whale blueberry cobra


Source: Rules: Y - X Y * + | Substitutions: X by " rat " , Y by " cobra "

Target: cobra - rat cobra * +


Source: Rules: + Z * - Y | Substitutions: Y by " whale eagle " , Z by " stork eagle "

Target: + stork eagle * - whale eagle


Source: Rules: * * = Z X | Substitutions: X by " cobra " , Z by " blackberry horse "

Target: * * = blackberry horse cobra


Source: Rules: * X - + Z | Substitutions: X by " whale " , Z by " horse apple "

Target: * whale - + horse apple


Source: Rules: * = Z Z + Z | Substitutions: Z by " rat "

Target: * = rat rat + rat


Source: Rules: X + = Z | Substitutions: X by " zebra " , Z by " penguin horse "

Target: zebra + = penguin horse


Source: Rules: - - Z X | Substitutions: X by " lion blackberry " , Z by " seal "

Target: - - seal lion blackberry


Source: Rules: - - Y X + | Substitutions: X by " cobra " , Y by " kiwi grape "

Target: - - kiwi grape cobra +


Source: Rules: X X = - * Z | Substitutions: X by " whale peach " , Z by " zebra strawberry "

Target: whale peach whale peach = - * zebra strawberry


Source: Rules: * Y Z * = | Substitutions: Y by " grape " , Z by " shark blueberry "

Target: * grape shark blueberry * =


Source: Rules: Z Y + X * | Substitutions: X by " seal strawberry " , Y by " eagle " , Z by " lion "

Target: lion eagle + seal strawberry *


Source: Rules: - X - X Z = | Substitutions: X by " eagle blackberry " , Z by " penguin stork "

Target: - eagle blackberry - eagle blackberry penguin stork =


Source: Rules: X = X * | Substitutions: X by " cobra "

Target: cobra = cobra *


Source: Rules: * + X X = | Substitutions: X by " stork zebra "

Target: * + stork zebra stork zebra =


Source: Rules: - Y - * X Z | Substitutions: X by " kiwi buffalo " , Y by " peach " , Z by " watermelon "

Target: - peach - * kiwi buffalo watermelon


Source: Rules: X Z - + | Substitutions: X by " rat " , Z by " peach "

Target: rat peach - +


Source: Rules: X * + Z = | Substitutions: X by " penguin " , Z by " grape peach "

Target: penguin * + grape peach =


Source: Rules: Z X - - + | Substitutions: X by " blackberry grape " , Z by " blueberry "

Target: blueberry blackberry grape - - +


Source: Rules: Z - X X = - | Substitutions: X by " whale " , Z by " seal "

Target: seal - whale whale = -


Source: Rules: = - - X Z X | Substitutions: X by " grape " , Z by " peach horse "

Target: = - - grape peach horse grape


Source: Rules: - * + Z Z | Substitutions: Z by " whale "

Target: - * + whale whale


Source: Rules: * X X + | Substitutions: X by " whale zebra "

Target: * whale zebra whale zebra +


Source: Rules: X + + X | Substitutions: X by " horse apple "

Target: horse apple + + horse apple


Source: Rules: - Z X + - | Substitutions: X by " buffalo rat " , Z by " banana apple "

Target: - banana apple buffalo rat + -


Source: Rules: Y = Y * | Substitutions: Y by " shark "

Target: shark = shark *


Source: Rules: - Z - Y Y + | Substitutions: Y by " blackberry apple " , Z by " peach kiwi "

Target: - peach kiwi - blackberry apple blackberry apple +


Source: Rules: Y Z * + | Substitutions: Y by " banana penguin " , Z by " pear banana "

Target: banana penguin pear banana * +


Source: Rules: - Z Z + X | Substitutions: X by " horse " , Z by " peach "

Target: - peach peach + horse


Source: Rules: X - Z Z - | Substitutions: X by " cobra " , Z by " shark cobra "

Target: cobra - shark cobra shark cobra -


Source: Rules: Y + X = * | Substitutions: X by " zebra " , Y by " kiwi blackberry "

Target: kiwi blackberry + zebra = *


Source: Rules: - Y * Y | Substitutions: Y by " kiwi lion "

Target: - kiwi lion * kiwi lion


Source: Rules: = Z - Z X + | Substitutions: X by " stork " , Z by " whale rat "

Target: = whale rat - whale rat stork +


Source: Rules: - - Y Z * Z | Substitutions: Y by " seal " , Z by " stork "

Target: - - seal stork * stork


Source: Rules: Y + X Y = - | Substitutions: X by " banana kiwi " , Y by " rat blueberry "

Target: rat blueberry + banana kiwi rat blueberry = -


Source: Rules: Z - Z = | Substitutions: Z by " blackberry "

Target: blackberry - blackberry =


Source: Rules: X Z + = * Y | Substitutions: X by " blueberry " , Y by " horse " , Z by " buffalo buffalo "

Target: blueberry buffalo buffalo + = * horse


Source: Rules: * + Z Y X | Substitutions: X by " zebra " , Y by " watermelon banana " , Z by " stork "

Target: * + stork watermelon banana zebra


Source: Rules: Z Y + = Y | Substitutions: Y by " banana watermelon " , Z by " eagle "

Target: eagle banana watermelon + = banana watermelon


Source: Rules: Y = X * = | Substitutions: X by " whale " , Y by " seal "

Target: seal = whale * =


Source: Rules: - Z Z - | Substitutions: Z by " banana "

Target: - banana banana -


Source: Rules: Y Y = - = | Substitutions: Y by " cobra "

Target: cobra cobra = - =


Source: Rules: * X Z + X | Substitutions: X by " horse " , Z by " seal "

Target: * horse seal + horse


Source: Rules: X = X + + | Substitutions: X by " cobra "

Target: cobra = cobra + +


Source: Rules: = * Y Z Z | Substitutions: Y by " eagle blackberry " , Z by " grape banana "

Target: = * eagle blackberry grape banana grape banana


Source: Rules: Y Z * * | Substitutions: Y by " eagle " , Z by " shark "

Target: eagle shark * *


Source: Rules: Y + * X | Substitutions: X by " pear eagle " , Y by " strawberry "

Target: strawberry + * pear eagle


Source: Rules: Z = X * Z | Substitutions: X by " banana " , Z by " watermelon peach "

Target: watermelon peach = banana * watermelon peach


Source: Rules: + X - Y + | Substitutions: X by " strawberry buffalo " , Y by " seal "

Target: + strawberry buffalo - seal +


Source: Rules: - X - * X Z | Substitutions: X by " strawberry apple " , Z by " zebra pear "

Target: - strawberry apple - * strawberry apple zebra pear


Source: Rules: - X Z + | Substitutions: X by " strawberry " , Z by " eagle lion "

Target: - strawberry eagle lion +


Source: Rules: + Z X + | Substitutions: X by " horse pear " , Z by " lion "

Target: + lion horse pear +


Source: Rules: Z = X * | Substitutions: X by " pear penguin " , Z by " rat "

Target: rat = pear penguin *


Source: Rules: + + Y * Y Y | Substitutions: Y by " whale "

Target: + + whale * whale whale


Source: Rules: Z X Y = * | Substitutions: X by " whale zebra " , Y by " horse penguin " , Z by " grape "

Target: grape whale zebra horse penguin = *


Source: Rules: = X Y = Y | Substitutions: X by " stork shark " , Y by " blueberry apple "

Target: = stork shark blueberry apple = blueberry apple


Source: Rules: X = = - Z X | Substitutions: X by " grape shark " , Z by " peach "

Target: grape shark = = - peach grape shark


Source: Rules: * + Y X Y - | Substitutions: X by " buffalo " , Y by " rat "

Target: * + rat buffalo rat -


Source: Rules: X = X Y + + | Substitutions: X by " whale grape " , Y by " kiwi "

Target: whale grape = whale grape kiwi + +


Source: Rules: Y + - Y = Y | Substitutions: Y by " stork "

Target: stork + - stork = stork


Source: Rules: Z + Z + - Y | Substitutions: Y by " zebra " , Z by " grape "

Target: grape + grape + - zebra


Source: Rules: * Z X X + | Substitutions: X by " grape " , Z by " strawberry "

Target: * strawberry grape grape +


Source: Rules: - Z Y + | Substitutions: Y by " eagle horse " , Z by " blackberry stork "

Target: - blackberry stork eagle horse +


Source: Rules: X * Z + - | Substitutions: X by " rat shark " , Z by " lion "

Target: rat shark * lion + -


Source: Rules: + = X X | Substitutions: X by " blackberry kiwi "

Target: + = blackberry kiwi blackberry kiwi


Source: Rules: * - Y X X | Substitutions: X by " horse pear " , Y by " blackberry "

Target: * - blackberry horse pear horse pear


Source: Rules: + Z Y = | Substitutions: Y by " cobra " , Z by " horse stork "

Target: + horse stork cobra =


Source: Rules: - + X = Z Y | Substitutions: X by " stork " , Y by " watermelon " , Z by " grape horse "

Target: - + stork = grape horse watermelon


Source: Rules: = = - Y X | Substitutions: X by " stork rat " , Y by " grape "

Target: = = - grape stork rat


Source: Rules: = - Z Y - Z | Substitutions: Y by " buffalo " , Z by " peach penguin "

Target: = - peach penguin buffalo - peach penguin


Source: Rules: X * Y + | Substitutions: X by " watermelon cobra " , Y by " grape "

Target: watermelon cobra * grape +


Source: Rules: + X Z Z * | Substitutions: X by " cobra " , Z by " blackberry banana "

Target: + cobra blackberry banana blackberry banana *


Source: Rules: - + + Y X | Substitutions: X by " rat shark " , Y by " rat penguin "

Target: - + + rat penguin rat shark


Source: Rules: X Y - + | Substitutions: X by " seal " , Y by " banana blackberry "

Target: seal banana blackberry - +


Source: Rules: X Y Y + + | Substitutions: X by " blueberry blueberry " , Y by " pear peach "

Target: blueberry blueberry pear peach pear peach + +


Source: Rules: * X X = Z * | Substitutions: X by " eagle " , Z by " pear "

Target: * eagle eagle = pear *


Source: Rules: Z - = Y Y - | Substitutions: Y by " shark watermelon " , Z by " banana "

Target: banana - = shark watermelon shark watermelon -


Source: Rules: + Y = Z - | Substitutions: Y by " rat " , Z by " pear "

Target: + rat = pear -


Source: Rules: = Y - - X | Substitutions: X by " watermelon rat " , Y by " shark watermelon "

Target: = shark watermelon - - watermelon rat


Source: Rules: - Y Z * | Substitutions: Y by " apple " , Z by " horse "

Target: - apple horse *


Source: Rules: Y + - - X | Substitutions: X by " shark " , Y by " grape "

Target: grape + - - shark


Source: Rules: Z Y + = Z | Substitutions: Y by " banana buffalo " , Z by " eagle "

Target: eagle banana buffalo + = eagle


Source: Rules: * * X X * | Substitutions: X by " eagle "

Target: * * eagle eagle *


Source: Rules: + = * Z Y | Substitutions: Y by " whale " , Z by " seal pear "

Target: + = * seal pear whale


Source: Rules: Y Z Y - + | Substitutions: Y by " kiwi watermelon " , Z by " whale "

Target: kiwi watermelon whale kiwi watermelon - +


Source: Rules: - + Z Y Z = | Substitutions: Y by " seal kiwi " , Z by " shark "

Target: - + shark seal kiwi shark =


Source: Rules: Z - = Y + | Substitutions: Y by " cobra peach " , Z by " rat apple "

Target: rat apple - = cobra peach +


Source: Rules: - = Z X | Substitutions: X by " strawberry seal " , Z by " penguin grape "

Target: - = penguin grape strawberry seal


Source: Rules: + * Z Y | Substitutions: Y by " stork watermelon " , Z by " kiwi watermelon "

Target: + * kiwi watermelon stork watermelon


Source: Rules: Z = - Y * Z | Substitutions: Y by " blackberry kiwi " , Z by " eagle seal "

Target: eagle seal = - blackberry kiwi * eagle seal


Source: Rules: = X + Y Y | Substitutions: X by " zebra strawberry " , Y by " peach "

Target: = zebra strawberry + peach peach


Source: Rules: X X Y - + * | Substitutions: X by " apple " , Y by " blueberry peach "

Target: apple apple blueberry peach - + *


Source: Rules: = X Y Y - | Substitutions: X by " grape buffalo " , Y by " blueberry apple "

Target: = grape buffalo blueberry apple blueberry apple -


Source: Rules: * X X - | Substitutions: X by " apple rat "

Target: * apple rat apple rat -


Source: Rules: Z * - Z * | Substitutions: Z by " strawberry "

Target: strawberry * - strawberry *


Source: Rules: - - - X Z | Substitutions: X by " pear horse " , Z by " grape "

Target: - - - pear horse grape


Source: Rules: Y Z + Y - | Substitutions: Y by " pear peach " , Z by " stork "

Target: pear peach stork + pear peach -


Source: Rules: X + + Y + | Substitutions: X by " buffalo " , Y by " zebra "

Target: buffalo + + zebra +


Source: Rules: + Z * X | Substitutions: X by " buffalo " , Z by " peach "

Target: + peach * buffalo


Source: Rules: + - Y X + Z | Substitutions: X by " blueberry pear " , Y by " lion rat " , Z by " buffalo "

Target: + - lion rat blueberry pear + buffalo


Source: Rules: Z Z X + + | Substitutions: X by " buffalo cobra " , Z by " banana "

Target: banana banana buffalo cobra + +


Source: Rules: = = Z Y X + | Substitutions: X by " zebra blackberry " , Y by " lion " , Z by " grape blueberry "

Target: = = grape blueberry lion zebra blackberry +


Source: Rules: - X Z * | Substitutions: X by " rat " , Z by " banana "

Target: - rat banana *


Source: Rules: Z = + X | Substitutions: X by " blackberry lion " , Z by " buffalo "

Target: buffalo = + blackberry lion


Source: Rules: Z = = + X | Substitutions: X by " seal " , Z by " cobra blueberry "

Target: cobra blueberry = = + seal


Source: Rules: + Y - Y | Substitutions: Y by " peach "

Target: + peach - peach


Source: Rules: Z * * Z | Substitutions: Z by " penguin strawberry "

Target: penguin strawberry * * penguin strawberry


Source: Rules: X = X = Y | Substitutions: X by " watermelon buffalo " , Y by " pear lion "

Target: watermelon buffalo = watermelon buffalo = pear lion


Source: Rules: X - + Y | Substitutions: X by " lion " , Y by " kiwi peach "

Target: lion - + kiwi peach


Source: Rules: + X X X = | Substitutions: X by " whale blueberry "

Target: + whale blueberry whale blueberry whale blueberry =


Source: Rules: X - Z Z + | Substitutions: X by " penguin " , Z by " banana buffalo "

Target: penguin - banana buffalo banana buffalo +


Source: Rules: + Z = Y Z | Substitutions: Y by " eagle zebra " , Z by " shark seal "

Target: + shark seal = eagle zebra shark seal


Source: Rules: Z Z * - = Z | Substitutions: Z by " strawberry horse "

Target: strawberry horse strawberry horse * - = strawberry horse


Source: Rules: * + X X + X | Substitutions: X by " zebra "

Target: * + zebra zebra + zebra


Source: Rules: Z = Y + Z - | Substitutions: Y by " stork eagle " , Z by " penguin strawberry "

Target: penguin strawberry = stork eagle + penguin strawberry -


Source: Rules: Z Z - + - | Substitutions: Z by " eagle "

Target: eagle eagle - + -


Source: Rules: Z X = X - - | Substitutions: X by " pear apple " , Z by " kiwi "

Target: kiwi pear apple = pear apple - -


Source: Rules: Y Y Y + - = | Substitutions: Y by " grape pear "

Target: grape pear grape pear grape pear + - =


Source: Rules: = X = Z + X | Substitutions: X by " blackberry apple " , Z by " rat blackberry "

Target: = blackberry apple = rat blackberry + blackberry apple


Source: Rules: Y + Z + - | Substitutions: Y by " kiwi eagle " , Z by " strawberry pear "

Target: kiwi eagle + strawberry pear + -


Source: Rules: Y * Y Y - | Substitutions: Y by " watermelon pear "

Target: watermelon pear * watermelon pear watermelon pear -


Source: Rules: + Z X - Z | Substitutions: X by " stork " , Z by " seal "

Target: + seal stork - seal


Source: Rules: - X + Y + | Substitutions: X by " seal kiwi " , Y by " horse "

Target: - seal kiwi + horse +


Source: Rules: X - X Y * | Substitutions: X by " blackberry " , Y by " apple "

Target: blackberry - blackberry apple *


Source: Rules: - X * Y | Substitutions: X by " pear grape " , Y by " zebra "

Target: - pear grape * zebra


Source: Rules: Z - X Z - | Substitutions: X by " shark kiwi " , Z by " horse grape "

Target: horse grape - shark kiwi horse grape -


Source: Rules: - + Y Z | Substitutions: Y by " buffalo banana " , Z by " watermelon blackberry "

Target: - + buffalo banana watermelon blackberry


Source: Rules: X + Y = Z - | Substitutions: X by " apple " , Y by " seal seal " , Z by " seal "

Target: apple + seal seal = seal -


Source: Rules: + = X X - | Substitutions: X by " rat "

Target: + = rat rat -


Source: Rules: X - Z * Z | Substitutions: X by " blackberry penguin " , Z by " stork "

Target: blackberry penguin - stork * stork


Source: Rules: * + X - X Y | Substitutions: X by " grape rat " , Y by " strawberry rat "

Target: * + grape rat - grape rat strawberry rat


Source: Rules: Z Z * + Z | Substitutions: Z by " lion grape "

Target: lion grape lion grape * + lion grape


Source: Rules: * - X X Z | Substitutions: X by " lion lion " , Z by " shark "

Target: * - lion lion lion lion shark


Source: Rules: - + X Y + | Substitutions: X by " shark " , Y by " lion watermelon "

Target: - + shark lion watermelon +


Source: Rules: X X * + | Substitutions: X by " grape rat "

Target: grape rat grape rat * +


Source: Rules: = Z + Y | Substitutions: Y by " peach " , Z by " blueberry "

Target: = blueberry + peach


Source: Rules: * Y Y * | Substitutions: Y by " zebra kiwi "

Target: * zebra kiwi zebra kiwi *


Source: Rules: = Y * X X | Substitutions: X by " seal whale " , Y by " whale blackberry "

Target: = whale blackberry * seal whale seal whale


Source: Rules: Z = + Y = | Substitutions: Y by " cobra " , Z by " seal zebra "

Target: seal zebra = + cobra =


Source: Rules: Y * X = + Z | Substitutions: X by " buffalo lion " , Y by " cobra " , Z by " watermelon "

Target: cobra * buffalo lion = + watermelon


Source: Rules: Y * = X Y | Substitutions: X by " kiwi peach " , Y by " blackberry "

Target: blackberry * = kiwi peach blackberry


Source: Rules: X Y + - Y | Substitutions: X by " eagle watermelon " , Y by " grape "

Target: eagle watermelon grape + - grape


Source: Rules: Y = X Y - | Substitutions: X by " horse apple " , Y by " blackberry grape "

Target: blackberry grape = horse apple blackberry grape -


Source: Rules: Z X = = | Substitutions: X by " pear " , Z by " kiwi blueberry "

Target: kiwi blueberry pear = =


Source: Rules: - = Y * X | Substitutions: X by " stork seal " , Y by " buffalo cobra "

Target: - = buffalo cobra * stork seal


Source: Rules: Z Y - + | Substitutions: Y by " strawberry peach " , Z by " eagle cobra "

Target: eagle cobra strawberry peach - +


Source: Rules: Y = Y Z - = | Substitutions: Y by " lion pear " , Z by " strawberry "

Target: lion pear = lion pear strawberry - =


Source: Rules: Y Y * - | Substitutions: Y by " stork pear "

Target: stork pear stork pear * -


Source: Rules: Z Z - Z * + | Substitutions: Z by " apple "

Target: apple apple - apple * +


Source: Rules: * * Z X Y + | Substitutions: X by " whale " , Y by " blueberry strawberry " , Z by " lion "

Target: * * lion whale blueberry strawberry +


Source: Rules: - Y Y * | Substitutions: Y by " blackberry "

Target: - blackberry blackberry *


Source: Rules: X X + * X | Substitutions: X by " whale pear "

Target: whale pear whale pear + * whale pear


Source: Rules: Y Z Z * * + | Substitutions: Y by " banana pear " , Z by " seal "

Target: banana pear seal seal * * +


Source: Rules: = * X X Y | Substitutions: X by " apple buffalo " , Y by " blackberry "

Target: = * apple buffalo apple buffalo blackberry


Source: Rules: + Z + Y X | Substitutions: X by " buffalo " , Y by " horse kiwi " , Z by " peach "

Target: + peach + horse kiwi buffalo


Source: Rules: * Z Z = Y | Substitutions: Y by " whale " , Z by " pear "

Target: * pear pear = whale


Source: Rules: = X Z X * | Substitutions: X by " whale peach " , Z by " blueberry strawberry "

Target: = whale peach blueberry strawberry whale peach *


Source: Rules: = Z Y - | Substitutions: Y by " pear penguin " , Z by " apple "

Target: = apple pear penguin -


Source: Rules: * Y * + X X | Substitutions: X by " buffalo " , Y by " eagle "

Target: * eagle * + buffalo buffalo


Source: Rules: Y X - = + | Substitutions: X by " shark " , Y by " blueberry "

Target: blueberry shark - = +


Source: Rules: = Z - Y = | Substitutions: Y by " lion " , Z by " watermelon horse "

Target: = watermelon horse - lion =


Source: Rules: Y X Y + - | Substitutions: X by " rat lion " , Y by " watermelon kiwi "

Target: watermelon kiwi rat lion watermelon kiwi + -


Source: Rules: * Z Z * | Substitutions: Z by " cobra "

Target: * cobra cobra *


Source: Rules: * - X = X | Substitutions: X by " blackberry "

Target: * - blackberry = blackberry


Source: Rules: X + = X = | Substitutions: X by " grape buffalo "

Target: grape buffalo + = grape buffalo =


Source: Rules: Y Z Z - - | Substitutions: Y by " buffalo " , Z by " watermelon penguin "

Target: buffalo watermelon penguin watermelon penguin - -


Source: Rules: X Z - - * | Substitutions: X by " strawberry " , Z by " horse stork "

Target: strawberry horse stork - - *


Source: Rules: Y - + X | Substitutions: X by " zebra stork " , Y by " blueberry penguin "

Target: blueberry penguin - + zebra stork


Source: Rules: * Z + * Z | Substitutions: Z by " watermelon "

Target: * watermelon + * watermelon


Source: Rules: = Z X + - Z | Substitutions: X by " banana eagle " , Z by " seal "

Target: = seal banana eagle + - seal


Source: Rules: Y - = Z | Substitutions: Y by " pear " , Z by " banana pear "

Target: pear - = banana pear


Source: Rules: + X - Z Z + | Substitutions: X by " peach " , Z by " rat peach "

Target: + peach - rat peach rat peach +


Source: Rules: X * X - + | Substitutions: X by " watermelon blueberry "

Target: watermelon blueberry * watermelon blueberry - +


Source: Rules: Y * Z X = | Substitutions: X by " rat peach " , Y by " cobra stork " , Z by " stork "

Target: cobra stork * stork rat peach =


Source: Rules: = = X X | Substitutions: X by " peach "

Target: = = peach peach


Source: Rules: = X Z * | Substitutions: X by " kiwi " , Z by " rat zebra "

Target: = kiwi rat zebra *


Source: Rules: - Y = X * | Substitutions: X by " peach cobra " , Y by " eagle "

Target: - eagle = peach cobra *


Source: Rules: + Z - Z Y | Substitutions: Y by " pear " , Z by " zebra "

Target: + zebra - zebra pear


Source: Rules: Z X Z * - = | Substitutions: X by " zebra " , Z by " grape "

Target: grape zebra grape * - =


Source: Rules: * - X X | Substitutions: X by " banana watermelon "

Target: * - banana watermelon banana watermelon


Source: Rules: - + Z * Z | Substitutions: Z by " horse "

Target: - + horse * horse


Source: Rules: + Z Z - | Substitutions: Z by " watermelon banana "

Target: + watermelon banana watermelon banana -


Source: Rules: - = + Y X Z | Substitutions: X by " peach " , Y by " watermelon " , Z by " blackberry "

Target: - = + watermelon peach blackberry


Source: Rules: - * Y Z X + | Substitutions: X by " whale " , Y by " blackberry zebra " , Z by " kiwi "

Target: - * blackberry zebra kiwi whale +


Source: Rules: * Y + X Y - | Substitutions: X by " pear whale " , Y by " blueberry "

Target: * blueberry + pear whale blueberry -


Source: Rules: X = * - Z Y | Substitutions: X by " seal " , Y by " pear " , Z by " apple watermelon "

Target: seal = * - apple watermelon pear


Source: Rules: X Z = + - | Substitutions: X by " apple watermelon " , Z by " blueberry "

Target: apple watermelon blueberry = + -


Source: Rules: Y = X + X * | Substitutions: X by " strawberry pear " , Y by " zebra seal "

Target: zebra seal = strawberry pear + strawberry pear *


Source: Rules: X * + X Y | Substitutions: X by " peach blackberry " , Y by " watermelon zebra "

Target: peach blackberry * + peach blackberry watermelon zebra


Source: Rules: Z Y - = - | Substitutions: Y by " banana " , Z by " shark "

Target: shark banana - = -


Source: Rules: - Z - Y | Substitutions: Y by " pear " , Z by " horse apple "

Target: - horse apple - pear


Source: Rules: + Y * Y Z | Substitutions: Y by " grape penguin " , Z by " horse "

Target: + grape penguin * grape penguin horse


Source: Rules: + X Z * + | Substitutions: X by " stork " , Z by " penguin watermelon "

Target: + stork penguin watermelon * +


Source: Rules: Y * X Z - | Substitutions: X by " strawberry " , Y by " lion " , Z by " horse "

Target: lion * strawberry horse -


Source: Rules: * - Y Y - | Substitutions: Y by " whale "

Target: * - whale whale -


Source: Rules: * Z + Y | Substitutions: Y by " grape " , Z by " rat "

Target: * rat + grape


Source: Rules: - + * Y X Z | Substitutions: X by " pear kiwi " , Y by " peach stork " , Z by " apple blackberry "

Target: - + * peach stork pear kiwi apple blackberry


Source: Rules: + Z X * = | Substitutions: X by " horse " , Z by " lion shark "

Target: + lion shark horse * =


Source: Rules: - = + X X | Substitutions: X by " pear penguin "

Target: - = + pear penguin pear penguin


Source: Rules: = X + X = | Substitutions: X by " kiwi grape "

Target: = kiwi grape + kiwi grape =


Source: Rules: + Z Y = | Substitutions: Y by " banana seal " , Z by " lion grape "

Target: + lion grape banana seal =


Source: Rules: Z X * = | Substitutions: X by " buffalo " , Z by " shark "

Target: shark buffalo * =


Source: Rules: - = X = Z | Substitutions: X by " grape blackberry " , Z by " strawberry peach "

Target: - = grape blackberry = strawberry peach


Source: Rules: X * Z * Z | Substitutions: X by " horse peach " , Z by " kiwi strawberry "

Target: horse peach * kiwi strawberry * kiwi strawberry


Source: Rules: + * Y = Z | Substitutions: Y by " shark " , Z by " pear "

Target: + * shark = pear


Source: Rules: - + X Y Z | Substitutions: X by " apple buffalo " , Y by " penguin " , Z by " whale "

Target: - + apple buffalo penguin whale


Source: Rules: Z Y + - = | Substitutions: Y by " lion " , Z by " pear "

Target: pear lion + - =


Source: Rules: Z Z * - * | Substitutions: Z by " shark grape "

Target: shark grape shark grape * - *


Source: Rules: + * X Z | Substitutions: X by " rat banana " , Z by " blackberry "

Target: + * rat banana blackberry


Source: Rules: Z = = Y Z | Substitutions: Y by " eagle lion " , Z by " horse "

Target: horse = = eagle lion horse


Source: Rules: Y + * X | Substitutions: X by " pear " , Y by " blueberry "

Target: blueberry + * pear


Source: Rules: Y + = X Y | Substitutions: X by " whale " , Y by " horse "

Target: horse + = whale horse


Source: Rules: = - = Z Y | Substitutions: Y by " buffalo " , Z by " peach "

Target: = - = peach buffalo


Source: Rules: X Z + + | Substitutions: X by " stork " , Z by " kiwi "

Target: stork kiwi + +


Source: Rules: - * - X Y | Substitutions: X by " rat " , Y by " rat horse "

Target: - * - rat rat horse


Source: Rules: Y - * Z | Substitutions: Y by " zebra cobra " , Z by " shark "

Target: zebra cobra - * shark


Source: Rules: X Y = X * = | Substitutions: X by " whale " , Y by " cobra "

Target: whale cobra = whale * =


Source: Rules: X X Z * * | Substitutions: X by " cobra " , Z by " blueberry cobra "

Target: cobra cobra blueberry cobra * *


Source: Rules: X + - Y + | Substitutions: X by " stork " , Y by " blackberry banana "

Target: stork + - blackberry banana +


Source: Rules: - X Z * - | Substitutions: X by " zebra stork " , Z by " lion strawberry "

Target: - zebra stork lion strawberry * -


Source: Rules: - + Y Z | Substitutions: Y by " strawberry " , Z by " apple "

Target: - + strawberry apple


Source: Rules: + + Z + Z | Substitutions: Z by " zebra kiwi "

Target: + + zebra kiwi + zebra kiwi


Source: Rules: X * Z Z - | Substitutions: X by " blueberry " , Z by " strawberry horse "

Target: blueberry * strawberry horse strawberry horse -


Source: Rules: * = * Y Y | Substitutions: Y by " penguin strawberry "

Target: * = * penguin strawberry penguin strawberry


Source: Rules: = Z + - X | Substitutions: X by " horse zebra " , Z by " kiwi watermelon "

Target: = kiwi watermelon + - horse zebra


Source: Rules: X - Y + | Substitutions: X by " peach " , Y by " banana peach "

Target: peach - banana peach +


Source: Rules: - * + Y X | Substitutions: X by " cobra " , Y by " seal "

Target: - * + seal cobra


Source: Rules: Y * - X + | Substitutions: X by " penguin " , Y by " lion "

Target: lion * - penguin +


Source: Rules: = Y Z * | Substitutions: Y by " eagle blueberry " , Z by " pear stork "

Target: = eagle blueberry pear stork *


Source: Rules: Y Y Z - = | Substitutions: Y by " eagle " , Z by " pear blueberry "

Target: eagle eagle pear blueberry - =


Source: Rules: - X Z * X * | Substitutions: X by " kiwi " , Z by " horse shark "

Target: - kiwi horse shark * kiwi *


Source: Rules: X X = X + + | Substitutions: X by " kiwi "

Target: kiwi kiwi = kiwi + +


Source: Rules: X X + + | Substitutions: X by " watermelon horse "

Target: watermelon horse watermelon horse + +


Source: Rules: - Z - = Z | Substitutions: Z by " banana "

Target: - banana - = banana


Source: Rules: Z + Y - Z | Substitutions: Y by " pear blueberry " , Z by " blueberry apple "

Target: blueberry apple + pear blueberry - blueberry apple


Source: Rules: - Y - Z * | Substitutions: Y by " blueberry penguin " , Z by " blueberry kiwi "

Target: - blueberry penguin - blueberry kiwi *


Source: Rules: + Y - X X | Substitutions: X by " peach strawberry " , Y by " seal rat "

Target: + seal rat - peach strawberry peach strawberry


Source: Rules: - X X - | Substitutions: X by " lion "

Target: - lion lion -


Source: Rules: Z + X Y * | Substitutions: X by " blackberry peach " , Y by " eagle " , Z by " buffalo "

Target: buffalo + blackberry peach eagle *


Source: Rules: * Z Y * + Z | Substitutions: Y by " whale watermelon " , Z by " strawberry blackberry "

Target: * strawberry blackberry whale watermelon * + strawberry blackberry


Source: Rules: - Y Z * | Substitutions: Y by " cobra apple " , Z by " kiwi "

Target: - cobra apple kiwi *


Source: Rules: Z - - X X | Substitutions: X by " seal " , Z by " watermelon apple "

Target: watermelon apple - - seal seal


Source: Rules: Z * = Z | Substitutions: Z by " grape grape "

Target: grape grape * = grape grape


Source: Rules: = Y - X + | Substitutions: X by " buffalo grape " , Y by " pear banana "

Target: = pear banana - buffalo grape +


Source: Rules: - = X X + | Substitutions: X by " blackberry apple "

Target: - = blackberry apple blackberry apple +


Source: Rules: X + Y * + | Substitutions: X by " stork rat " , Y by " strawberry "

Target: stork rat + strawberry * +


Source: Rules: + X * Z Y | Substitutions: X by " lion peach " , Y by " apple " , Z by " eagle "

Target: + lion peach * eagle apple


Source: Rules: * X Y = * Y | Substitutions: X by " watermelon " , Y by " apple kiwi "

Target: * watermelon apple kiwi = * apple kiwi


Source: Rules: Z X = = | Substitutions: X by " stork cobra " , Z by " eagle blackberry "

Target: eagle blackberry stork cobra = =


Source: Rules: - X Y = + Z | Substitutions: X by " buffalo horse " , Y by " seal grape " , Z by " grape grape "

Target: - buffalo horse seal grape = + grape grape


Source: Rules: = Z X Y = * | Substitutions: X by " rat eagle " , Y by " rat rat " , Z by " pear apple "

Target: = pear apple rat eagle rat rat = *


Source: Rules: X X = * = | Substitutions: X by " rat lion "

Target: rat lion rat lion = * =


Source: Rules: Y = Y = | Substitutions: Y by " seal banana "

Target: seal banana = seal banana =


Source: Rules: Z + X * | Substitutions: X by " peach strawberry " , Z by " apple blueberry "

Target: apple blueberry + peach strawberry *


Source: Rules: X + * Y | Substitutions: X by " strawberry shark " , Y by " penguin lion "

Target: strawberry shark + * penguin lion


Source: Rules: = Y X Z = - | Substitutions: X by " shark buffalo " , Y by " shark " , Z by " watermelon "

Target: = shark shark buffalo watermelon = -


Source: Rules: X = Y * Z = | Substitutions: X by " grape blackberry " , Y by " shark horse " , Z by " eagle watermelon "

Target: grape blackberry = shark horse * eagle watermelon =


Source: Rules: X Y - * * | Substitutions: X by " blueberry " , Y by " stork "

Target: blueberry stork - * *


Source: Rules: = - Z Z * X | Substitutions: X by " banana " , Z by " banana "

Target: = - banana banana * banana


Source: Rules: Z Z * + - | Substitutions: Z by " seal shark "

Target: seal shark seal shark * + -


Source: Rules: * X Z = + | Substitutions: X by " apple " , Z by " watermelon grape "

Target: * apple watermelon grape = +


Source: Rules: * - * X X | Substitutions: X by " blackberry "

Target: * - * blackberry blackberry


Source: Rules: X = - Y + | Substitutions: X by " rat blueberry " , Y by " pear "

Target: rat blueberry = - pear +


Source: Rules: Y - Y - Z - | Substitutions: Y by " zebra " , Z by " kiwi rat "

Target: zebra - zebra - kiwi rat -


Source: Rules: X Z = Y + - | Substitutions: X by " whale " , Y by " cobra banana " , Z by " zebra "

Target: whale zebra = cobra banana + -


Source: Rules: Y = Z X = | Substitutions: X by " blueberry " , Y by " rat shark " , Z by " eagle "

Target: rat shark = eagle blueberry =


Source: Rules: * X Y * | Substitutions: X by " eagle " , Y by " shark shark "

Target: * eagle shark shark *


Source: Rules: + Y X + | Substitutions: X by " eagle " , Y by " eagle buffalo "

Target: + eagle buffalo eagle +


Source: Rules: * = X X + | Substitutions: X by " seal strawberry "

Target: * = seal strawberry seal strawberry +


Source: Rules: Y Y - + - | Substitutions: Y by " apple "

Target: apple apple - + -


Source: Rules: Z + = Y | Substitutions: Y by " horse " , Z by " blueberry seal "

Target: blueberry seal + = horse


Source: Rules: = * Y Z | Substitutions: Y by " strawberry watermelon " , Z by " blueberry "

Target: = * strawberry watermelon blueberry


Source: Rules: + Z X * | Substitutions: X by " grape whale " , Z by " kiwi "

Target: + kiwi grape whale *


Source: Rules: Y = - Z Y | Substitutions: Y by " cobra grape " , Z by " whale banana "

Target: cobra grape = - whale banana cobra grape


Source: Rules: + Z - - X X | Substitutions: X by " pear " , Z by " stork eagle "

Target: + stork eagle - - pear pear


Source: Rules: * Z * * X | Substitutions: X by " watermelon " , Z by " stork "

Target: * stork * * watermelon


Source: Rules: Y X - + - | Substitutions: X by " rat peach " , Y by " zebra "

Target: zebra rat peach - + -


Source: Rules: Y Z * - | Substitutions: Y by " shark " , Z by " rat "

Target: shark rat * -


Source: Rules: Y X + - * | Substitutions: X by " pear buffalo " , Y by " kiwi rat "

Target: kiwi rat pear buffalo + - *


Source: Rules: Y X + + = Z | Substitutions: X by " apple " , Y by " peach watermelon " , Z by " blueberry "

Target: peach watermelon apple + + = blueberry


Source: Rules: + Y + Z X | Substitutions: X by " grape " , Y by " banana pear " , Z by " watermelon kiwi "

Target: + banana pear + watermelon kiwi grape


Source: Rules: X Z X * * | Substitutions: X by " buffalo " , Z by " rat "

Target: buffalo rat buffalo * *


Source: Rules: = Y Y Z * | Substitutions: Y by " apple " , Z by " penguin "

Target: = apple apple penguin *


Source: Rules: * Y + * Z | Substitutions: Y by " watermelon seal " , Z by " blueberry blackberry "

Target: * watermelon seal + * blueberry blackberry


Source: Rules: Z X + * = Y | Substitutions: X by " whale blackberry " , Y by " rat seal " , Z by " banana pear "

Target: banana pear whale blackberry + * = rat seal


Source: Rules: X - Y Y = * | Substitutions: X by " horse seal " , Y by " stork "

Target: horse seal - stork stork = *


Source: Rules: Z - = Y | Substitutions: Y by " blueberry " , Z by " buffalo grape "

Target: buffalo grape - = blueberry


Source: Rules: * - X X | Substitutions: X by " grape buffalo "

Target: * - grape buffalo grape buffalo


Source: Rules: = + Y = Y | Substitutions: Y by " whale horse "

Target: = + whale horse = whale horse


Source: Rules: - Y X X * | Substitutions: X by " grape " , Y by " peach "

Target: - peach grape grape *


Source: Rules: - Y Z - | Substitutions: Y by " eagle rat " , Z by " cobra "

Target: - eagle rat cobra -


Source: Rules: X Y X + - | Substitutions: X by " watermelon blackberry " , Y by " shark "

Target: watermelon blackberry shark watermelon blackberry + -


Source: Rules: * * X Y | Substitutions: X by " stork grape " , Y by " strawberry "

Target: * * stork grape strawberry


Source: Rules: Z X * * | Substitutions: X by " rat " , Z by " eagle pear "

Target: eagle pear rat * *


Source: Rules: - + X * Z | Substitutions: X by " lion " , Z by " blueberry watermelon "

Target: - + lion * blueberry watermelon


Source: Rules: Z - Y X + = | Substitutions: X by " strawberry banana " , Y by " banana whale " , Z by " zebra "

Target: zebra - banana whale strawberry banana + =


Source: Rules: Y Y = = X | Substitutions: X by " shark buffalo " , Y by " zebra zebra "

Target: zebra zebra zebra zebra = = shark buffalo


Source: Rules: - * X X + | Substitutions: X by " penguin "

Target: - * penguin penguin +


Source: Rules: Z Z + - * | Substitutions: Z by " blackberry grape "

Target: blackberry grape blackberry grape + - *


Source: Rules: = Y X Z + = | Substitutions: X by " blueberry grape " , Y by " penguin seal " , Z by " watermelon "

Target: = penguin seal blueberry grape watermelon + =


Source: Rules: X Y * - + | Substitutions: X by " eagle shark " , Y by " blueberry "

Target: eagle shark blueberry * - +


Source: Rules: * Y Z * X = | Substitutions: X by " shark " , Y by " pear shark " , Z by " pear penguin "

Target: * pear shark pear penguin * shark =


Source: Rules: - * Z X + | Substitutions: X by " strawberry cobra " , Z by " whale "

Target: - * whale strawberry cobra +


Source: Rules: Z * = Z - | Substitutions: Z by " seal shark "

Target: seal shark * = seal shark -


Source: Rules: Y Z Z = * + | Substitutions: Y by " lion " , Z by " buffalo eagle "

Target: lion buffalo eagle buffalo eagle = * +


Source: Rules: Y - Z Z * | Substitutions: Y by " penguin " , Z by " stork "

Target: penguin - stork stork *


Source: Rules: Z + X - - | Substitutions: X by " rat peach " , Z by " apple banana "

Target: apple banana + rat peach - -


Source: Rules: + Z Z * X = | Substitutions: X by " horse " , Z by " cobra "

Target: + cobra cobra * horse =


Source: Rules: = - Y Z | Substitutions: Y by " cobra watermelon " , Z by " banana peach "

Target: = - cobra watermelon banana peach


Source: Rules: = + Z Y = X | Substitutions: X by " whale " , Y by " horse " , Z by " stork watermelon "

Target: = + stork watermelon horse = whale


Source: Rules: + = Z X | Substitutions: X by " blackberry lion " , Z by " blueberry "

Target: + = blueberry blackberry lion


Source: Rules: - = = Y Z | Substitutions: Y by " seal stork " , Z by " lion eagle "

Target: - = = seal stork lion eagle


Source: Rules: Z * Y - | Substitutions: Y by " banana " , Z by " zebra penguin "

Target: zebra penguin * banana -


Source: Rules: * Y - X - | Substitutions: X by " apple " , Y by " horse "

Target: * horse - apple -


Source: Rules: Y X = X - | Substitutions: X by " seal apple " , Y by " horse "

Target: horse seal apple = seal apple -


Source: Rules: - X Z - Y - | Substitutions: X by " stork " , Y by " blueberry " , Z by " apple "

Target: - stork apple - blueberry -


Source: Rules: Y * Y Z = | Substitutions: Y by " whale " , Z by " penguin "

Target: whale * whale penguin =


Source: Rules: Z * Y - X | Substitutions: X by " whale " , Y by " pear " , Z by " peach "

Target: peach * pear - whale


Source: Rules: Z = - Z X + | Substitutions: X by " stork whale " , Z by " kiwi shark "

Target: kiwi shark = - kiwi shark stork whale +


Source: Rules: Z = Z - | Substitutions: Z by " apple blueberry "

Target: apple blueberry = apple blueberry -


Source: Rules: X Y - - | Substitutions: X by " seal " , Y by " pear lion "

Target: seal pear lion - -


Source: Rules: + Y * Y | Substitutions: Y by " cobra eagle "

Target: + cobra eagle * cobra eagle


Source: Rules: + X Z = - | Substitutions: X by " buffalo " , Z by " watermelon seal "

Target: + buffalo watermelon seal = -


Source: Rules: = Z * Z | Substitutions: Z by " penguin "

Target: = penguin * penguin


Source: Rules: X Y - = | Substitutions: X by " blackberry peach " , Y by " pear "

Target: blackberry peach pear - =


Source: Rules: Z - - * Z X | Substitutions: X by " banana " , Z by " penguin pear "

Target: penguin pear - - * penguin pear banana


Source: Rules: Y Z Y - - | Substitutions: Y by " zebra " , Z by " watermelon "

Target: zebra watermelon zebra - -


Source: Rules: - Y * X Z + | Substitutions: X by " grape kiwi " , Y by " zebra " , Z by " buffalo whale "

Target: - zebra * grape kiwi buffalo whale +


Source: Rules: Y Z - X * = | Substitutions: X by " buffalo " , Y by " watermelon " , Z by " grape watermelon "

Target: watermelon grape watermelon - buffalo * =


Source: Rules: X = Y + * | Substitutions: X by " shark " , Y by " zebra rat "

Target: shark = zebra rat + *


Source: Rules: X Y = - X | Substitutions: X by " cobra " , Y by " grape "

Target: cobra grape = - cobra


Source: Rules: + Y Z - | Substitutions: Y by " stork pear " , Z by " zebra blackberry "

Target: + stork pear zebra blackberry -


Source: Rules: Z - = Z + X | Substitutions: X by " penguin " , Z by " apple "

Target: apple - = apple + penguin


Source: Rules: Y = + Y | Substitutions: Y by " shark "

Target: shark = + shark


Source: Rules: X * X * X | Substitutions: X by " zebra watermelon "

Target: zebra watermelon * zebra watermelon * zebra watermelon


Source: Rules: Y X + * + | Substitutions: X by " strawberry " , Y by " blueberry banana "

Target: blueberry banana strawberry + * +


Source: Rules: Y - - Y Y | Substitutions: Y by " pear whale "

Target: pear whale - - pear whale pear whale


Source: Rules: + = Z X | Substitutions: X by " seal " , Z by " strawberry peach "

Target: + = strawberry peach seal


Source: Rules: Y = = Y | Substitutions: Y by " seal "

Target: seal = = seal


Source: Rules: Z Z = = | Substitutions: Z by " kiwi "

Target: kiwi kiwi = =


Source: Rules: * Y * Z | Substitutions: Y by " horse " , Z by " stork "

Target: * horse * stork


Source: Rules: Y = Y + - | Substitutions: Y by " buffalo "

Target: buffalo = buffalo + -


Source: Rules: Y X = - | Substitutions: X by " horse seal " , Y by " eagle zebra "

Target: eagle zebra horse seal = -


Source: Rules: Y + = Y = | Substitutions: Y by " seal lion "

Target: seal lion + = seal lion =


Source: Rules: = X - Z Y * | Substitutions: X by " apple peach " , Y by " seal " , Z by " rat "

Target: = apple peach - rat seal *


Source: Rules: = = X Z | Substitutions: X by " shark " , Z by " grape "

Target: = = shark grape


Source: Rules: * Y X - + Z | Substitutions: X by " penguin shark " , Y by " seal " , Z by " buffalo "

Target: * seal penguin shark - + buffalo


Source: Rules: Z - X * = | Substitutions: X by " rat " , Z by " shark lion "

Target: shark lion - rat * =


Source: Rules: Z Z * + | Substitutions: Z by " penguin eagle "

Target: penguin eagle penguin eagle * +


Source: Rules: X Z = Y * * | Substitutions: X by " horse " , Y by " kiwi peach " , Z by " peach "

Target: horse peach = kiwi peach * *


Source: Rules: X X = * * | Substitutions: X by " seal penguin "

Target: seal penguin seal penguin = * *


Source: Rules: Y * = Y + | Substitutions: Y by " blackberry "

Target: blackberry * = blackberry +


Source: Rules: + Y * X | Substitutions: X by " buffalo " , Y by " watermelon "

Target: + watermelon * buffalo


Source: Rules: X + - * Z | Substitutions: X by " stork " , Z by " blueberry "

Target: stork + - * blueberry


Source: Rules: = Z Y + | Substitutions: Y by " apple " , Z by " penguin blackberry "

Target: = penguin blackberry apple +


Source: Rules: * * Y - Y | Substitutions: Y by " buffalo "

Target: * * buffalo - buffalo


Source: Rules: + + X Y | Substitutions: X by " whale eagle " , Y by " rat "

Target: + + whale eagle rat


Source: Rules: X + + X | Substitutions: X by " horse "

Target: horse + + horse


Source: Rules: + Y = Z Z | Substitutions: Y by " shark shark " , Z by " cobra "

Target: + shark shark = cobra cobra


Source: Rules: Y - Z Y - + | Substitutions: Y by " penguin grape " , Z by " eagle stork "

Target: penguin grape - eagle stork penguin grape - +


Source: Rules: - Z = Z | Substitutions: Z by " apple "

Target: - apple = apple


Source: Rules: Z - - X = | Substitutions: X by " apple blackberry " , Z by " kiwi kiwi "

Target: kiwi kiwi - - apple blackberry =


Source: Rules: Y X Z + * = | Substitutions: X by " lion " , Y by " banana " , Z by " seal apple "

Target: banana lion seal apple + * =


Source: Rules: Z - Z + Y = | Substitutions: Y by " watermelon " , Z by " grape grape "

Target: grape grape - grape grape + watermelon =


Source: Rules: Z X * Y * | Substitutions: X by " stork " , Y by " pear " , Z by " strawberry horse "

Target: strawberry horse stork * pear *


Source: Rules: - Y X + X = | Substitutions: X by " lion blackberry " , Y by " penguin banana "

Target: - penguin banana lion blackberry + lion blackberry =


Source: Rules: Z X - = X | Substitutions: X by " grape " , Z by " rat strawberry "

Target: rat strawberry grape - = grape


Source: Rules: + Z Y Y - | Substitutions: Y by " zebra shark " , Z by " rat rat "

Target: + rat rat zebra shark zebra shark -


Source: Rules: Y X = + * | Substitutions: X by " rat apple " , Y by " eagle banana "

Target: eagle banana rat apple = + *


Source: Rules: Z X - = - Y | Substitutions: X by " horse peach " , Y by " zebra " , Z by " kiwi "

Target: kiwi horse peach - = - zebra


Source: Rules: Y = X = + | Substitutions: X by " strawberry " , Y by " horse "

Target: horse = strawberry = +


Source: Rules: Y * X X = | Substitutions: X by " zebra " , Y by " peach "

Target: peach * zebra zebra =


Source: Rules: * * Y Y | Substitutions: Y by " cobra "

Target: * * cobra cobra


Source: Rules: Y + Y + = | Substitutions: Y by " rat stork "

Target: rat stork + rat stork + =


Source: Rules: - Y + = Y | Substitutions: Y by " whale rat "

Target: - whale rat + = whale rat


Source: Rules: Y * Y X * | Substitutions: X by " cobra " , Y by " zebra "

Target: zebra * zebra cobra *


Source: Rules: = Y Y Y - | Substitutions: Y by " cobra eagle "

Target: = cobra eagle cobra eagle cobra eagle -


Source: Rules: X = + Z | Substitutions: X by " shark blueberry " , Z by " banana grape "

Target: shark blueberry = + banana grape


Source: Rules: + + X X * | Substitutions: X by " whale "

Target: + + whale whale *


Source: Rules: Z X * - | Substitutions: X by " eagle " , Z by " eagle whale "

Target: eagle whale eagle * -


Source: Rules: + X Z = X = | Substitutions: X by " seal " , Z by " whale peach "

Target: + seal whale peach = seal =


Source: Rules: Z * X + | Substitutions: X by " shark kiwi " , Z by " eagle "

Target: eagle * shark kiwi +


Source: Rules: Z + Y Z - | Substitutions: Y by " horse shark " , Z by " blueberry "

Target: blueberry + horse shark blueberry -


Source: Rules: X Z + * | Substitutions: X by " stork " , Z by " cobra "

Target: stork cobra + *


Source: Rules: Z = Z Y = * | Substitutions: Y by " rat seal " , Z by " shark "

Target: shark = shark rat seal = *


Source: Rules: * = Z X - | Substitutions: X by " blueberry shark " , Z by " zebra banana "

Target: * = zebra banana blueberry shark -


Source: Rules: + + = Y Z Y | Substitutions: Y by " stork whale " , Z by " zebra eagle "

Target: + + = stork whale zebra eagle stork whale


Source: Rules: - Y Y + + | Substitutions: Y by " eagle "

Target: - eagle eagle + +


Source: Rules: X Z - Y * - | Substitutions: X by " cobra lion " , Y by " pear " , Z by " kiwi seal "

Target: cobra lion kiwi seal - pear * -


Source: Rules: = X Y + - | Substitutions: X by " strawberry " , Y by " eagle "

Target: = strawberry eagle + -


Source: Rules: Y * * Z | Substitutions: Y by " banana " , Z by " peach "

Target: banana * * peach


Source: Rules: - + Z + Y | Substitutions: Y by " rat " , Z by " blackberry blueberry "

Target: - + blackberry blueberry + rat


Source: Rules: = = Z Z | Substitutions: Z by " apple peach "

Target: = = apple peach apple peach


Source: Rules: X Y * - Y | Substitutions: X by " eagle whale " , Y by " blackberry lion "

Target: eagle whale blackberry lion * - blackberry lion


Source: Rules: = = - Y Z | Substitutions: Y by " eagle " , Z by " shark "

Target: = = - eagle shark


Source: Rules: Z - Y Z - | Substitutions: Y by " eagle " , Z by " kiwi "

Target: kiwi - eagle kiwi -


Source: Rules: + = = Z Z X | Substitutions: X by " penguin blueberry " , Z by " blueberry "

Target: + = = blueberry blueberry penguin blueberry


Source: Rules: = X * - X | Substitutions: X by " kiwi "

Target: = kiwi * - kiwi


Source: Rules: Z * Y = = | Substitutions: Y by " whale peach " , Z by " banana pear "

Target: banana pear * whale peach = =


Source: Rules: * X Z + X | Substitutions: X by " rat peach " , Z by " cobra "

Target: * rat peach cobra + rat peach