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

Target: + seal + seal banana


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

Target: = - eagle watermelon * grape eagle watermelon


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

Target: + whale whale penguin horse =


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

Target: * blackberry * eagle


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

Target: = whale pear whale pear *


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

Target: strawberry horse apple cobra + penguin watermelon * +


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

Target: strawberry * - blueberry whale


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

Target: - stork - = buffalo buffalo


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

Target: = blackberry watermelon blackberry watermelon *


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

Target: = rat stork blackberry cobra rat stork * +


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

Target: blueberry zebra = watermelon * =


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

Target: shark shark zebra * +


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

Target: - rat rat = +


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

Target: horse - horse horse * +


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

Target: buffalo * blackberry kiwi * *


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

Target: rat = * rat


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

Target: whale blackberry zebra apple + =


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

Target: lion whale peach * -


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

Target: + + lion lion buffalo peach +


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

Target: * horse eagle lion - eagle lion


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

Target: = pear eagle - pear =


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

Target: = = * apple eagle shark


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

Target: apple apple = cobra * + cobra


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

Target: horse strawberry + eagle - horse strawberry


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

Target: * + watermelon watermelon seal horse seal horse +


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

Target: * shark shark kiwi - =


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

Target: kiwi buffalo whale = - + zebra apple


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

Target: + - seal + penguin seal


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

Target: = strawberry peach - = whale whale


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

Target: strawberry = * rat buffalo


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

Target: + rat + + buffalo horse rat


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

Target: * = blackberry buffalo blackberry


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

Target: + cobra eagle - = cobra blackberry


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

Target: cobra peach shark + - - watermelon seal


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

Target: = grape horse + watermelon rat watermelon rat


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

Target: + = seal seal seal


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

Target: + * peach lion


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

Target: = * kiwi = shark


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

Target: apple - blackberry lion + apple =


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

Target: horse horse + - *


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

Target: whale cobra = whale cobra eagle =


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

Target: whale horse + * watermelon whale horse


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

Target: rat + * * shark grape


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

Target: lion blueberry + + lion blueberry lion blueberry


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

Target: * apple peach penguin banana =


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

Target: blueberry zebra blueberry zebra = + -


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

Target: + + grape penguin rat pear *


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

Target: whale = strawberry watermelon = -


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

Target: + lion lion *


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

Target: eagle strawberry * seal pear * seal pear =


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

Target: apple apple apple + + -


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

Target: + shark rat whale lion + shark rat


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

Target: zebra peach - = zebra peach


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

Target: blueberry + lion stork + banana seal


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

Target: + watermelon lion grape watermelon = grape watermelon


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

Target: apple apple * cobra grape +


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

Target: cobra cobra cobra + =


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

Target: penguin blueberry penguin blueberry = - strawberry


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

Target: cobra + apple strawberry = -


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

Target: kiwi banana * shark eagle +


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

Target: = + * blackberry blackberry shark stork


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

Target: + + grape apple horse -


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

Target: pear blackberry eagle whale - + peach


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

Target: = strawberry lion rat =


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

Target: = penguin = horse cobra


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

Target: + grape - eagle -


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

Target: - stork zebra stork zebra + shark


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

Target: - * * seal apple rat seal apple


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

Target: - - watermelon * eagle


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

Target: - blueberry watermelon watermelon -


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

Target: shark + - eagle apple


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

Target: grape cobra = + pear


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

Target: strawberry buffalo + strawberry buffalo = -


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

Target: - stork * shark


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

Target: - blackberry blackberry - horse *


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

Target: stork horse blueberry = stork horse +


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

Target: strawberry watermelon + watermelon lion *


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

Target: * cobra + = blackberry strawberry blackberry strawberry


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

Target: kiwi = strawberry peach +


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

Target: = banana blackberry * = strawberry strawberry


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

Target: buffalo grape + + * buffalo grape


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

Target: grape * blackberry * + blackberry


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

Target: - * whale lion whale lion - eagle pear


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

Target: horse peach * horse peach * banana penguin =


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

Target: - - blackberry banana blueberry seal = seal peach


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

Target: buffalo blackberry kiwi = * buffalo blackberry


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

Target: * eagle blueberry horse apple horse apple *


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

Target: + + horse pear penguin kiwi


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

Target: blueberry blueberry * *


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

Target: seal rat seal rat = + seal rat


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

Target: watermelon blackberry * horse eagle = watermelon blackberry


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

Target: = zebra apple zebra apple zebra apple - +


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

Target: rat = strawberry apple strawberry apple * -


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

Target: + blackberry blackberry - - watermelon


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

Target: + penguin blackberry * penguin blackberry = penguin blackberry


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

Target: strawberry zebra + strawberry zebra * strawberry zebra =


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

Target: = * buffalo lion watermelon


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

Target: - lion grape watermelon * *


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

Target: strawberry eagle buffalo - - +


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

Target: blackberry + * kiwi peach


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

Target: apple * apple apple * *


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

Target: + * grape horse - penguin buffalo


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

Target: * whale seal banana grape + =


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

Target: strawberry blackberry blackberry = - blackberry blackberry *


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

Target: * + kiwi rat kiwi rat lion =


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

Target: * penguin penguin pear +


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

Target: - buffalo pear stork - +


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

Target: - zebra horse zebra * *


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

Target: - rat whale strawberry cobra strawberry cobra -


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

Target: strawberry grape - = buffalo penguin


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

Target: * kiwi peach zebra kiwi = =


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

Target: * apple + apple banana pear


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

Target: - buffalo stork whale *


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

Target: - + - pear rat pear rat


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

Target: watermelon cobra + - + peach peach


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

Target: + zebra = peach +


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

Target: = * apple apple whale


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

Target: blackberry seal * blackberry *


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

Target: * rat whale * +


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

Target: + strawberry strawberry blackberry peach -


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

Target: kiwi + = seal =


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

Target: blackberry blackberry = * =


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

Target: * + banana blueberry horse blueberry


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

Target: * eagle watermelon eagle watermelon + + eagle watermelon


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

Target: seal * - whale


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

Target: * lion horse - grape penguin


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

Target: penguin kiwi + = penguin


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

Target: rat - blueberry banana = *


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

Target: buffalo strawberry = + buffalo strawberry * rat


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

Target: = blackberry grape - peach apple peach apple


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

Target: penguin + lion - penguin


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

Target: = - - watermelon banana watermelon banana watermelon grape


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

Target: watermelon penguin = apple = apple


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

Target: = penguin blackberry * + strawberry


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

Target: pear stork whale - * pear


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

Target: - + strawberry horse rat shark


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

Target: strawberry eagle + = stork stork


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

Target: + pear seal pear seal - cobra


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

Target: = seal seal eagle peach - -


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

Target: penguin shark lion whale = =


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

Target: rat = zebra banana * =


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

Target: grape buffalo + blackberry *


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

Target: penguin eagle * grape grape =


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

Target: - eagle apple watermelon -


Source: Rules: Y + - Z X - | Substitutions: X by " buffalo banana " , Y by " horse blackberry " , Z by " shark rat "

Target: horse blackberry + - shark rat buffalo banana -


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

Target: eagle eagle eagle = *


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

Target: = cobra shark blueberry shark blueberry *


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

Target: rat blackberry = apple = stork rat


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

Target: + strawberry whale grape strawberry grape strawberry +


Source: Rules: Y + Z X = | Substitutions: X by " buffalo apple " , Y by " strawberry " , Z by " grape shark "

Target: strawberry + grape shark buffalo apple =


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

Target: + * - cobra rat blueberry banana


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

Target: stork zebra eagle eagle * = seal +


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

Target: horse pear + horse pear - horse pear


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

Target: - eagle * zebra horse


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

Target: blackberry zebra = +


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

Target: - grape + grape strawberry watermelon


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

Target: * shark - + whale


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

Target: horse blackberry = stork horse =


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

Target: * = + apple apple buffalo apple zebra zebra


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

Target: * lion + eagle apple - grape buffalo


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

Target: - * stork blueberry seal


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

Target: stork apple = - eagle whale * eagle whale


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

Target: cobra pear cobra pear = = -


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

Target: + whale * * whale


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

Target: blackberry shark + * strawberry kiwi


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

Target: + apple cobra rat rat * +


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

Target: * = * stork stork stork


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

Target: = buffalo buffalo apple rat +


Source: Rules: Z + Y Z = | Substitutions: Y by " kiwi apple " , Z by " whale seal "

Target: whale seal + kiwi apple whale seal =


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

Target: banana - * * kiwi


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

Target: eagle peach = +


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

Target: stork + stork = * stork


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

Target: + rat penguin * rat penguin


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

Target: = blueberry pear apple +


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

Target: = penguin cobra penguin cobra = penguin cobra


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

Target: = rat stork strawberry rat stork -


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

Target: shark apple shark apple = =


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

Target: + watermelon horse * grape


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

Target: = apple apple - * apple


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

Target: + peach zebra peach zebra * pear


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

Target: lion + + lion


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

Target: = = rat rat rat rat


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

Target: shark blackberry + shark blackberry * blackberry grape *


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

Target: blackberry horse seal seal = +


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

Target: = strawberry + strawberry pear penguin


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

Target: - - banana grape = seal cobra


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

Target: horse - grape buffalo * +


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

Target: blueberry eagle = * blueberry eagle = blueberry eagle


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

Target: + - * blueberry kiwi blueberry kiwi penguin blueberry


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

Target: = - - lion lion seal


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

Target: = + zebra = apple


Source: Rules: Z X - = | Substitutions: X by " pear blueberry " , Z by " whale lion "

Target: whale lion pear blueberry - =


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

Target: - whale - * penguin


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

Target: lion + + peach cobra


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

Target: eagle - eagle + grape peach


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

Target: + pear buffalo banana banana -


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

Target: rat seal - rat eagle * rat seal


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

Target: = * * apple banana kiwi


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

Target: banana cobra * =


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

Target: - buffalo blackberry watermelon + * horse lion


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

Target: pear buffalo * horse stork *


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

Target: = shark blackberry = shark blackberry


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

Target: whale apple seal = + + strawberry shark


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

Target: * * - penguin peach apple cobra


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

Target: = + + pear zebra horse zebra horse


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

Target: = * shark strawberry whale = strawberry whale


Source: Rules: = - * Y X Z | Substitutions: X by " kiwi grape " , Y by " peach grape " , Z by " blueberry seal "

Target: = - * peach grape kiwi grape blueberry seal


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

Target: buffalo pear whale + pear whale +


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

Target: + rat shark * rat =


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

Target: horse blackberry pear + = horse +


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

Target: + pear strawberry kiwi kiwi +


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

Target: * cobra seal = = apple


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

Target: + = buffalo zebra


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

Target: grape - whale + whale +


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

Target: grape peach = banana +


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

Target: - = whale whale


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

Target: strawberry cobra eagle blueberry + eagle blueberry = -


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

Target: buffalo rat - eagle horse -


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

Target: shark seal = shark seal * =


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

Target: whale pear pear = =


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

Target: whale apple = + zebra blackberry whale apple *


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

Target: stork grape cobra blackberry stork grape = =


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

Target: banana eagle apple = - *


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

Target: - = whale blackberry blackberry -


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

Target: lion - banana lion = =


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

Target: + pear whale horse horse *


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

Target: - lion = penguin seal


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

Target: zebra - cobra = watermelon


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

Target: = penguin * = penguin


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

Target: blueberry - blueberry = blueberry


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

Target: = watermelon peach stork +


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

Target: * + - blueberry pear stork watermelon


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

Target: = grape grape banana penguin = grape grape


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

Target: strawberry horse strawberry horse - + =


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

Target: lion - lion peach *


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

Target: buffalo * + blueberry pear -


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

Target: seal zebra seal zebra seal zebra = +


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

Target: * eagle shark * blackberry


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

Target: * * lion seal shark banana +


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

Target: horse blueberry apple + + - blueberry apple


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

Target: = grape cobra grape cobra * buffalo


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

Target: - zebra zebra * + seal stork


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

Target: + - pear shark blueberry buffalo


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

Target: peach cobra penguin - + *


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

Target: watermelon + - * peach whale peach whale


Source: Rules: Y X - - + | Substitutions: X by " cobra banana " , Y by " blueberry eagle "

Target: blueberry eagle cobra banana - - +


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

Target: horse grape + + horse grape horse horse +


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

Target: grape blackberry - strawberry = grape blackberry -


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

Target: buffalo buffalo - apple + -


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

Target: apple = + kiwi shark =


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

Target: watermelon = * watermelon


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

Target: banana watermelon + whale zebra =


Source: Rules: * - Z X - | Substitutions: X by " buffalo zebra " , Z by " horse watermelon "

Target: * - horse watermelon buffalo zebra -


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

Target: shark horse banana + + horse banana


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

Target: + + cobra * pear horse rat


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

Target: = + blueberry kiwi - blueberry whale


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

Target: buffalo * + blackberry buffalo


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

Target: = + whale + penguin strawberry


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

Target: stork = - - stork


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

Target: banana lion cobra zebra * *


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

Target: + * rat - rat stork


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

Target: pear + + + shark peach penguin


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

Target: * + watermelon = strawberry pear watermelon


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

Target: kiwi shark - + shark whale = rat


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

Target: - - kiwi + blackberry blackberry


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

Target: - watermelon buffalo whale buffalo whale +


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

Target: horse watermelon = - horse watermelon * horse


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

Target: pear shark rat rat - =


Source: Rules: = = Z X * | Substitutions: X by " seal grape " , Z by " peach lion "

Target: = = peach lion seal grape *


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

Target: strawberry + stork watermelon stork watermelon +


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

Target: = - peach peach zebra apple *


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

Target: = + lion seal seal


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

Target: - = peach horse pear pear +


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

Target: * banana grape * cobra buffalo


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

Target: - stork rat - blackberry * rat


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

Target: = kiwi apple = * stork


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

Target: horse rat + + shark


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

Target: + * - blueberry blueberry blueberry blueberry


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

Target: - cobra grape cobra - blueberry strawberry


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

Target: * + pear * watermelon watermelon watermelon watermelon


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

Target: peach peach - pear =


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

Target: - = shark + shark stork pear


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

Target: blackberry * - eagle -


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

Target: whale * shark whale -


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

Target: + - blackberry = blackberry


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

Target: watermelon - = horse =


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

Target: lion * lion -


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

Target: buffalo watermelon buffalo watermelon - buffalo watermelon +


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

Target: * = blackberry eagle shark horse =


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

Target: shark blueberry - zebra whale shark blueberry *


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

Target: apple pear + = apple pear = horse


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

Target: + + * kiwi whale whale


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

Target: lion buffalo + banana lion buffalo * =


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

Target: penguin kiwi + * * eagle lion


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

Target: shark shark cobra = -


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

Target: shark grape = * - stork watermelon


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

Target: rat * rat + *


Source: Rules: Y X * + = Z | Substitutions: X by " strawberry apple " , Y by " pear blackberry " , Z by " cobra grape "

Target: pear blackberry strawberry apple * + = cobra grape


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

Target: buffalo - buffalo = grape whale


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

Target: seal whale * peach -


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

Target: + * banana - horse


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

Target: buffalo peach - * seal


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

Target: pear shark - pear shark - rat *


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

Target: = + * peach buffalo peach buffalo


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

Target: + cobra blueberry = shark shark =


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

Target: = - blackberry penguin strawberry


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

Target: zebra - penguin strawberry =


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

Target: horse lion horse + - -


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

Target: - = pear cobra lion


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

Target: * watermelon + = buffalo cobra watermelon


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

Target: eagle - buffalo grape eagle =


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

Target: = banana eagle + - pear cobra


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

Target: - shark zebra = = cobra


Source: Rules: Z Y - - * X | Substitutions: X by " banana grape " , Y by " strawberry " , Z by " watermelon horse "

Target: watermelon horse strawberry - - * banana grape


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

Target: - seal whale shark * *


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

Target: watermelon horse * lion watermelon horse - =


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

Target: strawberry blueberry = strawberry blueberry * peach strawberry


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

Target: lion blackberry peach + *


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

Target: - blackberry penguin watermelon - -


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

Target: stork cobra + - blackberry


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

Target: watermelon = - watermelon banana peach


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

Target: + + strawberry blackberry eagle strawberry


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

Target: stork blueberry stork blueberry - - * stork blueberry


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

Target: watermelon + * watermelon +


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

Target: + = horse peach stork eagle


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

Target: * whale = whale horse


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

Target: lion peach = stork +


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

Target: stork whale * stork whale +


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

Target: banana watermelon strawberry - =


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

Target: + eagle apple + = horse cobra


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

Target: - grape + banana banana grape


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

Target: zebra shark * kiwi buffalo =


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

Target: blackberry buffalo * + blackberry buffalo blackberry buffalo


Source: Rules: Z Y - = | Substitutions: Y by " banana rat " , Z by " seal zebra "

Target: seal zebra banana rat - =


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

Target: blackberry buffalo * strawberry +


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

Target: whale = = whale


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

Target: shark zebra buffalo + - + shark


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

Target: + - = blueberry blueberry eagle


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

Target: penguin eagle blackberry + penguin eagle =


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

Target: * + buffalo watermelon grape =


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

Target: = lion = + grape


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

Target: * cobra lion grape * lion grape


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

Target: - * + cobra blackberry apple


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

Target: horse apple * +


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

Target: horse zebra horse zebra buffalo * +


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

Target: = apple - - apple


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

Target: * whale eagle + - whale eagle whale eagle


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

Target: + blueberry kiwi + shark blackberry blueberry kiwi


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

Target: banana stork * -


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

Target: - penguin seal * strawberry peach stork grape


Source: Rules: = Z Z = | Substitutions: Z by " strawberry pear "

Target: = strawberry pear strawberry pear =


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

Target: kiwi watermelon strawberry kiwi * *


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

Target: rat banana * rat banana - eagle grape


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

Target: blackberry - kiwi peach = -


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

Target: = = = zebra cobra


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

Target: apple * strawberry +


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

Target: - zebra strawberry * apple shark


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

Target: eagle * eagle *


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

Target: cobra eagle horse + =


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

Target: rat * eagle = +


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

Target: * + buffalo lion shark pear


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

Target: grape * shark stork * grape


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

Target: * lion peach +


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

Target: eagle rat - - + blackberry blackberry


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

Target: + grape lion cobra horse grape lion - =


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

Target: = penguin * blueberry blueberry


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

Target: whale rat blackberry = + grape


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

Target: peach peach + - seal whale


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

Target: whale peach = + + whale peach whale blackberry


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

Target: whale shark = whale shark = *


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

Target: rat stork + - horse


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

Target: lion lion lion lion * -


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

Target: penguin zebra * * penguin zebra -


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

Target: stork + = horse = stork


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

Target: horse zebra horse zebra banana = =


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

Target: - stork banana lion banana lion + *


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

Target: + buffalo apple + buffalo *


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

Target: * - - banana stork banana stork


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

Target: strawberry watermelon pear = strawberry * -


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

Target: - banana rat seal -


Source: Rules: * Y Z X * | Substitutions: X by " penguin watermelon " , Y by " kiwi " , Z by " shark eagle "

Target: * kiwi shark eagle penguin watermelon *


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

Target: + lion = - lion


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

Target: watermelon watermelon strawberry * -


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

Target: - = kiwi apple kiwi apple


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

Target: = penguin penguin - banana whale


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

Target: * apple * apple


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

Target: - peach * blackberry - horse lion


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

Target: = = rat cobra apple - grape banana


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

Target: peach pear = = peach pear *


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

Target: - + shark kiwi * shark kiwi


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

Target: stork - stork * stork =


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

Target: = whale whale + *


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

Target: = lion * * zebra


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

Target: strawberry shark = + strawberry shark eagle


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

Target: = = apple apple


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

Target: horse horse + = horse


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

Target: penguin penguin - penguin penguin * = buffalo zebra


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

Target: blackberry - shark grape * blackberry


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

Target: + * buffalo cobra - penguin


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

Target: * * lion kiwi zebra rat *


Source: Rules: + = Z X X - | Substitutions: X by " blueberry peach " , Z by " eagle grape "

Target: + = eagle grape blueberry peach blueberry peach -


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

Target: - banana whale * * whale


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

Target: + peach penguin - - buffalo stork buffalo stork


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

Target: watermelon penguin watermelon penguin + cobra kiwi + +


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

Target: - blackberry blackberry = shark +


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

Target: penguin blueberry penguin blueberry - whale *


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

Target: + + whale blueberry


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

Target: horse * cobra cobra *


Source: Rules: + + X - X | Substitutions: X by " blueberry pear "

Target: + + blueberry pear - blueberry pear


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

Target: = buffalo seal shark - buffalo seal +


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

Target: = stork * = grape


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

Target: = watermelon * watermelon


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

Target: + blackberry whale strawberry strawberry *


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

Target: kiwi whale kiwi whale + eagle zebra -


Source: Rules: Y X = - Z | Substitutions: X by " shark zebra " , Y by " watermelon " , Z by " peach blueberry "

Target: watermelon shark zebra = - peach blueberry


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

Target: * buffalo + pear


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

Target: zebra * - zebra -


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

Target: * banana * + apple horse


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

Target: zebra zebra + = =


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

Target: - seal seal - = grape shark pear


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

Target: - - strawberry strawberry seal


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

Target: - whale blackberry peach - + blackberry peach


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

Target: zebra kiwi apple = = +


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

Target: penguin penguin lion banana * =


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

Target: pear seal pear seal penguin penguin + +


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

Target: stork blackberry + + + stork blackberry


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

Target: rat rat * rat rat + rat rat


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

Target: + lion horse + = eagle whale


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

Target: stork seal + = *


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

Target: * + peach = peach


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

Target: + * whale lion watermelon * strawberry cobra


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

Target: + horse - * horse


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

Target: = grape * + apple grape


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

Target: whale rat zebra + - -


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

Target: + = cobra + cobra cobra


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

Target: eagle stork = eagle =


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

Target: cobra pear * cobra pear cobra pear -


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

Target: = - strawberry eagle blackberry horse


Source: Rules: * + = Y X | Substitutions: X by " penguin stork " , Y by " eagle strawberry "

Target: * + = eagle strawberry penguin stork


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

Target: + + rat whale grape


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

Target: = = + whale stork blueberry


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

Target: buffalo rat + buffalo seal buffalo rat =


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

Target: = pear buffalo pear buffalo +


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

Target: strawberry cobra * = * kiwi seal


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

Target: banana seal = - blueberry apple * banana seal


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

Target: shark apple + - * shark apple


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

Target: penguin peach lion peach lion + *


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

Target: + - - buffalo shark eagle penguin


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

Target: shark lion + shark lion - = horse


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

Target: + apple lion - apple


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

Target: zebra = - banana eagle strawberry blueberry


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

Target: apple buffalo = = * seal pear


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

Target: * * grape grape buffalo


Source: Rules: * = X + Y | Substitutions: X by " strawberry blackberry " , Y by " pear watermelon "

Target: * = strawberry blackberry + pear watermelon


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

Target: + zebra whale blackberry = -


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

Target: lion = lion = kiwi -


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

Target: + horse kiwi watermelon blackberry buffalo *


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

Target: = + whale penguin buffalo


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

Target: lion strawberry - buffalo lion strawberry *


Source: Rules: X = = Z Y | Substitutions: X by " horse peach " , Y by " stork blueberry " , Z by " watermelon seal "

Target: horse peach = = watermelon seal stork blueberry


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

Target: grape strawberry strawberry - + grape strawberry =


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

Target: = + - blackberry cobra shark shark


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

Target: = = buffalo kiwi buffalo kiwi + blackberry blueberry


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

Target: * blueberry eagle - seal * seal


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

Target: - = penguin - banana


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

Target: * - - blueberry blueberry


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

Target: + = kiwi kiwi horse peach *


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

Target: rat * rat *


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

Target: lion rat + horse lion rat -


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

Target: zebra banana * + horse strawberry


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

Target: + - + apple apple


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

Target: cobra rat banana - + =


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

Target: * strawberry banana buffalo blackberry - buffalo blackberry -


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

Target: rat rat zebra - *


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

Target: pear = pear + *


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

Target: horse horse whale pear * =


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

Target: = rat - rat


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

Target: * cobra grape +


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

Target: rat zebra kiwi - =


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

Target: - rat strawberry rat strawberry =


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

Target: peach lion + blueberry zebra blueberry zebra * *


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

Target: * * horse cobra horse cobra banana


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

Target: - horse rat stork cobra horse rat - +


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

Target: watermelon blueberry rat - blueberry blueberry +


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

Target: pear = grape horse * horse apple


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

Target: blackberry + = - strawberry


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

Target: strawberry zebra = grape + watermelon peach


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

Target: blackberry seal blackberry seal * -


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

Target: blackberry - blackberry -


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

Target: cobra cobra = * - cobra


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

Target: zebra - blueberry whale = = seal


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

Target: - whale watermelon seal - *


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

Target: = eagle penguin whale *


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

Target: seal = + grape +


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

Target: + stork zebra apple apple = *


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

Target: = eagle grape kiwi + -


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

Target: + + eagle peach eagle peach


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

Target: grape banana whale grape banana - =


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

Target: horse blackberry cobra + * *


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

Target: kiwi = + seal * seal


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

Target: + * = lion blueberry lion blueberry lion blueberry


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

Target: strawberry = - strawberry


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

Target: seal - whale watermelon + *


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

Target: eagle * - eagle


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

Target: apple = = zebra rat + apple


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

Target: * grape blueberry = -


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

Target: - strawberry - blueberry rat =


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

Target: blueberry watermelon horse buffalo - * grape *


Source: Rules: + - Z X Z = | Substitutions: X by " penguin peach " , Z by " shark watermelon "

Target: + - shark watermelon penguin peach shark watermelon =


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

Target: * lion rat + = penguin


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

Target: + = lion horse kiwi =


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

Target: penguin banana + = banana =


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

Target: peach pear * peach pear *


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

Target: * = horse blackberry blackberry pear *


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

Target: blackberry buffalo = kiwi lion kiwi lion *


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

Target: stork shark * * zebra stork shark


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

Target: - = strawberry blueberry lion


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

Target: rat whale peach * - rat =


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

Target: buffalo eagle + seal *


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

Target: = * blackberry peach horse buffalo


Source: Rules: - X = - Z | Substitutions: X by " kiwi seal " , Z by " watermelon stork "

Target: - kiwi seal = - watermelon stork


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

Target: seal lion * seal lion + eagle


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

Target: watermelon horse - * watermelon horse


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

Target: + = apple whale apple whale +


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

Target: = horse = strawberry horse -


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

Target: + - + zebra pear peach peach


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

Target: + rat seal horse = seal horse


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

Target: = stork strawberry stork strawberry banana = +


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

Target: - = blueberry blueberry + watermelon stork eagle


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

Target: peach + peach zebra *


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

Target: + = penguin watermelon


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

Target: strawberry lion watermelon zebra + * lion


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

Target: - grape banana - stork *


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

Target: + zebra watermelon eagle =


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

Target: banana pear seal = -


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

Target: = grape penguin - pear cobra pear


Source: Rules: = - Y X * Z | Substitutions: X by " cobra watermelon " , Y by " apple peach " , Z by " whale "

Target: = - apple peach cobra watermelon * whale


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

Target: + blackberry * shark horse horse


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

Target: eagle buffalo eagle buffalo + penguin blackberry * =


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

Target: = blueberry cobra zebra +


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

Target: banana peach = - eagle


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

Target: kiwi strawberry horse - kiwi =


Source: Rules: * Z * Y X | Substitutions: X by " banana " , Y by " zebra grape " , Z by " buffalo banana "

Target: * buffalo banana * zebra grape banana


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

Target: - watermelon seal cobra cobra +


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

Target: - grape - lion watermelon - lion watermelon


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

Target: = seal blueberry penguin * blueberry penguin *


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

Target: = - kiwi pear kiwi pear


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

Target: kiwi whale shark buffalo = + *


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

Target: horse + = * banana


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

Target: + = lion peach blackberry =


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

Target: grape = = shark grape *


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

Target: = whale apple * - apple lion apple lion


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

Target: + cobra buffalo cobra buffalo peach penguin +


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

Target: - - horse buffalo peach


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

Target: whale peach whale blueberry - whale peach -


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

Target: watermelon + = watermelon blackberry =


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

Target: + buffalo blackberry - banana strawberry =


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

Target: blueberry stork banana * =


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

Target: lion grape lion grape - + -


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

Target: = = stork zebra apple +


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

Target: = = apple rat = apple rat


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

Target: * rat horse + apple +


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

Target: seal strawberry = watermelon shark watermelon shark =


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

Target: + grape cobra * lion peach grape cobra


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

Target: strawberry * * - blackberry blackberry


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

Target: zebra peach * rat * zebra peach


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

Target: - kiwi apple blackberry - * apple blackberry


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

Target: blackberry blackberry - banana =


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

Target: strawberry blueberry = - strawberry blueberry peach lion +


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

Target: + horse kiwi horse kiwi + -


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

Target: cobra strawberry cobra strawberry cobra strawberry * - *


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

Target: + = stork peach grape + peach penguin


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

Target: eagle eagle - lion * lion


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

Target: shark lion * stork shark - +


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

Target: - stork banana kiwi + banana kiwi


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

Target: banana * + banana


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

Target: - banana shark blackberry * banana shark


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

Target: eagle eagle = * + horse buffalo


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

Target: - * blueberry blueberry


Source: Rules: Z - + X Y | Substitutions: X by " shark penguin " , Y by " horse " , Z by " banana "

Target: banana - + shark penguin horse


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

Target: * - stork = cobra eagle apple


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

Target: + lion rat = - kiwi stork zebra


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

Target: strawberry + strawberry = strawberry


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

Target: - apple - kiwi kiwi apple


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

Target: seal * * seal


Source: Rules: X - - Y + Z | Substitutions: X by " penguin grape " , Y by " rat buffalo " , Z by " peach "

Target: penguin grape - - rat buffalo + peach


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

Target: shark = kiwi +


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

Target: = shark blueberry strawberry shark -


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

Target: penguin seal + * = penguin


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

Target: = watermelon + + whale stork


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

Target: - * banana apple banana apple -


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

Target: * - penguin penguin penguin =


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

Target: apple cobra horse + horse =


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

Target: grape grape * * grape grape


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

Target: lion + shark apple lion + +


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

Target: - penguin penguin penguin shark + penguin penguin


Source: Rules: * Y X * | Substitutions: X by " rat banana " , Y by " whale "

Target: * whale rat banana *


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

Target: * + seal pear - whale peach


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

Target: - = grape grape lion


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

Target: kiwi kiwi watermelon grape + + -


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

Target: seal cobra - blueberry = zebra


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

Target: - shark banana = shark


Source: Rules: Z Z * * | Substitutions: Z by " horse banana "

Target: horse banana horse banana * *


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

Target: rat penguin seal + * penguin seal


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

Target: kiwi = * + penguin


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

Target: + pear blueberry - = pear blueberry stork


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

Target: rat blueberry - - grape rat blueberry


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

Target: = kiwi kiwi + shark blackberry *


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

Target: - shark shark peach whale -


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

Target: + blackberry apple - lion pear -


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

Target: * blackberry blackberry *


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

Target: eagle seal rat rat - * -


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

Target: - shark banana watermelon blueberry -


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

Target: = lion peach pear lion +


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

Target: buffalo shark buffalo shark * - =


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

Target: banana * peach * -


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

Target: + banana banana - grape


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

Target: whale eagle stork * blackberry - =


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

Target: lion zebra = lion zebra watermelon +


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

Target: = seal zebra * zebra


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

Target: = watermelon eagle * apple apple


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

Target: * blueberry pear blackberry = +


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

Target: = - apple apple kiwi


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

Target: = buffalo eagle buffalo eagle + *


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

Target: watermelon = shark + +


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

Target: - = seal rat zebra buffalo grape *


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

Target: seal stork + blueberry +


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

Target: - whale banana + -


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

Target: = blueberry stork * =


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

Target: - seal whale cobra seal whale +


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

Target: pear watermelon - - pear watermelon


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

Target: = rat + watermelon


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

Target: * - apple whale apple whale


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

Target: = + = horse peach horse peach


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

Target: blackberry blueberry + lion +


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

Target: banana strawberry - pear = = pear


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

Target: = kiwi blueberry = - eagle seal kiwi blueberry


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

Target: peach cobra = *


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

Target: whale zebra + seal blueberry = + seal blueberry


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

Target: cobra = + rat cobra


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

Target: apple watermelon apple watermelon - = apple watermelon *


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

Target: + watermelon kiwi eagle * kiwi eagle


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

Target: watermelon cobra = eagle -


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

Target: * * blueberry - peach zebra peach zebra


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

Target: rat + * seal


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

Target: banana - horse zebra rat *


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

Target: * * = kiwi kiwi


Source: Rules: + Z Y * X | Substitutions: X by " peach stork " , Y by " strawberry watermelon " , Z by " apple "

Target: + apple strawberry watermelon * peach stork


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

Target: * shark strawberry * strawberry


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

Target: - seal shark + *


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

Target: * peach cobra + peach cobra peach cobra


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

Target: strawberry - zebra zebra *


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

Target: - = strawberry stork = grape banana


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

Target: = grape banana - seal + seal


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

Target: peach = kiwi + * kiwi


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

Target: - + seal seal banana eagle =


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

Target: + kiwi = + kiwi cobra


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

Target: blackberry - whale whale =


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

Target: - seal peach = seal blueberry =


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

Target: blackberry * * watermelon buffalo


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

Target: * banana = - eagle eagle


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

Target: * lion lion =


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

Target: = horse - = horse horse


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

Target: * apple * apple * apple


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

Target: * penguin stork * penguin stork + penguin stork


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

Target: = * pear shark - penguin


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

Target: + apple apple cobra = -


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

Target: shark grape - shark grape + rat


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

Target: buffalo * horse *


Source: Rules: = = Z Z Z | Substitutions: Z by " shark strawberry "

Target: = = shark strawberry shark strawberry shark strawberry


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

Target: buffalo + buffalo stork = -


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

Target: horse banana * = rat zebra horse banana =


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

Target: - cobra cobra + - lion stork cobra cobra


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

Target: * cobra = cobra


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

Target: apple banana buffalo = - banana buffalo


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

Target: * = peach peach pear kiwi penguin


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

Target: - blackberry peach rat blackberry +


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

Target: peach zebra blueberry blackberry + =


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

Target: apple - peach peach +


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

Target: - penguin + penguin -


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

Target: - = = seal blackberry lion seal


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

Target: penguin strawberry + = seal rat = penguin strawberry


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

Target: = rat peach apple =


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

Target: cobra watermelon blueberry rat + cobra watermelon *


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

Target: strawberry stork strawberry stork * strawberry stork - =


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

Target: zebra lion = watermelon watermelon =


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

Target: zebra = + lion + zebra


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

Target: = - whale cobra peach kiwi


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

Target: = pear kiwi banana zebra * +


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

Target: banana seal * - * banana seal apple


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

Target: - peach - cobra stork peach *


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

Target: eagle * grape blueberry -


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

Target: - eagle * peach blueberry -


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

Target: + shark kiwi = rat blueberry +


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

Target: + - banana zebra zebra banana *


Source: Rules: X Z - Y - | Substitutions: X by " peach " , Y by " rat seal " , Z by " lion "

Target: peach lion - rat seal -


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

Target: eagle = eagle + - watermelon blackberry


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

Target: stork * banana grape +


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

Target: whale blackberry - whale blackberry -


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

Target: * cobra peach - cobra peach +


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

Target: apple apple * - * blackberry strawberry


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

Target: kiwi = * kiwi watermelon


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

Target: rat = blueberry stork + rat


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

Target: - - apple seal * seal whale


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

Target: strawberry strawberry = strawberry +


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

Target: buffalo blueberry * - eagle


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

Target: * apple zebra apple zebra apple zebra -


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

Target: - - strawberry seal


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

Target: grape whale watermelon blueberry = = *


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

Target: - cobra stork rat banana - =


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

Target: = kiwi stork lion =


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

Target: = cobra lion strawberry + *


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

Target: - - banana banana + horse stork


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

Target: grape lion watermelon rat watermelon rat * *


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

Target: + = strawberry whale strawberry whale penguin zebra


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

Target: strawberry - - penguin +


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

Target: * + stork whale


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

Target: horse lion * shark +


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

Target: strawberry apple rat pear - rat watermelon *


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

Target: = shark horse * horse


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

Target: grape shark = - *


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

Target: - banana * eagle seal


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

Target: = watermelon watermelon = lion *


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

Target: peach watermelon + banana pear peach watermelon =


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

Target: eagle buffalo watermelon = + * eagle buffalo


Source: Rules: + Z + Z | Substitutions: Z by " horse stork "

Target: + horse stork + horse stork


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

Target: penguin apple + - lion kiwi *


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

Target: eagle grape = eagle grape + eagle grape


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

Target: horse horse * = -


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

Target: - + zebra seal whale


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

Target: - * banana lion stork zebra


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

Target: * whale - = pear


Source: Rules: * Z Y + = X | Substitutions: X by " grape lion " , Y by " eagle cobra " , Z by " rat "

Target: * rat eagle cobra + = grape lion


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

Target: * - cobra watermelon *


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

Target: = + kiwi grape kiwi grape


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

Target: * strawberry lion - - eagle stork


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

Target: shark zebra + shark zebra shark zebra *


Source: Rules: Z Y = = - Y | Substitutions: Y by " kiwi eagle " , Z by " lion cobra "

Target: lion cobra kiwi eagle = = - kiwi eagle


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

Target: * horse horse * +


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

Target: - + shark shark buffalo stork +


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

Target: - cobra eagle - zebra =


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

Target: * grape peach + = kiwi


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

Target: + watermelon + * apple


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

Target: * lion buffalo +


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

Target: watermelon + * = watermelon


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

Target: + seal penguin pear stork stork blueberry *


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

Target: apple * - = kiwi eagle


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

Target: + blackberry grape blackberry grape =


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

Target: seal = rat = rat


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

Target: whale blackberry apple blackberry blackberry + =


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

Target: zebra + * apple apple


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

Target: apple peach apple peach = -


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

Target: = buffalo stork *


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

Target: * lion watermelon = watermelon *


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

Target: lion zebra + zebra - =


Source: Rules: * = - X Z | Substitutions: X by " apple zebra " , Z by " penguin cobra "

Target: * = - apple zebra penguin cobra


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

Target: seal = = blackberry seal - eagle


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

Target: banana blueberry strawberry blueberry whale = =


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

Target: horse * kiwi blackberry -


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

Target: + strawberry blackberry *


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

Target: buffalo = grape zebra pear blueberry + -


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

Target: - = * whale strawberry eagle apple


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

Target: horse horse * horse horse *


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

Target: shark shark - kiwi shark shark =


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

Target: blackberry shark blackberry shark cobra + = +


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

Target: buffalo * + eagle watermelon = eagle watermelon


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

Target: * cobra blueberry peach buffalo = -


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

Target: penguin eagle penguin eagle * * = shark kiwi


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

Target: eagle + shark shark +


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

Target: lion shark - + buffalo = lion shark


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

Target: + lion shark * - lion shark


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

Target: = seal pear blueberry watermelon seal pear +


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

Target: - grape shark grape shark eagle cobra = +


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

Target: stork apple apple = *


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

Target: * = lion pear shark apple =


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

Target: * + stork seal penguin seal


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

Target: seal horse cobra buffalo lion - +


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

Target: + zebra peach = peach +


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

Target: strawberry banana = - +


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

Target: = kiwi pear whale * + kiwi pear


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

Target: whale peach + whale peach * *


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

Target: = zebra whale = pear -


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

Target: grape seal apple grape * =


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

Target: + cobra buffalo eagle pear eagle pear -


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

Target: blueberry lion - stork buffalo -


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

Target: - buffalo grape shark lion - -


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

Target: * = zebra eagle


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

Target: grape grape = = *


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

Target: = horse whale - blackberry +


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

Target: pear shark * rat + pear


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

Target: = pear pear cobra + * cobra


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

Target: + kiwi kiwi = * rat


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

Target: + banana stork stork zebra = - banana stork


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

Target: zebra * zebra - = zebra


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

Target: lion shark = =


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

Target: - - rat rat apple kiwi


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

Target: + peach = = rat penguin


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

Target: zebra grape + * zebra grape


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

Target: = eagle watermelon cobra = -


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

Target: + zebra apple zebra apple + whale cobra -


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

Target: grape = zebra +


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

Target: shark buffalo - * + shark


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

Target: eagle + + + eagle


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

Target: + lion lion -


Source: Rules: Y * + Z Z | Substitutions: Y by " apple lion " , Z by " rat watermelon "

Target: apple lion * + rat watermelon rat watermelon


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

Target: * + seal watermelon seal = seal watermelon


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

Target: zebra = zebra blackberry peach *