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

Target: + kiwi blackberry kiwi blackberry * =


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

Target: shark - * = whale horse


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

Target: - lion seal blackberry strawberry stork rat =


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

Target: horse + + horse


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

Target: + * penguin penguin banana penguin banana


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

Target: = peach - whale -


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

Target: - pear whale + - penguin kiwi


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

Target: pear pear lion * pear = +


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

Target: watermelon watermelon * = =


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

Target: = kiwi + pear watermelon pear watermelon


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

Target: + eagle shark -


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

Target: * blackberry grape * * grape


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

Target: zebra zebra * * seal -


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

Target: cobra penguin cobra penguin * = cobra


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

Target: - peach = * blackberry stork penguin


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

Target: kiwi peach - peach *


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

Target: zebra cobra peach cobra peach + -


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

Target: = + apple lion zebra zebra +


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

Target: stork stork stork + +


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

Target: = banana stork banana = stork banana


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

Target: blackberry blackberry strawberry apple = -


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

Target: banana blackberry - penguin buffalo =


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

Target: - * peach whale seal -


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

Target: blueberry whale blueberry whale peach * *


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

Target: = banana * banana


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

Target: * strawberry + peach watermelon *


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

Target: * shark shark *


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

Target: + rat blackberry pear banana strawberry -


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

Target: lion banana - lion banana apple shark -


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

Target: stork zebra blueberry seal - *


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

Target: seal shark - seal shark + seal shark


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

Target: blueberry horse - + blueberry horse blueberry horse


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

Target: - stork penguin = kiwi *


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

Target: kiwi stork strawberry blueberry - + horse +


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

Target: = strawberry penguin * =


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

Target: + whale rat whale rat +


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

Target: rat - cobra * + cobra


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

Target: stork watermelon stork watermelon * blackberry stork + =


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

Target: * horse lion = zebra


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

Target: lion - blueberry stork + * blueberry stork


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

Target: = apple strawberry strawberry lion - +


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

Target: * buffalo cobra * buffalo rat


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

Target: grape lion * grape lion +


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

Target: blueberry * pear -


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

Target: penguin blueberry + blackberry = penguin blueberry -


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

Target: pear lion blackberry * + -


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

Target: banana blackberry = + banana blackberry * whale


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

Target: + = stork strawberry stork strawberry =


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

Target: rat zebra * + rat zebra blackberry eagle


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

Target: * shark shark lion buffalo +


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

Target: banana = * blackberry horse cobra rat


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

Target: banana = horse seal buffalo -


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

Target: = - seal blueberry rat pear rat pear


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

Target: = watermelon watermelon strawberry -


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

Target: horse blueberry horse blueberry * -


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

Target: - + + pear peach zebra


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

Target: eagle penguin pear penguin * = eagle penguin +


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

Target: = * banana * watermelon pear


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

Target: shark cobra - +


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

Target: + = whale penguin whale penguin


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

Target: + kiwi + * kiwi kiwi


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

Target: grape lion - + whale


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

Target: - + lion - pear


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

Target: rat zebra = buffalo +


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

Target: * stork stork stork stork = =


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

Target: * whale * whale *


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

Target: lion lion = - zebra


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

Target: - + horse horse zebra shark


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

Target: eagle strawberry = - zebra lion - kiwi watermelon


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

Target: + - - penguin pear grape


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

Target: + = apple apple


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

Target: whale pear + = whale pear = apple rat


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

Target: = pear - pear penguin pear penguin


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

Target: banana + watermelon penguin +


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

Target: rat strawberry = whale whale rat strawberry - +


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

Target: - whale watermelon * * strawberry


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

Target: + rat shark * rat shark =


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

Target: = - blackberry * cobra


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

Target: - - blueberry rat * blueberry rat blueberry rat


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

Target: zebra buffalo zebra buffalo grape = * +


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

Target: shark shark + = +


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

Target: lion lion + lion lion * lion lion


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

Target: banana strawberry + buffalo banana strawberry - -


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

Target: = pear blueberry * - apple


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

Target: * rat peach + rat peach +


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

Target: cobra watermelon + = cobra


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

Target: + - pear blueberry pear blueberry


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

Target: + seal grape * lion stork blueberry blackberry


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

Target: + pear peach watermelon whale peach blackberry +


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

Target: + kiwi * kiwi


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

Target: seal penguin stork seal penguin * -


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

Target: cobra cobra * shark peach =


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

Target: horse kiwi blackberry - peach +


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

Target: horse strawberry eagle = horse *


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

Target: = = banana peach banana peach -


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

Target: + peach buffalo eagle cobra - *


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

Target: strawberry * blueberry buffalo -


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

Target: - + grape penguin = zebra strawberry


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

Target: * apple stork = = banana


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

Target: buffalo blackberry + zebra zebra buffalo blackberry = +


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

Target: - buffalo = seal shark buffalo


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

Target: + whale whale *


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

Target: banana strawberry strawberry whale - pear strawberry - =


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

Target: = grape banana zebra *


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

Target: - - buffalo strawberry buffalo strawberry buffalo stork -


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

Target: horse blackberry + horse blackberry watermelon + -


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

Target: * seal banana - - seal banana whale pear


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

Target: rat watermelon + shark *


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

Target: cobra strawberry * - cobra strawberry blueberry kiwi -


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

Target: = apple - - penguin shark


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

Target: lion zebra lion zebra * lion zebra *


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

Target: pear whale + - pear whale


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

Target: = grape - shark -


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

Target: blackberry lion * = blackberry lion


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

Target: + lion blueberry = buffalo buffalo


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

Target: banana stork = seal + cobra


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

Target: + seal shark + seal


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

Target: * horse * * horse whale pear


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

Target: penguin rat * - penguin rat


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

Target: buffalo kiwi + = whale + horse seal


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

Target: watermelon watermelon zebra strawberry = -


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

Target: whale apple = blackberry grape * blackberry grape


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

Target: = blueberry lion buffalo -


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

Target: * + + stork blackberry rat


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

Target: * blackberry eagle *


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

Target: + whale = buffalo cobra buffalo blackberry


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

Target: + - penguin zebra cobra *


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

Target: lion = lion whale *


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

Target: zebra apple = * zebra apple = zebra apple


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

Target: = * - blueberry cobra peach shark


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

Target: = peach stork zebra *


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

Target: whale * whale - =


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

Target: * = eagle banana eagle banana = horse


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

Target: watermelon horse * seal * +


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

Target: * pear kiwi cobra rat - -


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

Target: whale whale * -


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

Target: seal + - rat penguin


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

Target: rat banana zebra - rat banana =


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

Target: = * + penguin horse blackberry


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

Target: buffalo cobra * + buffalo cobra banana


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

Target: cobra penguin - cobra penguin = -


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

Target: * banana banana - =


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

Target: = blueberry buffalo + *


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

Target: penguin + = blackberry blackberry +


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

Target: = * shark shark - shark shark


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

Target: = watermelon rat = watermelon rat cobra =


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

Target: * = - apple blackberry banana blackberry banana


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

Target: - + kiwi seal kiwi seal


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

Target: stork banana + stork banana -


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

Target: * apple seal strawberry zebra blueberry = =


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

Target: pear = * shark pear


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

Target: stork zebra horse - = * horse zebra


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

Target: eagle stork buffalo + *


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

Target: lion grape horse * grape horse -


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

Target: eagle = = banana banana


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

Target: = + - whale cobra horse horse


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

Target: pear banana * - strawberry *


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

Target: = * stork grape horse stork grape


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

Target: pear grape strawberry = *


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

Target: blackberry whale + * blackberry whale apple


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

Target: shark grape = shark grape = whale kiwi =


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

Target: pear peach = pear peach kiwi buffalo * -


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

Target: * blackberry blackberry + eagle -


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

Target: - lion zebra strawberry strawberry + -


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

Target: strawberry peach * eagle *


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

Target: * pear * penguin pear


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

Target: = seal horse seal horse cobra grape +


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

Target: lion seal zebra - = = grape


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

Target: strawberry pear strawberry pear - strawberry pear + -


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

Target: blueberry + blueberry =


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

Target: * shark rat + apple *


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

Target: seal cobra shark grape - +


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

Target: seal = * zebra seal


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

Target: whale + - whale


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

Target: = rat strawberry watermelon banana *


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

Target: horse lion buffalo whale + +


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

Target: - seal * shark


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

Target: + buffalo = kiwi


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

Target: * kiwi * eagle kiwi kiwi


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

Target: = watermelon watermelon shark +


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

Target: seal rat * strawberry buffalo watermelon =


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

Target: lion zebra cobra lion * = -


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

Target: horse + * horse


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

Target: grape grape + grape -


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

Target: apple strawberry eagle grape * - eagle grape


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

Target: + cobra penguin strawberry cobra +


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

Target: zebra zebra = strawberry apple +


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

Target: * peach buffalo cobra blackberry + - cobra blackberry


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

Target: + banana grape apple - banana


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

Target: * * watermelon rat watermelon +


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

Target: - rat = rat + peach


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

Target: = grape - penguin


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

Target: pear seal - cobra +


Source: Rules: * Y Z X = | Substitutions: X by " kiwi whale " , Y by " eagle " , Z by " seal buffalo "

Target: * eagle seal buffalo kiwi whale =


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

Target: whale = = eagle


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

Target: lion watermelon + - strawberry banana


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

Target: + + horse rat penguin =


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

Target: * + strawberry penguin * apple seal


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

Target: blackberry apple = = = stork horse


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

Target: shark + rat * * horse


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

Target: * + * horse zebra blueberry banana peach


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

Target: blueberry eagle blueberry + + eagle blueberry *


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

Target: * seal eagle apple - +


Source: Rules: X + Z = Y | Substitutions: X by " shark " , Y by " penguin " , Z by " horse eagle "

Target: shark + horse eagle = penguin


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

Target: * horse peach - whale


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

Target: * zebra shark lion grape cobra = *


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

Target: whale pear * strawberry -


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

Target: blackberry * - + horse buffalo


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

Target: * kiwi = kiwi penguin grape *


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

Target: = watermelon strawberry zebra + *


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

Target: + = rat rat


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

Target: = stork cobra - stork cobra -


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

Target: eagle stork eagle stork - eagle stork = +


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

Target: horse zebra * - horse zebra


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

Target: blackberry strawberry = eagle cobra - watermelon zebra


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

Target: shark cobra kiwi zebra + kiwi zebra =


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

Target: + cobra cobra strawberry * -


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

Target: - kiwi - strawberry apple


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

Target: - peach seal - buffalo peach seal


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

Target: * * banana buffalo blueberry = blueberry


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

Target: cobra lion + = cobra


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

Target: + = penguin whale penguin penguin whale


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

Target: pear rat - = pear rat


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

Target: zebra - * * watermelon


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

Target: * seal penguin * cobra watermelon seal penguin -


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

Target: + stork * blueberry whale blueberry whale *


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

Target: zebra + + peach strawberry zebra -


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

Target: kiwi seal + horse lion = kiwi seal


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

Target: - watermelon + peach watermelon =


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

Target: banana pear strawberry * -


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

Target: * lion zebra + pear


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

Target: horse penguin horse penguin - * horse eagle


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

Target: + - blueberry blueberry -


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

Target: - rat rat = * rat


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

Target: + = cobra cobra


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

Target: + horse horse * horse


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

Target: banana horse shark = +


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

Target: * grape - grape grape


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

Target: eagle + eagle - -


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

Target: = - seal * watermelon seal


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

Target: eagle = pear lion eagle + *


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

Target: * = horse blackberry pear zebra


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

Target: banana * buffalo kiwi = =


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

Target: zebra = zebra =


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

Target: = peach penguin peach penguin +


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

Target: = = stork seal stork seal cobra -


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

Target: = watermelon seal + watermelon seal watermelon seal *


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

Target: buffalo + banana stork + buffalo


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

Target: seal seal = * watermelon cobra


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

Target: lion eagle * lion eagle * +


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

Target: - = kiwi penguin kiwi penguin strawberry


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

Target: peach peach * penguin =


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

Target: whale horse - whale horse blackberry pear =


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

Target: rat + grape rat -


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

Target: = + penguin grape = blackberry


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

Target: - = grape grape grape -


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

Target: stork = = kiwi eagle


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

Target: horse = + horse =


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

Target: * + banana watermelon


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

Target: zebra = = horse +


Source: Rules: = * - Z Y X | Substitutions: X by " banana " , Y by " blueberry blackberry " , Z by " eagle lion "

Target: = * - eagle lion blueberry blackberry banana


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

Target: = * penguin whale + blackberry penguin whale


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

Target: blackberry blackberry + - watermelon cobra


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

Target: seal seal - + penguin -


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

Target: pear cobra rat watermelon = rat watermelon = *


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

Target: - * zebra eagle zebra eagle


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

Target: blueberry = * blueberry


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

Target: = grape cobra + grape pear


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

Target: rat apple penguin + stork lion = =


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

Target: - shark blackberry - shark blackberry -


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

Target: shark - shark -


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

Target: apple peach + cobra blueberry cobra blueberry -


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

Target: horse = peach = peach *


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

Target: penguin lion lion - =


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

Target: eagle - eagle eagle + =


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

Target: = lion buffalo * cobra


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

Target: - blueberry + peach +


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

Target: blueberry grape blueberry grape * -


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

Target: buffalo seal - * lion apple - blueberry


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

Target: = whale lion blackberry = watermelon pear


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

Target: + * peach whale peach whale peach whale *


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

Target: seal peach * seal peach -


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

Target: banana banana = *


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

Target: pear = pear = *


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

Target: pear kiwi = pear kiwi +


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

Target: * * whale whale *


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

Target: penguin watermelon = = penguin pear penguin pear


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

Target: pear kiwi + = seal


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

Target: watermelon penguin blackberry blackberry * * +


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

Target: + stork cobra stork cobra - -


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

Target: - - shark shark * banana


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

Target: + cobra = peach stork + peach stork


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

Target: - * whale - zebra


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

Target: = - kiwi horse watermelon


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

Target: penguin = + zebra -


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

Target: * zebra = horse buffalo cobra pear =


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

Target: = zebra whale pear +


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

Target: buffalo eagle banana - +


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

Target: banana + = = banana


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

Target: * zebra blueberry = apple eagle


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

Target: - eagle watermelon penguin apple * + shark


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

Target: penguin lion * eagle -


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

Target: banana apple = banana apple + +


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

Target: blackberry * eagle horse pear +


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

Target: horse + horse = + horse


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

Target: stork penguin - shark lion -


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

Target: apple - - banana *


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

Target: = buffalo grape buffalo -


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

Target: + * penguin strawberry grape eagle grape eagle


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

Target: - = lion cobra


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

Target: watermelon lion = strawberry kiwi *


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

Target: eagle buffalo stork + stork +


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

Target: = peach watermelon apple *


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

Target: - zebra + blueberry


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

Target: + shark apple horse -


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

Target: cobra - stork =


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

Target: blueberry + + kiwi pear * blueberry


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

Target: stork pear - = - stork pear


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

Target: grape stork + - grape stork


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

Target: stork = whale + stork


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

Target: = seal banana rat pear seal banana +


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

Target: = * seal + seal


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

Target: = eagle * eagle


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

Target: eagle + = eagle


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

Target: + * peach buffalo peach buffalo peach buffalo


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

Target: shark - + * cobra


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

Target: zebra + = = blueberry


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

Target: = penguin shark penguin shark * + penguin shark


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

Target: = eagle shark peach + =


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

Target: + eagle blueberry buffalo blueberry + *


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

Target: - = kiwi + blueberry penguin


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

Target: stork stork shark apple - =


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

Target: = + horse watermelon horse watermelon


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

Target: peach + + strawberry stork


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

Target: rat + rat * *


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

Target: grape strawberry grape strawberry + + pear lion *


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

Target: rat rat cobra * rat cobra - =


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

Target: penguin strawberry = whale blueberry + + penguin stork


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

Target: kiwi apple banana - kiwi apple * -


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

Target: * stork pear banana = * penguin horse


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

Target: - zebra seal blueberry - =


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

Target: penguin buffalo penguin buffalo penguin = - -


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

Target: + peach kiwi lion blueberry peach kiwi =


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

Target: - - pear strawberry pear strawberry


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

Target: * kiwi + kiwi kiwi


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

Target: zebra zebra zebra + +


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

Target: = * lion whale lion whale * lion whale


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

Target: + = = cobra pear strawberry horse cobra pear


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

Target: penguin zebra = penguin zebra * penguin zebra =


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

Target: = horse shark banana stork *


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

Target: watermelon grape shark - =


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

Target: * banana eagle * * zebra zebra


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

Target: grape whale = + - grape whale


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

Target: + grape shark - * zebra rat grape shark


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

Target: watermelon shark = - cobra seal


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

Target: shark * apple apple - shark


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

Target: blueberry + - rat penguin blueberry


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

Target: whale = - whale


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

Target: peach cobra seal - =


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

Target: kiwi kiwi = kiwi *


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

Target: = zebra blackberry + +


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

Target: lion apple peach = +


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

Target: zebra shark whale * +


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

Target: strawberry buffalo pear - =


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

Target: - blueberry - buffalo buffalo


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

Target: - - * kiwi kiwi


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

Target: * - - blackberry blackberry


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

Target: + - pear lion peach -


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

Target: * banana penguin kiwi = pear -


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

Target: * penguin eagle = * apple


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

Target: = rat seal = +


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

Target: eagle = watermelon * eagle


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

Target: apple - = apple + grape


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

Target: buffalo lion stork apple stork apple + *


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

Target: + whale horse kiwi -


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

Target: banana penguin banana banana penguin - -


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

Target: = whale cobra blueberry - =


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

Target: blackberry peach apple + * *


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

Target: watermelon cobra apple blueberry rat * *


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

Target: * = lion seal lion seal +


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

Target: - watermelon shark watermelon shark =


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

Target: pear blackberry blueberry * +


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

Target: + zebra blackberry strawberry + +


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

Target: peach grape peach grape - = eagle


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

Target: blackberry * blackberry +


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

Target: - grape * kiwi - pear blueberry


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

Target: - = shark * shark whale


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

Target: peach * peach peach - =


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

Target: * * apple watermelon + apple watermelon apple watermelon


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

Target: = pear stork pear apple *


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

Target: * eagle * stork eagle


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

Target: + kiwi rat eagle =


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

Target: - rat eagle * - rat eagle


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

Target: grape + whale grape =


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

Target: blueberry = shark stork pear -


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

Target: blackberry zebra * eagle whale + eagle whale


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

Target: + = cobra rat penguin


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

Target: + seal seal + -


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

Target: - * horse grape blackberry horse grape


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

Target: pear = + + peach whale peach whale


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

Target: shark pear + - rat


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

Target: - lion watermelon + * blackberry


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

Target: buffalo + + zebra blackberry - buffalo


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

Target: + penguin zebra kiwi kiwi * *


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

Target: + lion buffalo * lion eagle


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

Target: + = penguin blackberry watermelon penguin blackberry =


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

Target: watermelon seal + - watermelon seal - watermelon seal


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

Target: + - stork lion - stork lion


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

Target: horse rat horse rat horse rat = +


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

Target: - = horse zebra * horse zebra zebra cobra


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

Target: - - strawberry watermelon strawberry


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

Target: - cobra horse + - cobra horse


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

Target: + horse horse horse + +


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

Target: penguin = penguin - zebra peach


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

Target: rat eagle rat eagle lion apple = -


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

Target: kiwi peach + - kiwi


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

Target: seal stork = rat =


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

Target: apple whale + grape whale =


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

Target: = + cobra rat whale


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

Target: + zebra watermelon - zebra watermelon + horse pear


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

Target: * rat strawberry = horse rat strawberry -


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

Target: eagle - rat pear rat pear -


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

Target: = * pear pear pear


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

Target: + + pear blueberry +


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

Target: penguin = - = grape zebra


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

Target: pear - * = peach watermelon blueberry


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

Target: * zebra grape peach banana zebra grape *


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

Target: blackberry kiwi = penguin * -


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

Target: grape * grape strawberry kiwi * +


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

Target: rat rat eagle stork watermelon - +


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

Target: eagle = banana * -


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

Target: seal shark = seal shark = seal shark -


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

Target: kiwi kiwi lion * = =


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

Target: + horse * seal = seal


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

Target: * = zebra cobra eagle zebra cobra *


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

Target: - - buffalo eagle + shark rat


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

Target: + buffalo = buffalo *


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

Target: rat + * blackberry -


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

Target: = + pear pear shark shark


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

Target: rat = buffalo eagle + buffalo eagle =


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

Target: blackberry buffalo eagle grape = =


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

Target: - rat rat + = whale


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

Target: lion lion * - penguin strawberry +


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

Target: pear rat = =


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

Target: * kiwi blackberry lion strawberry *


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

Target: = + = watermelon whale watermelon whale


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

Target: seal grape - - buffalo


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

Target: buffalo blueberry - = buffalo blueberry cobra


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

Target: apple * = apple +


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

Target: stork stork stork stork * lion * +


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

Target: pear grape pear - -


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

Target: stork stork - +


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

Target: = = = zebra blackberry zebra blackberry


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

Target: shark shark shark shark - = shark shark *


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

Target: - eagle watermelon - lion


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

Target: * seal buffalo + apple


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

Target: watermelon horse * + watermelon +


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

Target: + blueberry blackberry * blueberry blackberry * zebra penguin


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

Target: - penguin kiwi + stork banana


Source: Rules: Y Z = X * | Substitutions: X by " blueberry seal " , Y by " blackberry penguin " , Z by " watermelon buffalo "

Target: blackberry penguin watermelon buffalo = blueberry seal *


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

Target: strawberry apple - shark seal blackberry + -


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

Target: eagle = = pear stork * apple eagle


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

Target: zebra stork zebra stork * * *


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

Target: * rat = rat peach buffalo


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

Target: + seal whale watermelon blackberry watermelon blackberry =


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

Target: + * horse eagle + eagle grape


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

Target: apple stork apple stork - kiwi -


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

Target: seal seal - seal seal grape watermelon * *


Source: Rules: X X = Z * | Substitutions: X by " buffalo horse " , Z by " penguin stork "

Target: buffalo horse buffalo horse = penguin stork *


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

Target: peach + peach = + seal


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

Target: * * apple blackberry -


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

Target: seal seal lion - + =


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

Target: + banana * banana rat lion


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

Target: buffalo = buffalo *


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

Target: buffalo stork * * - buffalo stork buffalo stork


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

Target: seal watermelon * - * horse


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

Target: + horse zebra peach = =


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

Target: - strawberry = horse + horse


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

Target: - peach = zebra


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

Target: * * strawberry banana strawberry banana -


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

Target: eagle = + = strawberry stork


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

Target: whale blueberry = strawberry cobra -


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

Target: * - apple watermelon stork watermelon


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

Target: - horse seal seal -


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

Target: * seal blueberry + seal seal blueberry +


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

Target: * banana peach horse watermelon - horse watermelon


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

Target: strawberry strawberry = *


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

Target: rat stork rat stork * penguin pear + *


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

Target: strawberry * * blueberry grape


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

Target: eagle + whale horse - whale horse


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

Target: - seal seal =


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

Target: + * blueberry blueberry =


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

Target: - = kiwi cobra - blueberry


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

Target: * eagle zebra + zebra


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

Target: grape eagle whale * * +


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

Target: penguin banana banana = + - banana banana


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

Target: blackberry + watermelon buffalo = whale whale


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

Target: strawberry blueberry strawberry blueberry * pear penguin + =


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

Target: whale eagle = whale eagle + *


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

Target: whale whale - =


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

Target: + kiwi kiwi apple cobra - -


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

Target: = = blackberry grape cobra eagle -


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

Target: zebra - zebra * strawberry banana


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

Target: seal strawberry seal - seal strawberry *


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

Target: strawberry - strawberry pear shark +


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

Target: pear grape grape + + -


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

Target: whale * = stork whale


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

Target: + - peach blackberry peach cobra + peach cobra


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

Target: banana = banana =


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

Target: + = blackberry lion blackberry lion + blackberry


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

Target: shark penguin shark penguin - +


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

Target: whale strawberry = = eagle banana


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

Target: * whale + + blueberry stork


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

Target: strawberry eagle pear + + = apple lion


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

Target: rat apple + - kiwi = rat apple


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

Target: = = - whale whale


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

Target: * - blueberry blueberry blueberry


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

Target: - watermelon zebra stork * shark =


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

Target: - stork shark = * kiwi


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

Target: penguin whale - banana grape * =


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

Target: * zebra blackberry blueberry *


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

Target: = = pear apple


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

Target: grape + - * peach


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

Target: apple grape zebra blackberry * -


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

Target: = = banana eagle seal


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

Target: whale whale = + -


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

Target: pear blueberry grape + - =


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

Target: strawberry = - blueberry strawberry


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

Target: eagle grape pear pear - -


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

Target: - strawberry strawberry peach * *


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

Target: horse buffalo apple = = banana


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

Target: * whale * whale


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

Target: = strawberry pear kiwi lion strawberry pear +


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

Target: watermelon blueberry zebra * = + watermelon blueberry


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

Target: watermelon * grape * banana -


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

Target: * watermelon * watermelon


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

Target: = + cobra shark horse strawberry


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

Target: - - - lion watermelon stork seal


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

Target: rat + rat + -


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

Target: shark watermelon banana kiwi + +


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

Target: stork seal grape + stork *


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

Target: * * whale stork rat horse = rat horse


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

Target: = seal * seal *


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

Target: whale eagle = horse = - horse


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

Target: = cobra + blueberry grape -


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

Target: * + penguin penguin - penguin penguin


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

Target: watermelon eagle = penguin * blackberry


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

Target: = * lion kiwi pear


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

Target: * stork zebra rat +


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

Target: * = penguin * kiwi peach zebra peach


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

Target: kiwi * - whale strawberry


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

Target: + = horse horse *


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

Target: + grape whale + eagle eagle grape whale


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

Target: = watermelon watermelon +


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

Target: strawberry buffalo + peach cobra - strawberry buffalo


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

Target: seal stork seal stork * seal stork +


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

Target: watermelon kiwi watermelon kiwi watermelon kiwi = -


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

Target: - penguin pear strawberry +


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

Target: * = cobra = peach strawberry cobra


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

Target: grape seal = grape seal *


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

Target: = strawberry strawberry -


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

Target: horse * - kiwi zebra * kiwi zebra


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

Target: + * watermelon lion + penguin penguin


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

Target: - + rat grape rat grape grape shark


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

Target: blackberry penguin * blackberry penguin + - banana penguin


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

Target: stork stork * stork +


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

Target: = + horse lion horse lion rat grape +


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

Target: = stork shark = stork


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

Target: pear pear = -


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

Target: peach = * peach buffalo -


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

Target: seal * rat stork rat stork - -


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

Target: blackberry kiwi peach + blackberry *


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

Target: shark - = zebra -


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

Target: - rat whale grape = grape


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

Target: - + shark eagle shark eagle =


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

Target: blueberry watermelon lion penguin = = +


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

Target: shark shark watermelon pear - =


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

Target: horse stork = horse stork - + horse stork


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

Target: pear whale pear - *


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

Target: apple strawberry + * buffalo banana -


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

Target: = strawberry = strawberry


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

Target: = = horse zebra horse zebra =


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

Target: + - watermelon stork stork


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

Target: eagle zebra - watermelon blueberry * * stork


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

Target: zebra grape * grape +


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

Target: + lion zebra blueberry seal -


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

Target: zebra peach zebra peach * *


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

Target: horse horse + =


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

Target: peach penguin - stork - -


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

Target: - = apple zebra apple zebra apple zebra -


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

Target: + grape eagle grape eagle grape +


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

Target: seal cobra - *


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

Target: = shark cobra shark cobra * whale whale


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

Target: rat - = + penguin


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

Target: + watermelon grape grape *


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

Target: blueberry seal blackberry * - =


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

Target: pear - = zebra strawberry -


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

Target: = blackberry lion blackberry = =


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

Target: + = penguin horse penguin horse


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

Target: pear * pear -


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

Target: + kiwi banana - seal kiwi banana =


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

Target: = zebra seal + * zebra seal


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

Target: peach peach eagle = *


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

Target: cobra = - apple peach * apple peach


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

Target: apple whale zebra eagle - * apple whale


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

Target: kiwi * kiwi = + kiwi


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

Target: blueberry - - penguin - kiwi


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

Target: kiwi = * kiwi kiwi


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

Target: * shark watermelon buffalo = -


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

Target: horse watermelon + peach *


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

Target: + zebra * = cobra


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

Target: + penguin blackberry * shark cobra penguin blackberry *


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

Target: peach peach lion * * -


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

Target: cobra zebra kiwi banana + cobra zebra * -


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

Target: pear * + pear +


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

Target: + blackberry rat watermelon =


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

Target: * lion grape shark - lion -


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

Target: strawberry strawberry + -


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

Target: = - banana seal = stork kiwi banana seal


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

Target: - rat rat banana =


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

Target: horse rat * banana grape + horse rat


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

Target: = banana banana banana *


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

Target: + seal watermelon apple - stork *


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

Target: + banana seal + + shark strawberry


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

Target: eagle blackberry + + eagle blackberry


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

Target: whale whale + * - grape


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

Target: seal lion + strawberry horse eagle banana = +


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

Target: * kiwi kiwi kiwi kiwi seal eagle - +


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

Target: shark apple shark apple = *


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

Target: - banana peach seal zebra peach - =


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

Target: * grape kiwi buffalo peach = zebra peach


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

Target: + * grape peach rat whale


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

Target: watermelon seal + - watermelon


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

Target: * banana = banana shark


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

Target: * whale watermelon apple blackberry whale = =


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

Target: cobra * - cobra *


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

Target: rat stork rat stork zebra watermelon = +


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

Target: apple + * pear rat pear rat


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

Target: cobra grape = * grape


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

Target: strawberry penguin - blueberry stork - cobra peach


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

Target: - zebra penguin + blackberry rat -


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

Target: * zebra * * zebra


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

Target: - grape apple = zebra banana


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

Target: - + cobra shark


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

Target: eagle = eagle - -


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

Target: grape - grape rat =


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

Target: zebra zebra * watermelon blueberry *


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

Target: - buffalo rat - blueberry


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

Target: buffalo pear = = buffalo pear =


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

Target: + lion zebra * lion zebra - lion zebra


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

Target: + stork stork apple stork stork =


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

Target: blueberry = = apple blueberry +


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

Target: = + lion horse - buffalo


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

Target: * lion peach = grape blackberry


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

Target: banana banana banana = *


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

Target: * horse + = horse


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

Target: + shark strawberry - watermelon rat


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

Target: grape + grape = - whale


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

Target: - eagle eagle =


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

Target: * * seal = eagle grape


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

Target: = * kiwi shark - kiwi


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

Target: + cobra penguin - cobra horse cobra horse


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

Target: strawberry - * + apple


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

Target: penguin * blueberry kiwi peach - +


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

Target: banana = = = banana banana


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

Target: grape cobra grape - *


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

Target: pear penguin pear penguin * + pear penguin


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

Target: + * peach seal peach seal


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

Target: rat shark + = - watermelon


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

Target: eagle stork = - peach eagle stork


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

Target: penguin blueberry = - penguin


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

Target: stork * - horse horse *


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

Target: = pear pear seal eagle * +


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

Target: * apple zebra - blueberry horse *


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

Target: = = grape rat + eagle peach


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

Target: blueberry blueberry + * - zebra


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

Target: cobra - + kiwi strawberry cobra *


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

Target: = penguin zebra - peach


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

Target: * + cobra eagle cobra eagle *


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

Target: blackberry + = shark


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

Target: * pear pear =


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

Target: - lion + * seal watermelon


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

Target: - - = cobra eagle peach


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

Target: - apple * - apple


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

Target: peach peach whale peach - + peach peach


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

Target: * apple shark apple *


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

Target: = stork stork =


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

Target: whale - apple apple apple apple =


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

Target: * lion peach = whale banana


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

Target: - = penguin peach


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

Target: = * buffalo buffalo


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

Target: banana = - grape kiwi grape


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

Target: = watermelon seal buffalo + =


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

Target: * apple - zebra cobra


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

Target: eagle horse eagle horse = *


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

Target: shark apple + shark +


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

Target: - lion + lion =


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

Target: = penguin stork = penguin


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

Target: strawberry strawberry + = strawberry


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

Target: = horse seal zebra +


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

Target: = horse seal cobra - +


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

Target: blueberry kiwi * blueberry kiwi =


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

Target: blackberry zebra + - rat -


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

Target: = seal + - pear banana


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

Target: = seal zebra = lion +


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

Target: * * blueberry cobra horse blueberry


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

Target: buffalo blueberry * cobra * cobra


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

Target: * zebra rat penguin apple penguin apple +


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

Target: = = blackberry pear blackberry pear strawberry *


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

Target: = penguin * zebra +


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

Target: grape peach lion blackberry = lion blackberry - *


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

Target: + strawberry buffalo eagle * strawberry


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

Target: - cobra zebra * = cobra lion


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

Target: * whale banana peach banana peach * =


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

Target: eagle + + = seal buffalo


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

Target: strawberry seal strawberry seal * * =


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

Target: + + rat - penguin strawberry rat


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

Target: strawberry cobra * peach watermelon - -


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

Target: penguin buffalo * penguin buffalo * eagle cobra


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

Target: blueberry pear - * zebra


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

Target: lion peach + * + horse lion peach


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

Target: - pear blueberry horse banana +


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

Target: - = penguin whale peach


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

Target: eagle - = banana


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

Target: zebra stork - - * horse horse


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

Target: = stork blackberry * - blackberry


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

Target: + blueberry grape blueberry grape = -


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

Target: stork buffalo * * stork buffalo


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

Target: * cobra penguin apple cobra penguin +


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

Target: peach * - stork peach =


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

Target: * kiwi pear lion grape kiwi pear = +


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

Target: * apple buffalo whale whale - -


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

Target: * stork blackberry + stork blackberry = grape penguin


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

Target: blueberry = penguin = blueberry


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

Target: + eagle rat watermelon +


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

Target: whale * - stork stork -


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

Target: buffalo stork = kiwi zebra kiwi zebra = +


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

Target: strawberry = + strawberry strawberry


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

Target: * * strawberry lion + blackberry grape


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

Target: = = grape pear pear


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

Target: * shark + = blackberry shark


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

Target: banana apple peach + + -


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

Target: cobra banana * *


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

Target: watermelon apple watermelon apple = + +


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

Target: zebra + - rat =


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

Target: = = grape strawberry - grape strawberry


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

Target: * - shark blueberry penguin +


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

Target: strawberry * = cobra seal strawberry


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

Target: * - apple apple blueberry =


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

Target: - * zebra shark banana zebra shark *


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

Target: + whale = strawberry =


Source: Rules: + Z Y X + | Substitutions: X by " seal peach " , Y by " pear stork " , Z by " zebra banana "

Target: + zebra banana pear stork seal peach +


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

Target: * zebra blueberry grape + *


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

Target: strawberry rat - grape buffalo -


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

Target: + lion - penguin apple


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

Target: lion - cobra +


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

Target: strawberry blackberry strawberry blackberry + +


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

Target: horse watermelon + * horse watermelon horse watermelon


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

Target: + blueberry grape - = horse blueberry


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

Target: - = = blackberry rat rat


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

Target: - pear blueberry pear blueberry + + banana


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

Target: + blueberry seal blueberry seal *


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

Target: watermelon eagle * * *


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

Target: * pear seal = * peach eagle


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

Target: eagle watermelon kiwi * + watermelon kiwi


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

Target: apple pear shark stork shark stork * -


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

Target: stork rat = stork rat -


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

Target: seal rat + = shark - shark


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

Target: whale whale + whale +


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

Target: kiwi zebra eagle - = kiwi =


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

Target: * whale cobra - whale cobra blueberry


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

Target: - eagle - blackberry banana *


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

Target: = eagle + eagle


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

Target: + + grape blackberry watermelon blueberry blueberry


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

Target: buffalo horse + pear = =


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

Target: rat apple rat apple + *


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

Target: whale + whale buffalo -


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

Target: - peach blackberry = * peach blackberry peach blackberry


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

Target: + + lion watermelon lion watermelon watermelon


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

Target: kiwi = = buffalo grape


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

Target: = apple zebra blueberry rat * blueberry rat


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

Target: + grape peach penguin -


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

Target: blueberry blackberry + horse -


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

Target: seal * * stork = seal


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

Target: banana + pear banana + shark +


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

Target: = * watermelon + watermelon zebra


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

Target: * grape cobra * - blackberry


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

Target: lion lion - + lion -


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

Target: - - blackberry watermelon * zebra penguin


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

Target: rat + - rat *


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

Target: = = cobra whale blueberry penguin -


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

Target: - = strawberry lion shark rat


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

Target: = kiwi eagle + kiwi eagle


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

Target: apple seal * kiwi stork apple seal *


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

Target: - whale kiwi grape - = kiwi grape


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

Target: grape = * peach peach grape


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

Target: grape - grape = grape


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

Target: + = eagle lion eagle lion *


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

Target: - grape = - shark buffalo


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

Target: grape zebra - grape zebra -


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

Target: - apple apple rat * =


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

Target: kiwi seal + peach - *


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

Target: shark seal * shark seal cobra + *


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

Target: apple pear pear + pear = =


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

Target: whale * = whale


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

Target: apple watermelon apple watermelon = - apple watermelon


Source: Rules: X + + X | Substitutions: X by " penguin "

Target: penguin + + penguin


Source: Rules: = = Y + Y Z | Substitutions: Y by " peach shark " , Z by " stork "

Target: = = peach shark + peach shark stork


Source: Rules: X * * X | Substitutions: X by " eagle "

Target: eagle * * eagle


Source: Rules: Z Z = = | Substitutions: Z by " kiwi "

Target: kiwi kiwi = =


Source: Rules: * + Z Y Y | Substitutions: Y by " blackberry " , Z by " shark blackberry "

Target: * + shark blackberry blackberry blackberry


Source: Rules: + Z Z Y + * | Substitutions: Y by " zebra " , Z by " grape lion "

Target: + grape lion grape lion zebra + *


Source: Rules: + Y = Z X | Substitutions: X by " shark " , Y by " kiwi " , Z by " watermelon apple "

Target: + kiwi = watermelon apple shark


Source: Rules: X * Y = | Substitutions: X by " seal rat " , Y by " shark grape "

Target: seal rat * shark grape =


Source: Rules: Z - + Y Y * | Substitutions: Y by " eagle blueberry " , Z by " horse kiwi "

Target: horse kiwi - + eagle blueberry eagle blueberry *


Source: Rules: Y Z + + - | Substitutions: Y by " buffalo " , Z by " strawberry "

Target: buffalo strawberry + + -


Source: Rules: Z Y - + * | Substitutions: Y by " watermelon " , Z by " eagle "

Target: eagle watermelon - + *


Source: Rules: X X = = | Substitutions: X by " lion blueberry "

Target: lion blueberry lion blueberry = =


Source: Rules: Y = Y = Y | Substitutions: Y by " eagle seal "

Target: eagle seal = eagle seal = eagle seal


Source: Rules: * X Z - | Substitutions: X by " watermelon " , Z by " stork "

Target: * watermelon stork -


Source: Rules: - Z - Y | Substitutions: Y by " shark cobra " , Z by " peach apple "

Target: - peach apple - shark cobra


Source: Rules: X + * Y | Substitutions: X by " apple stork " , Y by " penguin blackberry "

Target: apple stork + * penguin blackberry


Source: Rules: X - X Y * | Substitutions: X by " horse strawberry " , Y by " kiwi "

Target: horse strawberry - horse strawberry kiwi *


Source: Rules: Y Y - * | Substitutions: Y by " peach blueberry "

Target: peach blueberry peach blueberry - *


Source: Rules: - Y - X Z | Substitutions: X by " cobra peach " , Y by " pear " , Z by " whale "

Target: - pear - cobra peach whale