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

Target: stork stork * whale *


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

Target: + strawberry eagle zebra - zebra


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

Target: * rat cobra seal *


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

Target: - apple apple + = apple


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

Target: cobra horse - + * blackberry cobra horse


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

Target: seal peach apple shark * = *


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

Target: apple eagle - = pear eagle -


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

Target: blueberry blueberry - *


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

Target: * cobra blackberry rat cobra blackberry +


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

Target: = blackberry banana blackberry banana -


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

Target: - - rat blueberry blackberry blueberry blackberry


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

Target: = * = kiwi banana kiwi


Source: Rules: X * X * | Substitutions: X by " banana blueberry "

Target: banana blueberry * banana blueberry *


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

Target: grape grape cobra + grape cobra -


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

Target: * eagle eagle -


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

Target: cobra blackberry + stork watermelon * stork watermelon =


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

Target: eagle buffalo - whale horse =


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

Target: - horse strawberry +


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

Target: = = blackberry peach seal -


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

Target: kiwi seal + banana cobra + =


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

Target: = - grape lion grape lion penguin *


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

Target: - rat blackberry rat peach - rat peach


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

Target: stork zebra - watermelon horse + banana grape


Source: Rules: X + X - | Substitutions: X by " apple zebra "

Target: apple zebra + apple zebra -


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

Target: + + apple grape grape


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

Target: - shark strawberry kiwi *


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

Target: + - * horse horse


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

Target: banana * blueberry lion * = banana


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

Target: + banana banana + banana


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

Target: kiwi watermelon - banana peach - banana peach =


Source: Rules: - - Z Z = | Substitutions: Z by " lion buffalo "

Target: - - lion buffalo lion buffalo =


Source: Rules: * X Y - Z | Substitutions: X by " banana seal " , Y by " strawberry seal " , Z by " penguin "

Target: * banana seal strawberry seal - penguin


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

Target: + buffalo buffalo -


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

Target: + * eagle watermelon * banana shark


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

Target: * grape blackberry horse + grape


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

Target: - blueberry grape -


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

Target: * lion shark * lion shark *


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

Target: rat - - shark - blueberry


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

Target: - blueberry stork kiwi stork kiwi =


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

Target: * zebra - banana


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

Target: horse blackberry zebra + = +


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

Target: whale cobra * + cobra


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

Target: apple + - apple = banana blueberry


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

Target: = banana * apple apple banana


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

Target: = * blackberry buffalo banana blackberry buffalo -


Source: Rules: + * - Y Z X | Substitutions: X by " whale " , Y by " lion horse " , Z by " eagle "

Target: + * - lion horse eagle whale


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

Target: kiwi buffalo = * kiwi


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

Target: banana grape banana grape = = -


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

Target: stork stork eagle * *


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

Target: buffalo - shark buffalo +


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

Target: cobra kiwi kiwi = +


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

Target: cobra + cobra = lion banana *


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

Target: - * banana grape - blackberry zebra


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

Target: - eagle blueberry lion -


Source: Rules: Z = + Y X | Substitutions: X by " lion " , Y by " horse penguin " , Z by " whale seal "

Target: whale seal = + horse penguin lion


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

Target: - kiwi penguin kiwi penguin rat =


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

Target: + * = blueberry rat blueberry


Source: Rules: + + Y Z | Substitutions: Y by " peach " , Z by " whale shark "

Target: + + peach whale shark


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

Target: - kiwi watermelon strawberry -


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

Target: * strawberry strawberry * strawberry strawberry


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

Target: rat apple + rat blueberry rat apple - +


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

Target: + buffalo = buffalo


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

Target: cobra apple cobra apple * - *


Source: Rules: - Y + + Z | Substitutions: Y by " horse banana " , Z by " seal "

Target: - horse banana + + seal


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

Target: rat banana stork - rat banana +


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

Target: seal buffalo - strawberry horse seal buffalo * +


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

Target: lion - lion lion *


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

Target: = - rat - apple peach


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

Target: banana stork = pear + =


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

Target: + blackberry - * lion horse lion horse


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

Target: + - rat rat rat *


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

Target: kiwi shark strawberry penguin = + - kiwi shark


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

Target: - * apple apple *


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

Target: * apple kiwi - eagle * blueberry


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

Target: kiwi lion - * kiwi +


Source: Rules: Y * * Y Z | Substitutions: Y by " eagle watermelon " , Z by " peach banana "

Target: eagle watermelon * * eagle watermelon peach banana


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

Target: * zebra lion zebra lion * zebra lion


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

Target: buffalo zebra + + * lion


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

Target: - buffalo buffalo * buffalo


Source: Rules: Y = + X | Substitutions: X by " rat cobra " , Y by " banana "

Target: banana = + rat cobra


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

Target: + - stork shark banana whale


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

Target: - seal watermelon penguin seal watermelon = *


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

Target: zebra * * zebra cobra shark


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

Target: lion kiwi * * lion kiwi


Source: Rules: Z = * Y + Y | Substitutions: Y by " penguin buffalo " , Z by " strawberry pear "

Target: strawberry pear = * penguin buffalo + penguin buffalo


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

Target: = grape horse grape horse - -


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

Target: - grape shark - grape shark - watermelon


Source: Rules: Y + = Z | Substitutions: Y by " cobra kiwi " , Z by " peach whale "

Target: cobra kiwi + = peach whale


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

Target: apple horse + * * peach apple horse


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

Target: + - - lion blackberry pear


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

Target: * watermelon kiwi peach -


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

Target: * grape * watermelon stork = watermelon stork


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

Target: blackberry banana + blackberry banana + +


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

Target: = rat horse = rat horse buffalo


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

Target: stork + * pear shark pear shark


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

Target: kiwi whale kiwi whale kiwi whale = -


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

Target: = peach kiwi + - lion


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

Target: + + cobra seal = cobra seal apple lion


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

Target: grape shark * = penguin zebra


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

Target: + whale = = strawberry penguin


Source: Rules: Y = = Y | Substitutions: Y by " watermelon grape "

Target: watermelon grape = = watermelon grape


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

Target: penguin shark - * strawberry apple + strawberry seal


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

Target: + lion = grape cobra blackberry -


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

Target: cobra * rat horse = peach pear


Source: Rules: X - = = Z X | Substitutions: X by " buffalo cobra " , Z by " kiwi zebra "

Target: buffalo cobra - = = kiwi zebra buffalo cobra


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

Target: kiwi = penguin watermelon =


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

Target: buffalo whale - lion +


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

Target: * stork * pear buffalo penguin seal =


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

Target: + lion banana + +


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

Target: blackberry peach - blackberry +


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

Target: * - * apple penguin grape


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

Target: watermelon + apple strawberry = =


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

Target: blackberry * * blackberry


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

Target: blackberry kiwi blackberry kiwi + =


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

Target: - * stork cobra stork


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

Target: blueberry blueberry stork rat + * rat


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

Target: rat blackberry pear = *


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

Target: + shark shark * shark


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

Target: - zebra buffalo eagle - zebra


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

Target: blackberry penguin * eagle +


Source: Rules: X * + Y Z * | Substitutions: X by " cobra " , Y by " horse kiwi " , Z by " eagle zebra "

Target: cobra * + horse kiwi eagle zebra *


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

Target: lion seal strawberry horse * + strawberry horse


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

Target: blueberry + seal lion seal lion =


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

Target: = rat * + cobra pear


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

Target: * buffalo = = watermelon


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

Target: grape + penguin whale * lion blueberry +


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

Target: = + pear = pear shark penguin


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

Target: - - eagle - eagle rat


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

Target: - * horse = lion buffalo


Source: Rules: Y + = + X Z | Substitutions: X by " whale lion " , Y by " strawberry stork " , Z by " strawberry eagle "

Target: strawberry stork + = + whale lion strawberry eagle


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

Target: + + cobra kiwi - whale


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

Target: blackberry whale = * buffalo horse +


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

Target: = = whale horse rat


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

Target: - = penguin watermelon penguin watermelon eagle shark +


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

Target: banana rat blackberry apple * seal kiwi -


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

Target: stork = zebra stork +


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

Target: pear whale * * - pear whale pear whale


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

Target: * = kiwi rat grape +


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

Target: penguin - - whale apple penguin


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

Target: + penguin + buffalo


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

Target: kiwi banana + banana shark =


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

Target: + = pear banana * apple


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

Target: penguin penguin = * - blueberry


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

Target: + blueberry seal seal stork * seal stork


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

Target: * horse eagle peach +


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

Target: cobra seal peach banana cobra seal + * +


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

Target: = eagle eagle - shark


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

Target: * + apple - apple


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

Target: - banana stork blackberry + * stork blackberry


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

Target: stork apple + * buffalo stork apple


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

Target: zebra watermelon shark zebra + zebra watermelon *


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

Target: - grape = strawberry = grape


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

Target: whale grape + whale * =


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

Target: blueberry + + pear buffalo =


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

Target: * watermelon whale - watermelon whale


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

Target: - whale whale * =


Source: Rules: - X = * Y | Substitutions: X by " horse " , Y by " whale peach "

Target: - horse = * whale peach


Source: Rules: Y - X Z = | Substitutions: X by " zebra buffalo " , Y by " lion apple " , Z by " whale "

Target: lion apple - zebra buffalo whale =


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

Target: blackberry rat * + blueberry


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

Target: shark shark + - = shark


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

Target: banana cobra = * zebra penguin =


Source: Rules: Y X Z * + | Substitutions: X by " rat " , Y by " peach whale " , Z by " cobra "

Target: peach whale rat cobra * +


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

Target: - lion horse lion horse apple * +


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

Target: pear buffalo * lion + lion +


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

Target: strawberry - * strawberry shark shark blueberry -


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

Target: = apple apple =


Source: Rules: - Z + Z | Substitutions: Z by " cobra lion "

Target: - cobra lion + cobra lion


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

Target: + * cobra shark cobra shark cobra shark


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

Target: + zebra pear peach eagle peach eagle +


Source: Rules: Z - = X X * | Substitutions: X by " grape blueberry " , Z by " shark penguin "

Target: shark penguin - = grape blueberry grape blueberry *


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

Target: blueberry penguin blackberry - penguin blackberry +


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

Target: rat apple + -


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

Target: strawberry + blueberry - blueberry


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

Target: + seal blackberry blueberry = =


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

Target: + - pear watermelon -


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

Target: - apple apple = strawberry lion


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

Target: apple banana - apple banana + = horse


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

Target: apple blackberry buffalo grape * = buffalo grape +


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

Target: banana + * cobra watermelon *


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

Target: whale lion * whale lion lion + *


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

Target: + = * seal seal


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

Target: * = = pear watermelon pear watermelon pear watermelon


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

Target: watermelon penguin = = watermelon penguin


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

Target: + * strawberry = rat


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

Target: horse watermelon + - * whale


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

Target: strawberry buffalo buffalo buffalo buffalo - *


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

Target: strawberry rat - grape = - strawberry rat


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

Target: eagle cobra eagle cobra - eagle cobra *


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

Target: * + lion penguin penguin


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

Target: * grape rat - +


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

Target: strawberry apple blueberry = * -


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

Target: eagle blueberry - - + stork stork


Source: Rules: - Y - X = | Substitutions: X by " seal rat " , Y by " cobra penguin "

Target: - cobra penguin - seal rat =


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

Target: shark eagle - - * kiwi rat


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

Target: + watermelon buffalo whale -


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

Target: = + shark apple zebra watermelon


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

Target: - * pear pear shark


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

Target: + horse whale whale =


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

Target: banana seal watermelon shark = =


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

Target: banana penguin + - kiwi kiwi +


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

Target: - = stork blueberry stork blueberry * stork blueberry


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

Target: * * shark shark - blueberry shark shark


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

Target: horse horse + horse -


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

Target: apple penguin eagle - + apple +


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

Target: * + lion horse lion horse lion horse


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

Target: = penguin whale shark =


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

Target: lion zebra = lion zebra rat *


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

Target: cobra cobra cobra cobra * + blackberry


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

Target: blueberry penguin peach peach * +


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

Target: - * penguin horse zebra = peach penguin


Source: Rules: - = X Z Y | Substitutions: X by " pear cobra " , Y by " whale " , Z by " horse "

Target: - = pear cobra horse whale


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

Target: - * rat buffalo penguin horse penguin horse =


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

Target: + buffalo whale peach - = buffalo whale


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

Target: banana - + banana


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

Target: strawberry * * strawberry strawberry +


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

Target: * lion seal * lion seal shark


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

Target: blueberry apple + = * blueberry apple blueberry


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

Target: = zebra pear + whale cobra


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

Target: - peach peach = peach *


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

Target: peach peach cobra apple + =


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

Target: strawberry seal apple - = seal apple


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

Target: + peach kiwi -


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

Target: + horse eagle pear =


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

Target: cobra peach + horse cobra strawberry -


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

Target: blackberry seal = + buffalo apple


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

Target: strawberry - whale shark strawberry = -


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

Target: * + apple apple =


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

Target: - eagle blueberry eagle blueberry - *


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

Target: * = blackberry = blackberry


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

Target: * blackberry = blueberry kiwi blueberry kiwi


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

Target: - apple apple rat + =


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

Target: = - apple banana shark shark


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

Target: lion buffalo = horse cobra cobra - +


Source: Rules: Y Z * Y + * | Substitutions: Y by " buffalo strawberry " , Z by " stork seal "

Target: buffalo strawberry stork seal * buffalo strawberry + *


Source: Rules: Y Z * X * | Substitutions: X by " cobra whale " , Y by " kiwi rat " , Z by " kiwi pear "

Target: kiwi rat kiwi pear * cobra whale *


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

Target: pear = * peach


Source: Rules: X Y * = | Substitutions: X by " grape horse " , Y by " stork buffalo "

Target: grape horse stork buffalo * =


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

Target: cobra grape - = - cobra grape


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

Target: cobra peach * = = cobra peach shark


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

Target: blackberry + grape = blackberry


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

Target: = * kiwi = kiwi


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

Target: - grape * kiwi rat


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

Target: whale peach + =


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

Target: = = watermelon blackberry blueberry


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

Target: - strawberry penguin shark penguin = -


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

Target: banana grape * blueberry rat -


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

Target: + buffalo banana * strawberry stork blueberry


Source: Rules: = = Y Z X + | Substitutions: X by " zebra shark " , Y by " seal grape " , Z by " buffalo kiwi "

Target: = = seal grape buffalo kiwi zebra shark +


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

Target: = horse - horse = shark stork


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

Target: grape penguin + grape penguin - -


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

Target: shark shark * - strawberry grape =


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

Target: stork + seal peach stork *


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

Target: kiwi - - kiwi buffalo cobra


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

Target: + + strawberry watermelon seal penguin * lion


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

Target: peach watermelon + watermelon +


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

Target: * eagle - blackberry blackberry


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

Target: watermelon + blueberry strawberry watermelon + *


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

Target: eagle buffalo * zebra * *


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

Target: - rat seal * blackberry seal blackberry seal


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

Target: seal - - rat eagle seal *


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

Target: = stork - apple =


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

Target: * cobra * blackberry zebra = blackberry zebra


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

Target: whale pear pear blackberry pear blackberry - *


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

Target: buffalo blackberry = strawberry * =


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

Target: whale + lion *


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

Target: rat seal + seal - =


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

Target: + stork shark = stork shark


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

Target: = * whale + penguin strawberry whale


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

Target: cobra stork - cobra stork +


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

Target: * = pear buffalo + blueberry watermelon


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

Target: * + stork - peach stork


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

Target: = blueberry + = blueberry pear


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

Target: + cobra peach + +


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

Target: + * pear penguin = penguin


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

Target: kiwi horse kiwi horse grape eagle * = -


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

Target: = + penguin shark * penguin shark


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

Target: + rat = apple blueberry = rat


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

Target: rat seal + rat seal =


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

Target: stork watermelon * stork watermelon -


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

Target: lion - shark +


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

Target: * + pear zebra zebra pear -


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

Target: = - = whale whale pear seal


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

Target: - + lion rat horse


Source: Rules: + Z + Y | Substitutions: Y by " shark apple " , Z by " buffalo blueberry "

Target: + buffalo blueberry + shark apple


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

Target: horse = + = blackberry


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

Target: seal cobra cobra = +


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

Target: penguin watermelon - - apple strawberry apple strawberry +


Source: Rules: Z = = X Y | Substitutions: X by " penguin " , Y by " watermelon kiwi " , Z by " lion "

Target: lion = = penguin watermelon kiwi


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

Target: cobra blackberry = * rat cobra +


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

Target: blueberry + horse cobra = +


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

Target: watermelon grape blueberry whale = + =


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

Target: pear pear * peach =


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

Target: = kiwi penguin blueberry zebra =


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

Target: * - rat zebra rat zebra =


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

Target: pear blackberry * = shark penguin


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

Target: + - rat rat rat


Source: Rules: * X X - | Substitutions: X by " kiwi stork "

Target: * kiwi stork kiwi stork -


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

Target: - blueberry blueberry buffalo seal blueberry blueberry =


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

Target: * - stork apple pear


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

Target: stork - * penguin


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

Target: zebra + seal seal - *


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

Target: eagle shark * = shark


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

Target: watermelon seal penguin apple watermelon seal = +


Source: Rules: X Y - = * Z | Substitutions: X by " eagle stork " , Y by " horse " , Z by " zebra cobra "

Target: eagle stork horse - = * zebra cobra


Source: Rules: = X = X - | Substitutions: X by " eagle seal "

Target: = eagle seal = eagle seal -


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

Target: - whale + whale grape -


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

Target: whale + whale +


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

Target: + + cobra peach + peach


Source: Rules: * X - + Z | Substitutions: X by " blackberry rat " , Z by " watermelon whale "

Target: * blackberry rat - + watermelon whale


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

Target: * * horse horse horse


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

Target: strawberry - blackberry peach - strawberry *


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

Target: penguin buffalo strawberry - - grape


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

Target: horse blackberry * - horse


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

Target: watermelon watermelon * - watermelon


Source: Rules: Z - = X Z * | Substitutions: X by " strawberry blueberry " , Z by " stork cobra "

Target: stork cobra - = strawberry blueberry stork cobra *


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

Target: stork + - lion =


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

Target: pear pear * stork * -


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

Target: = peach zebra blackberry + - peach


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

Target: grape - buffalo * grape -


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

Target: stork - buffalo *


Source: Rules: Y Z * + X | Substitutions: X by " shark grape " , Y by " zebra " , Z by " horse lion "

Target: zebra horse lion * + shark grape


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

Target: - banana = banana


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

Target: penguin penguin + * penguin +


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

Target: stork whale * stork whale *


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

Target: apple rat = + rat =


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

Target: + = * banana banana


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

Target: * penguin banana * penguin banana + penguin banana


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

Target: = banana banana *


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

Target: = strawberry strawberry *


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

Target: + = blueberry blueberry apple rat =


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

Target: blackberry - apple rat = blackberry +


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

Target: penguin - = penguin +


Source: Rules: X = Y * Z | Substitutions: X by " horse penguin " , Y by " rat whale " , Z by " peach buffalo "

Target: horse penguin = rat whale * peach buffalo


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

Target: penguin - stork = penguin


Source: Rules: - X - Z | Substitutions: X by " strawberry penguin " , Z by " peach "

Target: - strawberry penguin - peach


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

Target: + blackberry eagle + zebra blackberry zebra blackberry


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

Target: - banana strawberry + cobra shark


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

Target: buffalo * buffalo + +


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

Target: + - seal = seal


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

Target: - peach strawberry peach strawberry + whale


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

Target: * blackberry blackberry * zebra


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

Target: pear strawberry - = pear strawberry *


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

Target: * - seal lion lion


Source: Rules: * * Z Z | Substitutions: Z by " whale stork "

Target: * * whale stork whale stork


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

Target: watermelon watermelon = + watermelon =


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

Target: eagle blackberry shark * = eagle blackberry


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

Target: buffalo horse - kiwi buffalo horse =


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

Target: seal buffalo * seal buffalo blueberry = =


Source: Rules: Y - X Z + | Substitutions: X by " lion " , Y by " buffalo whale " , Z by " watermelon buffalo "

Target: buffalo whale - lion watermelon buffalo +


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

Target: cobra - cobra - *


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

Target: stork blackberry - banana =


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

Target: pear pear - seal horse + =


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

Target: peach - - - buffalo seal


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

Target: + = peach kiwi


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

Target: grape - grape -


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

Target: kiwi penguin buffalo watermelon = buffalo watermelon *


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

Target: - blackberry pear = pear -


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

Target: - - + grape grape


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

Target: kiwi grape apple watermelon apple watermelon = *


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

Target: lion seal + - = rat grape


Source: Rules: * Z X * | Substitutions: X by " kiwi cobra " , Z by " grape zebra "

Target: * grape zebra kiwi cobra *


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

Target: - + watermelon shark whale =


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

Target: rat shark * = lion whale +


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

Target: strawberry eagle lion * strawberry eagle -


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

Target: cobra lion = + shark shark


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

Target: = watermelon lion = blackberry blackberry


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

Target: + lion * cobra cobra


Source: Rules: Z - + X Y | Substitutions: X by " horse blueberry " , Y by " zebra banana " , Z by " grape seal "

Target: grape seal - + horse blueberry zebra banana


Source: Rules: * - X Z = | Substitutions: X by " eagle horse " , Z by " zebra shark "

Target: * - eagle horse zebra shark =


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

Target: zebra blackberry grape seal seal lion * -


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

Target: shark grape blueberry - * *


Source: Rules: - * + X Z | Substitutions: X by " penguin eagle " , Z by " horse kiwi "

Target: - * + penguin eagle horse kiwi


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

Target: peach peach whale + = =


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

Target: apple banana rat horse + * *


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

Target: = - + watermelon blueberry


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

Target: = cobra * cobra -


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

Target: * horse = - rat grape


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

Target: blackberry blueberry * - banana


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

Target: pear - * - seal


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

Target: lion peach = *


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

Target: shark blueberry seal shark - = +


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

Target: * = - banana zebra banana zebra


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

Target: grape rat zebra buffalo * - grape rat


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

Target: apple = + lion whale -


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

Target: = + - apple strawberry watermelon


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

Target: * shark horse - horse whale


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

Target: grape shark + = shark


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

Target: + = strawberry cobra strawberry cobra peach pear -


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

Target: watermelon = watermelon + watermelon


Source: Rules: Z Y * * * Y | Substitutions: Y by " grape whale " , Z by " blueberry apple "

Target: blueberry apple grape whale * * * grape whale


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

Target: * eagle apple eagle horse *


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

Target: + rat seal + rat seal + pear buffalo


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

Target: eagle * * eagle buffalo cobra


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

Target: banana = * banana banana


Source: Rules: X - Z + | Substitutions: X by " eagle " , Z by " zebra shark "

Target: eagle - zebra shark +


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

Target: * - kiwi seal - kiwi


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

Target: + + lion lion blueberry


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

Target: stork + + * pear penguin


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

Target: = apple grape apple grape * apple grape


Source: Rules: Z + - Z X | Substitutions: X by " watermelon " , Z by " kiwi shark "

Target: kiwi shark + - kiwi shark watermelon


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

Target: * apple cobra =


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

Target: = - kiwi kiwi


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

Target: apple + - kiwi strawberry


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

Target: seal cobra = + penguin penguin


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

Target: apple = seal shark * + seal shark


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

Target: = cobra watermelon horse penguin shark *


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

Target: - horse + rat =


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

Target: eagle eagle + lion whale * -


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

Target: zebra = zebra * + zebra


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

Target: pear * = - kiwi


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

Target: = + banana pear seal -


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

Target: blackberry blueberry * seal -


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

Target: blueberry - = eagle


Source: Rules: Y Z = + | Substitutions: Y by " whale zebra " , Z by " buffalo apple "

Target: whale zebra buffalo apple = +


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

Target: = + + shark shark


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

Target: peach watermelon + pear peach watermelon =


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

Target: banana + banana + -


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

Target: blueberry zebra * + blueberry


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

Target: zebra zebra * eagle +


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

Target: grape cobra zebra - cobra zebra + *


Source: Rules: - * Y Z X | Substitutions: X by " stork " , Y by " pear apple " , Z by " grape "

Target: - * pear apple grape stork


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

Target: + = kiwi shark kiwi +


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

Target: whale blueberry whale blueberry whale blueberry + +


Source: Rules: - - Y X | Substitutions: X by " whale cobra " , Y by " blueberry buffalo "

Target: - - blueberry buffalo whale cobra


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

Target: cobra - = cobra -


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

Target: = * * strawberry grape


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

Target: = = blueberry = blueberry blueberry


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

Target: lion zebra eagle penguin = eagle penguin - +


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

Target: * - apple lion apple *


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

Target: horse lion horse lion = =


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

Target: + cobra watermelon cobra watermelon *


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

Target: zebra * - zebra


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

Target: - zebra zebra - - rat pear


Source: Rules: X X * = - Z | Substitutions: X by " eagle horse " , Z by " cobra kiwi "

Target: eagle horse eagle horse * = - cobra kiwi


Source: Rules: - X X = Z * | Substitutions: X by " pear peach " , Z by " blackberry watermelon "

Target: - pear peach pear peach = blackberry watermelon *


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

Target: lion grape seal kiwi = * seal kiwi


Source: Rules: Y + Z + X | Substitutions: X by " horse " , Y by " cobra " , Z by " blackberry penguin "

Target: cobra + blackberry penguin + horse


Source: Rules: X = + Y | Substitutions: X by " peach stork " , Y by " grape apple "

Target: peach stork = + grape apple


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

Target: eagle horse - - * penguin


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

Target: cobra strawberry * lion *


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

Target: + * - peach banana watermelon


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

Target: * apple banana + apple banana


Source: Rules: Y X Z - + | Substitutions: X by " shark apple " , Y by " seal " , Z by " whale banana "

Target: seal shark apple whale banana - +


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

Target: whale + strawberry + strawberry


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

Target: + = shark shark


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

Target: + - = zebra seal blueberry zebra


Source: Rules: * Y Y - | Substitutions: Y by " peach blueberry "

Target: * peach blueberry peach blueberry -


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

Target: whale whale zebra = = whale whale


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

Target: kiwi rat * cobra -


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

Target: = = + blackberry pear


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

Target: grape stork = + = buffalo shark


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

Target: horse watermelon - + kiwi +


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

Target: buffalo * + kiwi


Source: Rules: * = Z Y X | Substitutions: X by " blackberry kiwi " , Y by " eagle banana " , Z by " stork rat "

Target: * = stork rat eagle banana blackberry kiwi


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

Target: cobra * - cobra


Source: Rules: + X Z + - Y | Substitutions: X by " cobra lion " , Y by " grape lion " , Z by " blueberry banana "

Target: + cobra lion blueberry banana + - grape lion


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

Target: = watermelon apple = watermelon apple strawberry


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

Target: blueberry zebra blackberry = *


Source: Rules: X Z + - = | Substitutions: X by " blackberry kiwi " , Z by " pear banana "

Target: blackberry kiwi pear banana + - =


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

Target: - apple = shark *


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

Target: grape grape * - = grape


Source: Rules: - + = Z Z | Substitutions: Z by " whale lion "

Target: - + = whale lion whale lion


Source: Rules: X Z Y - + | Substitutions: X by " penguin " , Y by " stork eagle " , Z by " kiwi apple "

Target: penguin kiwi apple stork eagle - +


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

Target: * cobra = zebra


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

Target: - shark cobra shark cobra = apple +


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

Target: buffalo buffalo - + buffalo


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

Target: = - zebra penguin strawberry


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

Target: - kiwi - kiwi


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

Target: * peach * peach +


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

Target: + horse = horse -


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

Target: * = zebra horse = zebra horse


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

Target: = lion = rat


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

Target: kiwi banana * kiwi - = kiwi


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

Target: pear blackberry - + + pear blackberry grape penguin


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

Target: zebra = blackberry stork = +


Source: Rules: Z = X Y * | Substitutions: X by " strawberry " , Y by " lion blackberry " , Z by " cobra "

Target: cobra = strawberry lion blackberry *


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

Target: banana banana = penguin strawberry *


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

Target: kiwi = eagle blueberry = * eagle blueberry


Source: Rules: Y Z - Y - | Substitutions: Y by " blackberry watermelon " , Z by " kiwi eagle "

Target: blackberry watermelon kiwi eagle - blackberry watermelon -


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

Target: = + watermelon horse buffalo


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

Target: + horse strawberry blueberry eagle - - blueberry eagle


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

Target: whale watermelon + + + pear


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

Target: = - eagle eagle -


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

Target: = - apple apple apple


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

Target: horse rat stork * * *


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

Target: = apple = apple


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

Target: zebra zebra zebra - + *


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

Target: peach zebra - - zebra +


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

Target: banana = * - banana strawberry blueberry


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

Target: seal * = kiwi


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

Target: * + buffalo penguin blueberry *


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

Target: + kiwi horse kiwi horse * kiwi horse


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

Target: + - cobra apple apple cobra apple


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

Target: = buffalo eagle * cobra +


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

Target: * * = grape stork


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

Target: grape seal grape seal peach = -


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

Target: horse horse horse horse zebra = * +


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

Target: - kiwi buffalo kiwi buffalo +


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

Target: * = pear pear


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

Target: + penguin rat strawberry -


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

Target: watermelon banana eagle - = watermelon


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

Target: rat grape blackberry grape - = -


Source: Rules: Z + Y = X | Substitutions: X by " horse rat " , Y by " rat pear " , Z by " stork rat "

Target: stork rat + rat pear = horse rat


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

Target: grape - grape - * horse shark


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

Target: - eagle + eagle


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

Target: + strawberry banana + strawberry banana


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

Target: pear rat = - - rat


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

Target: blackberry * seal seal +


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

Target: = - banana horse cobra grape banana horse


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

Target: buffalo kiwi + - + buffalo kiwi buffalo kiwi


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

Target: - kiwi banana - lion


Source: Rules: = - X Y Z | Substitutions: X by " blackberry cobra " , Y by " horse " , Z by " kiwi cobra "

Target: = - blackberry cobra horse kiwi cobra


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

Target: - rat - peach buffalo * rat


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

Target: stork watermelon shark = *


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

Target: strawberry lion + + strawberry lion = strawberry lion


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

Target: * stork seal stork seal =


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

Target: - + = rat stork kiwi


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

Target: seal penguin stork strawberry - + shark blackberry


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

Target: * zebra eagle whale * - zebra


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

Target: rat rat * = *


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

Target: lion zebra + banana stork lion stork - -


Source: Rules: * - Z Y = Z | Substitutions: Y by " seal pear " , Z by " buffalo horse "

Target: * - buffalo horse seal pear = buffalo horse


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

Target: - penguin peach = peach +


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

Target: penguin stork horse blackberry = +


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

Target: rat penguin * pear +


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

Target: lion + lion = =


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

Target: * shark + seal banana - shark


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

Target: = shark - shark blueberry shark blueberry


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

Target: + + shark shark shark +


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

Target: = apple lion penguin stork - penguin stork =


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

Target: cobra + * cobra


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

Target: - = eagle horse eagle +


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

Target: pear whale = = +


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

Target: blackberry pear blackberry pear + lion grape =


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

Target: * kiwi strawberry - kiwi strawberry


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

Target: strawberry = horse watermelon * =


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

Target: + lion blackberry lion blackberry -


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

Target: - apple - blueberry buffalo


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

Target: + = peach watermelon seal


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

Target: + * eagle eagle


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

Target: banana lion - banana lion - -


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

Target: zebra * * * zebra zebra


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

Target: * + + cobra banana whale buffalo cobra banana


Source: Rules: Z + - X X | Substitutions: X by " banana whale " , Z by " blueberry "

Target: blueberry + - banana whale banana whale


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

Target: shark + horse *


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

Target: * = zebra + cobra stork cobra stork


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

Target: - cobra strawberry kiwi + cobra strawberry


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

Target: * strawberry + strawberry strawberry


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

Target: * blueberry blueberry + -


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

Target: lion rat = whale =


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

Target: * zebra penguin *


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

Target: buffalo kiwi * = watermelon -


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

Target: * lion + horse lion =


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

Target: horse = = * banana eagle


Source: Rules: = * X Z - | Substitutions: X by " cobra blackberry " , Z by " lion whale "

Target: = * cobra blackberry lion whale -


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

Target: = stork + kiwi eagle kiwi eagle


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

Target: * kiwi grape kiwi - kiwi


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

Target: eagle shark * - *


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

Target: eagle + watermelon buffalo - =


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

Target: + + seal pear eagle kiwi


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

Target: - whale kiwi - whale kiwi +


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

Target: lion grape peach - * *


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

Target: buffalo buffalo buffalo * +


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

Target: buffalo * * + buffalo


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

Target: + = apple lion apple apple


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

Target: - banana * banana


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

Target: = + = blackberry stork blackberry stork pear


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

Target: * * kiwi whale seal apple kiwi whale


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

Target: + stork stork blueberry * +


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

Target: + seal zebra seal zebra *


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

Target: - pear peach seal = peach seal +


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

Target: = zebra rat * penguin penguin


Source: Rules: X Y * X - | Substitutions: X by " zebra whale " , Y by " blueberry rat "

Target: zebra whale blueberry rat * zebra whale -


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

Target: horse banana + cobra peach + * cobra peach


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

Target: whale = = * whale


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

Target: lion buffalo * lion buffalo = buffalo kiwi =


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

Target: * - peach cobra grape rat strawberry


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

Target: = horse strawberry + horse strawberry *


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

Target: strawberry = peach penguin =


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

Target: horse penguin = - apple


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

Target: buffalo strawberry * buffalo * -


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

Target: rat apple - watermelon +


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

Target: apple banana * - = shark shark


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

Target: * stork pear + - watermelon


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

Target: banana kiwi = * = rat banana kiwi


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

Target: * * pear pear whale -


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

Target: rat * strawberry blackberry rat =


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

Target: blueberry pear = - blackberry rat


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

Target: = stork = - grape


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

Target: blackberry * = blackberry


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

Target: strawberry strawberry = + blueberry blackberry *


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

Target: + lion stork lion *


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

Target: penguin banana penguin banana - - seal


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

Target: blackberry lion - blackberry lion *


Source: Rules: Z X + = Y | Substitutions: X by " horse " , Y by " kiwi " , Z by " apple horse "

Target: apple horse horse + = kiwi


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

Target: rat apple = =


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

Target: - blueberry blueberry -


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

Target: whale = whale - rat grape -


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

Target: = blackberry pear * = blackberry pear


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

Target: stork = stork + = eagle seal


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

Target: = zebra cobra zebra cobra * * zebra cobra


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

Target: strawberry rat + - strawberry rat strawberry rat


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

Target: shark whale shark whale = horse +


Source: Rules: - Y X Z - | Substitutions: X by " lion " , Y by " grape " , Z by " shark stork "

Target: - grape lion shark stork -


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

Target: shark * + watermelon seal + watermelon seal


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

Target: + * apple apple horse banana


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

Target: + blueberry = blackberry shark =


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

Target: + buffalo grape horse + -


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

Target: * - peach lion eagle


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

Target: kiwi zebra + blueberry banana =


Source: Rules: Z - = X Y * | Substitutions: X by " kiwi " , Y by " stork watermelon " , Z by " lion eagle "

Target: lion eagle - = kiwi stork watermelon *


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

Target: strawberry lion kiwi lion * kiwi lion * *


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

Target: penguin lion horse blueberry + * -


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

Target: stork - - apple =


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

Target: apple rat cobra = + *


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

Target: pear rat * apple - -


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

Target: whale horse - whale horse = banana stork *


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

Target: rat * buffalo penguin - buffalo penguin


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

Target: zebra * = zebra +


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

Target: grape watermelon - grape watermelon = grape apple


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

Target: + stork lion + stork lion - blackberry seal


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

Target: shark eagle - * shark eagle seal blackberry +


Source: Rules: = Y X = Z | Substitutions: X by " cobra shark " , Y by " blackberry penguin " , Z by " watermelon buffalo "

Target: = blackberry penguin cobra shark = watermelon buffalo


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

Target: - * strawberry + whale


Source: Rules: * + + Z X Y | Substitutions: X by " peach " , Y by " stork penguin " , Z by " cobra "

Target: * + + cobra peach stork penguin


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

Target: * * apple - apple kiwi


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

Target: pear + pear = buffalo blueberry


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

Target: blueberry - blueberry + - blueberry


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

Target: rat - * rat +


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

Target: blackberry lion + = horse


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

Target: watermelon peach pear + *


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

Target: + stork banana stork banana = =


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

Target: blueberry + blueberry =


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

Target: watermelon - watermelon + * grape


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

Target: horse * kiwi horse * *


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

Target: * shark lion shark lion shark lion =


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

Target: = lion lion lion =


Source: Rules: + Y * Y = | Substitutions: Y by " buffalo banana "

Target: + buffalo banana * buffalo banana =


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

Target: kiwi shark = - pear buffalo


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

Target: + = * blackberry whale


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

Target: + = grape eagle + blackberry


Source: Rules: Y Z + X * | Substitutions: X by " zebra " , Y by " blueberry penguin " , Z by " shark "

Target: blueberry penguin shark + zebra *


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

Target: * * cobra cobra lion


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

Target: = blackberry zebra watermelon +


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

Target: - - whale seal whale seal = whale seal


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

Target: strawberry lion * kiwi horse + - kiwi horse


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

Target: - banana + cobra


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

Target: eagle * - eagle


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

Target: = shark blackberry * penguin blueberry


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

Target: grape = + + grape blackberry grape


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

Target: stork cobra = * stork cobra


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

Target: + zebra + peach zebra


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

Target: stork penguin + apple penguin = =


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

Target: shark + shark shark =


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

Target: peach cobra blackberry blackberry + =


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

Target: + watermelon blueberry watermelon blueberry -


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

Target: + kiwi zebra kiwi * kiwi -


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

Target: blackberry rat - blackberry rat = pear


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

Target: horse strawberry - blueberry banana whale - +


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

Target: penguin apple pear = + pear


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

Target: eagle eagle peach * =


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

Target: banana stork * + - buffalo apple banana stork


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

Target: shark rat - lion seal shark rat *


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

Target: - + banana blackberry banana


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

Target: = banana horse = horse


Source: Rules: X Z Y + + | Substitutions: X by " lion " , Y by " penguin strawberry " , Z by " pear cobra "

Target: lion pear cobra penguin strawberry + +


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

Target: penguin blackberry * - eagle grape stork


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

Target: - - lion * lion lion


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

Target: - eagle blackberry + -


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

Target: stork watermelon apple - watermelon apple *


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

Target: = kiwi blackberry horse - -


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

Target: - rat * rat


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

Target: * buffalo watermelon apple whale * buffalo watermelon +


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

Target: seal seal buffalo = *


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

Target: buffalo penguin - = watermelon rat


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

Target: + zebra buffalo stork = zebra


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

Target: + = whale - whale rat grape


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

Target: * * strawberry pear banana strawberry *


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

Target: + - stork banana buffalo zebra horse


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

Target: + seal cobra -


Source: Rules: + Z + + Z | Substitutions: Z by " peach "

Target: + peach + + peach


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

Target: pear lion + * * eagle


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

Target: = whale banana = whale banana + whale banana


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

Target: + buffalo * buffalo watermelon horse +


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

Target: = - rat banana pear rat pear rat


Source: Rules: X - = X - | Substitutions: X by " buffalo kiwi "

Target: buffalo kiwi - = buffalo kiwi -


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

Target: pear eagle eagle pear = =


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

Target: blackberry + lion strawberry horse -


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

Target: penguin strawberry = peach zebra *


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

Target: shark watermelon shark watermelon = =


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

Target: blackberry + zebra blueberry blackberry *


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

Target: + pear pear + pear pear - eagle


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

Target: rat zebra - kiwi -


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

Target: pear * * lion eagle shark lion -


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

Target: grape stork grape + grape -


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

Target: buffalo penguin = + lion penguin lion penguin


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

Target: - stork shark = apple


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

Target: penguin buffalo = - penguin buffalo -


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

Target: strawberry cobra + peach -


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

Target: seal seal pear zebra blueberry = =


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

Target: cobra seal + seal banana buffalo *


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

Target: - - = blueberry shark cobra cobra banana shark


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

Target: buffalo watermelon eagle cobra * +


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

Target: = horse horse * -


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

Target: blackberry shark * - + peach cobra


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

Target: blackberry = banana grape -


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

Target: = = horse eagle


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

Target: - strawberry + = stork blackberry banana stork


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

Target: * + cobra eagle lion +


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

Target: = - blackberry + shark rat


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

Target: - cobra buffalo grape rat = cobra buffalo


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

Target: = zebra shark - *


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

Target: watermelon watermelon + -


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

Target: lion stork + + lion


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

Target: kiwi apple * + banana *


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

Target: blackberry * blackberry + horse shark


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

Target: = lion lion -


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

Target: strawberry - grape - =


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

Target: blueberry - - strawberry banana * strawberry banana


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

Target: * stork - banana rat cobra grape


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

Target: = + penguin penguin


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

Target: + + = kiwi kiwi


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

Target: grape = - shark blueberry =


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

Target: blueberry banana - blueberry banana = blueberry banana +


Source: Rules: = = Y X | Substitutions: X by " apple shark " , Y by " whale peach "

Target: = = whale peach apple shark


Source: Rules: X + = = Y Z | Substitutions: X by " seal " , Y by " peach " , Z by " kiwi zebra "

Target: seal + = = peach kiwi zebra


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

Target: stork stork = blueberry blueberry -


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

Target: + apple horse * * seal horse


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

Target: + = apple strawberry strawberry = whale


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

Target: buffalo + - buffalo eagle


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

Target: blackberry * - blackberry


Source: Rules: Z Y - Z * | Substitutions: Y by " apple shark " , Z by " buffalo watermelon "

Target: buffalo watermelon apple shark - buffalo watermelon *


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

Target: blackberry blackberry + + blackberry -


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

Target: + stork * blackberry peach stork


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

Target: grape whale = + grape whale =


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

Target: banana + + + watermelon banana


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

Target: - grape kiwi banana horse = *


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

Target: seal watermelon * * lion


Source: Rules: Z Z - = Z | Substitutions: Z by " watermelon whale "

Target: watermelon whale watermelon whale - = watermelon whale


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

Target: apple apple + cobra - *


Source: Rules: * * X Z Y = | Substitutions: X by " strawberry whale " , Y by " grape " , Z by " blackberry strawberry "

Target: * * strawberry whale blackberry strawberry grape =


Source: Rules: = X - Y Y | Substitutions: X by " kiwi zebra " , Y by " grape eagle "

Target: = kiwi zebra - grape eagle grape eagle


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

Target: watermelon = watermelon pear *


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

Target: - * grape penguin cobra strawberry =


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

Target: horse + * watermelon *


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

Target: + + * strawberry rat strawberry rat


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

Target: - buffalo seal penguin - +


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

Target: stork penguin + + horse +


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

Target: = grape rat + grape rat *


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

Target: strawberry strawberry strawberry strawberry strawberry strawberry + +


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

Target: horse peach horse peach blackberry apple - =


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

Target: blackberry + - watermelon +


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

Target: stork banana * stork banana +


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

Target: = banana watermelon = banana


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

Target: blackberry grape = blackberry grape =


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

Target: pear cobra = strawberry rat + =


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

Target: = peach peach zebra =


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

Target: - + - kiwi kiwi


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

Target: kiwi penguin * - kiwi penguin


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

Target: * strawberry seal * + seal


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

Target: watermelon = strawberry pear = strawberry pear =


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

Target: + * - banana cobra banana cobra


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

Target: + lion kiwi = lion kiwi


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

Target: - horse peach horse horse peach -


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

Target: seal zebra watermelon shark seal zebra + +


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

Target: lion = + seal + seal


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

Target: - = strawberry strawberry pear


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

Target: banana peach + *


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

Target: * cobra penguin cobra penguin * -


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

Target: = pear * seal blueberry -


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

Target: = penguin - penguin penguin shark


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

Target: + blueberry + apple apple


Source: Rules: Z Z Y * - | Substitutions: Y by " blueberry watermelon " , Z by " stork pear "

Target: stork pear stork pear blueberry watermelon * -


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

Target: = blueberry blueberry blueberry - -


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

Target: = seal seal + seal


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

Target: grape blackberry grape * =


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

Target: + + rat buffalo =


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

Target: * shark rat = lion kiwi


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

Target: * zebra penguin strawberry = +


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

Target: whale shark * cobra horse *


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

Target: + * pear apple pear -


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

Target: = zebra horse - -


Source: Rules: - X Y - X | Substitutions: X by " rat apple " , Y by " peach watermelon "

Target: - rat apple peach watermelon - rat apple


Source: Rules: X = = Y | Substitutions: X by " seal rat " , Y by " grape eagle "

Target: seal rat = = grape eagle


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

Target: grape eagle - + + kiwi grape eagle


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

Target: * cobra zebra cobra zebra -


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

Target: watermelon = - strawberry horse +


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

Target: - cobra cobra cobra cobra -


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

Target: stork * stork *


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

Target: shark = + blueberry


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

Target: horse watermelon * + horse watermelon +


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

Target: - grape grape grape -


Source: Rules: + - Z Z + | Substitutions: Z by " lion rat "

Target: + - lion rat lion rat +


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

Target: strawberry penguin apple - * penguin apple


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

Target: + zebra * zebra


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

Target: penguin - = peach = peach


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

Target: shark watermelon + = - watermelon


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

Target: - zebra - zebra


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

Target: + blackberry banana buffalo strawberry * + buffalo strawberry


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

Target: = = buffalo rat =


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

Target: * whale strawberry - + whale


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

Target: zebra * shark shark + banana -


Source: Rules: = Y Y - | Substitutions: Y by " lion grape "

Target: = lion grape lion grape -


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

Target: + = pear buffalo penguin


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

Target: seal eagle eagle = - *


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

Target: = = lion banana + grape seal lion banana


Source: Rules: - X - X | Substitutions: X by " kiwi shark "

Target: - kiwi shark - kiwi shark


Source: Rules: Y Y - - X | Substitutions: X by " banana whale " , Y by " watermelon kiwi "

Target: watermelon kiwi watermelon kiwi - - banana whale


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

Target: * * watermelon blackberry - apple stork


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

Target: * stork zebra pear horse = pear horse


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

Target: lion * = peach blueberry


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

Target: shark grape - pear cobra rat - *


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

Target: + peach lion eagle +


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

Target: seal seal - + horse peach -


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

Target: buffalo cobra cobra rat + cobra rat +


Source: Rules: = X * Y | Substitutions: X by " strawberry shark " , Y by " rat penguin "

Target: = strawberry shark * rat penguin


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

Target: - apple whale peach + -


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

Target: = stork * stork -


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

Target: - = blueberry zebra banana