Source: Rules: - - Y Y Z | Substitutions: Y by " rat lion " , Z by " stork buffalo "

Target: - - rat lion rat lion stork buffalo


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

Target: - seal seal * seal


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

Target: horse = - + zebra


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

Target: kiwi + = eagle


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

Target: zebra zebra * shark kiwi =


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

Target: peach pear - - pear


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

Target: shark eagle + eagle kiwi shark eagle -


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

Target: + stork peach = stork peach - stork peach


Source: Rules: * - Z Y X | Substitutions: X by " pear blackberry " , Y by " seal cobra " , Z by " banana "

Target: * - banana seal cobra pear blackberry


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

Target: + whale strawberry whale strawberry -


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

Target: = rat zebra zebra - rat


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

Target: * + * buffalo shark watermelon shark buffalo shark


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

Target: = lion whale * = seal


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

Target: watermelon kiwi strawberry - *


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

Target: - = blueberry blueberry blueberry


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

Target: + * grape grape =


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

Target: + blueberry * penguin zebra penguin zebra =


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

Target: = grape stork strawberry * stork strawberry =


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

Target: = pear whale =


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

Target: * lion * seal lion


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

Target: banana buffalo watermelon * + *


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

Target: * eagle eagle * zebra zebra +


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

Target: + buffalo rat cobra + +


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

Target: - * + stork grape blackberry


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

Target: = seal seal +


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

Target: = cobra grape + blueberry watermelon *


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

Target: = watermelon stork watermelon whale + watermelon stork


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

Target: whale banana whale banana - +


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

Target: + - seal pear seal pear


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

Target: zebra * lion -


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

Target: watermelon * = peach


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

Target: banana - pear * blackberry penguin


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

Target: - shark - shark


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

Target: seal penguin = seal penguin *


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

Target: * = - blackberry apple zebra


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

Target: - - cobra cobra *


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

Target: = * horse horse * horse


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

Target: - buffalo whale zebra buffalo whale * +


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

Target: - = zebra buffalo zebra


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

Target: + * kiwi strawberry


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

Target: horse + pear peach = pear peach +


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

Target: buffalo kiwi apple + +


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

Target: = + peach peach


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

Target: whale penguin = + whale penguin rat


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

Target: strawberry rat - horse stork - -


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

Target: watermelon + seal lion = + seal lion


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

Target: horse stork + - = kiwi kiwi


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

Target: blackberry + whale cobra = = blackberry


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

Target: horse strawberry + stork shark =


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

Target: - - stork whale seal pear seal pear


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

Target: + zebra - zebra watermelon stork


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

Target: - lion zebra = +


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

Target: shark * watermelon - shark kiwi


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

Target: * whale penguin blueberry +


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

Target: * apple * eagle shark =


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

Target: rat eagle * * - pear peach rat eagle


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

Target: pear pear - =


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

Target: eagle penguin - apple blueberry * apple blueberry


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

Target: + buffalo buffalo *


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

Target: lion + * lion


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

Target: pear strawberry + = stork zebra -


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

Target: * * pear pear pear pear strawberry banana


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

Target: seal whale - + seal whale buffalo blueberry +


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

Target: peach lion * zebra watermelon - blueberry =


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

Target: watermelon buffalo * peach + +


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

Target: kiwi + + zebra


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

Target: whale whale - + peach shark


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

Target: * eagle cobra seal =


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

Target: - buffalo buffalo + =


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

Target: - apple rat * apple rat = whale rat


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

Target: - blueberry apple * blueberry apple blueberry apple


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

Target: blackberry eagle cobra * - - blackberry eagle


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

Target: lion = + seal kiwi seal kiwi


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

Target: stork - pear blackberry - stork


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

Target: cobra rat peach shark + + peach shark


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

Target: lion = stork + lion


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

Target: strawberry seal * - apple


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

Target: penguin penguin - + -


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

Target: lion lion - -


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

Target: - * grape banana whale


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

Target: - = blackberry blackberry -


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

Target: * = watermelon shark +


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

Target: + kiwi - grape


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

Target: * strawberry blackberry + strawberry blackberry banana -


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

Target: kiwi seal = penguin zebra kiwi seal +


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

Target: + kiwi banana kiwi banana =


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

Target: zebra - + rat =


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

Target: - shark * banana pear banana peach


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

Target: buffalo buffalo = buffalo buffalo + buffalo buffalo


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

Target: + penguin zebra pear =


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

Target: eagle eagle - pear whale = =


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

Target: = eagle horse = peach peach eagle horse


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

Target: + seal penguin * lion pear lion pear +


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

Target: - - lion seal cobra whale horse


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

Target: * = * buffalo blueberry


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

Target: + rat = rat eagle cobra


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

Target: eagle watermelon + lion * lion -


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

Target: kiwi - kiwi whale *


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

Target: - cobra pear cobra pear - =


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

Target: horse * * horse =


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

Target: + buffalo cobra - + strawberry


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

Target: watermelon shark watermelon shark - eagle * =


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

Target: = blackberry blackberry + blackberry


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

Target: watermelon watermelon buffalo stork + * -


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

Target: = - apple * lion seal


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

Target: - eagle eagle * banana stork


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

Target: * - kiwi cobra = seal pear seal pear


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

Target: seal banana + + strawberry * strawberry


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

Target: eagle = = + rat horse


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

Target: pear buffalo banana whale = = =


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

Target: = lion blueberry penguin penguin +


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

Target: - penguin + zebra strawberry =


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

Target: stork + rat rat = penguin


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

Target: - = zebra rat peach


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

Target: rat kiwi rat kiwi + = rat blackberry


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

Target: eagle buffalo = whale rat +


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

Target: = blueberry horse * strawberry buffalo


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

Target: lion * = lion


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

Target: blueberry * peach stork * - blueberry


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

Target: = cobra apple + cobra apple -


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

Target: = whale kiwi + * penguin penguin


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

Target: zebra strawberry + zebra strawberry =


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

Target: grape = grape blueberry *


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

Target: = shark shark -


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

Target: cobra rat - + cobra rat


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

Target: seal cobra buffalo cobra buffalo = - +


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

Target: blackberry blackberry = + penguin =


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

Target: = lion horse lion horse lion horse - =


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

Target: + - blueberry + buffalo


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

Target: whale banana * kiwi kiwi horse -


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

Target: whale apple cobra peach * strawberry blackberry -


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

Target: strawberry = = = eagle blackberry watermelon stork


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

Target: grape = grape = banana


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

Target: zebra blueberry - * cobra


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

Target: horse kiwi * horse kiwi * horse kiwi


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

Target: strawberry shark + blackberry + buffalo penguin


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

Target: = penguin whale - whale =


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

Target: + apple banana * apple banana - apple banana


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

Target: = pear shark whale seal *


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

Target: * grape + banana *


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

Target: seal - penguin whale penguin whale = =


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

Target: blueberry lion * shark * * blueberry lion


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

Target: + * blackberry blackberry +


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

Target: - * kiwi blackberry * kiwi blackberry


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

Target: grape stork * = stork blueberry =


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

Target: lion peach = - strawberry


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

Target: * kiwi rat = =


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

Target: = = + lion peach kiwi zebra kiwi zebra


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

Target: watermelon rat * watermelon rat = + apple buffalo


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

Target: lion blueberry buffalo cobra lion blueberry + =


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

Target: * banana * buffalo kiwi


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

Target: cobra strawberry = cobra strawberry cobra strawberry =


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

Target: seal shark = * seal seal *


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

Target: - penguin grape peach =


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

Target: + eagle blackberry + banana zebra eagle blackberry +


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

Target: = watermelon horse eagle * = seal apple


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

Target: stork kiwi = stork kiwi - whale


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

Target: = zebra - + seal peach seal peach


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

Target: blueberry + blueberry *


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

Target: * grape grape = rat


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

Target: kiwi kiwi * * =


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

Target: = blueberry + cobra lion


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

Target: * + seal peach grape -


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

Target: * eagle rat =


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

Target: * horse buffalo horse buffalo = eagle whale *


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

Target: - blueberry peach blueberry * peach blueberry


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

Target: - rat - = peach shark


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

Target: = blackberry peach blackberry peach -


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

Target: - = buffalo whale cobra


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

Target: apple cobra eagle + + *


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

Target: seal - + rat seal


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

Target: = buffalo + pear buffalo -


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

Target: + zebra penguin blackberry * -


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

Target: eagle = - eagle


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

Target: * * cobra cobra blackberry


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

Target: = + grape banana strawberry zebra


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

Target: penguin zebra zebra lion = + seal


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

Target: eagle whale + * shark zebra shark zebra +


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

Target: grape seal banana = = seal banana +


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

Target: peach grape peach grape + = apple


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

Target: rat = + * rat


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

Target: zebra = + = zebra


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

Target: seal buffalo + - peach =


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

Target: * - whale cobra


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

Target: - penguin blackberry penguin blackberry stork grape =


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

Target: - grape lion * stork whale -


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

Target: penguin banana whale + +


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

Target: * zebra = peach + zebra


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

Target: penguin watermelon stork penguin + +


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

Target: shark shark + shark =


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

Target: = = + rat rat


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

Target: - = blackberry banana peach eagle -


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

Target: grape grape + + =


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

Target: blackberry cobra = - horse kiwi


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

Target: apple eagle = shark apple shark apple +


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

Target: seal kiwi blueberry kiwi - whale *


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

Target: * shark seal shark seal shark seal +


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

Target: horse = * - grape whale


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

Target: apple banana blackberry apple banana - - *


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

Target: = - grape shark grape shark =


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

Target: = strawberry seal horse = seal horse


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

Target: - kiwi grape kiwi grape +


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

Target: grape cobra penguin * *


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

Target: - * apple apple


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

Target: whale peach whale peach * pear +


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

Target: horse apple apple + -


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

Target: * kiwi eagle shark + *


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

Target: buffalo banana = banana -


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

Target: - kiwi kiwi banana lion * banana lion +


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

Target: + blackberry - * kiwi


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

Target: pear * = pear * pear


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

Target: watermelon pear + = zebra


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

Target: watermelon kiwi peach * =


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

Target: + grape eagle * blackberry penguin *


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

Target: = + penguin lion penguin lion *


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

Target: eagle peach kiwi - =


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

Target: eagle rat = apple buffalo *


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

Target: whale rat blackberry - blackberry =


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

Target: - cobra seal cobra seal *


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

Target: penguin * = shark lion blackberry stork


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

Target: = + - blackberry strawberry blackberry strawberry


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

Target: * = blackberry rat + blackberry whale


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

Target: rat + strawberry strawberry strawberry strawberry =


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

Target: = buffalo apple kiwi + =


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

Target: * zebra rat peach *


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

Target: + = grape cobra stork cobra stork -


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

Target: buffalo = peach + + peach


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

Target: * * + blueberry blackberry grape blackberry grape


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

Target: stork blackberry + blueberry blackberry - blueberry blackberry


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

Target: apple grape peach grape peach + * +


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

Target: + rat blackberry = rat blackberry +


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

Target: banana = * + kiwi peach


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

Target: = - eagle watermelon grape zebra


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

Target: whale rat penguin = whale -


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

Target: - peach + * peach


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

Target: buffalo * = = strawberry


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

Target: penguin kiwi lion = + - kiwi lion


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

Target: zebra peach + * zebra -


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

Target: kiwi grape * blueberry pear blueberry pear =


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

Target: buffalo + pear grape buffalo - *


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

Target: * - whale whale


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

Target: stork - = stork blackberry +


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

Target: * shark + pear


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

Target: lion pear cobra penguin - *


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

Target: * = eagle eagle -


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

Target: - - kiwi buffalo pear blueberry + kiwi buffalo


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

Target: = horse * zebra horse *


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

Target: + = seal horse + seal horse


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

Target: + * penguin buffalo whale


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

Target: = banana peach - banana peach -


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

Target: peach blueberry + + peach blueberry


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

Target: = * apple penguin eagle whale * apple penguin


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

Target: = banana * eagle grape kiwi buffalo


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

Target: * = peach blackberry peach blackberry


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

Target: seal * - pear strawberry


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

Target: + watermelon * + lion


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

Target: lion stork - lion stork -


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

Target: seal - - lion cobra -


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

Target: watermelon watermelon watermelon * =


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

Target: cobra peach - * cobra peach cobra peach


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

Target: banana rat = = banana rat


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

Target: stork blackberry + * penguin watermelon -


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

Target: seal whale - * cobra shark penguin


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

Target: lion cobra zebra kiwi penguin banana - +


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

Target: - - apple pear lion


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

Target: rat * rat =


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

Target: * * stork seal + lion lion


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

Target: * pear seal = pear seal


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

Target: whale whale + * banana peach +


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

Target: eagle * + + grape eagle


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

Target: shark kiwi - = = grape grape


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

Target: penguin = * horse horse


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

Target: = buffalo banana kiwi * buffalo


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

Target: watermelon blueberry = * - apple strawberry whale


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

Target: - + pear banana watermelon kiwi pear banana


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

Target: lion - shark banana - -


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

Target: * zebra stork blackberry whale pear - *


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

Target: kiwi + lion watermelon kiwi * =


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

Target: buffalo * buffalo - grape penguin


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

Target: peach cobra strawberry = watermelon = -


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

Target: buffalo - = buffalo +


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

Target: * buffalo pear + blueberry watermelon blueberry watermelon


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

Target: pear pear * grape - * grape


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

Target: stork = seal rat = +


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

Target: apple - = apple


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

Target: = whale penguin + - grape pear


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

Target: kiwi blueberry pear * +


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

Target: zebra strawberry - +


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

Target: buffalo strawberry * = + buffalo strawberry


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

Target: + seal - peach stork seal


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

Target: * cobra = peach apple


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

Target: + pear kiwi penguin horse =


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

Target: * - horse + blueberry eagle


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

Target: strawberry stork = - = lion whale lion whale


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

Target: penguin - penguin * *


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

Target: eagle zebra kiwi * - eagle zebra


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

Target: buffalo buffalo * buffalo + = buffalo


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

Target: + penguin shark + penguin shark =


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

Target: + blackberry banana blackberry banana peach lion -


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

Target: = + * apple strawberry watermelon


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

Target: watermelon + strawberry lion * - strawberry seal


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

Target: * * eagle apple seal


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

Target: zebra * penguin apple blueberry - +


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

Target: - horse whale apple blackberry = *


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

Target: strawberry cobra strawberry cobra - stork - -


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

Target: * horse eagle + horse buffalo


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

Target: * * horse grape blackberry blackberry


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

Target: buffalo whale = + blackberry blueberry


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

Target: * eagle stork eagle stork +


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

Target: = = grape blackberry grape blackberry


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

Target: cobra buffalo cobra buffalo * = + horse cobra


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

Target: cobra shark - - whale whale


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

Target: apple stork + horse blueberry apple stork * *


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

Target: - penguin - penguin grape


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

Target: - horse + - kiwi watermelon


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

Target: * - rat grape shark * shark


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

Target: - = pear horse lion


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

Target: blueberry banana pear penguin - -


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

Target: peach banana = * peach *


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

Target: lion blackberry blackberry + lion = *


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

Target: - + peach lion *


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

Target: apple * pear + -


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

Target: kiwi = * kiwi = kiwi


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

Target: buffalo horse = = rat


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

Target: whale apple * +


Source: Rules: X - Y Z - - | Substitutions: X by " buffalo stork " , Y by " pear rat " , Z by " banana penguin "

Target: buffalo stork - pear rat banana penguin - -


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

Target: zebra - + peach


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

Target: + = blackberry - penguin


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

Target: = blueberry = blueberry blueberry -


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

Target: stork + - stork


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

Target: - lion lion - *


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

Target: - - cobra strawberry watermelon


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

Target: stork watermelon shark + shark = =


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

Target: peach rat = = whale


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

Target: shark - shark shark =


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

Target: = * stork grape watermelon


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

Target: rat banana - - eagle apple


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

Target: apple = + banana banana = banana banana


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

Target: + + zebra apple watermelon strawberry = watermelon strawberry


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

Target: - penguin pear penguin pear -


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

Target: + apple buffalo penguin +


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

Target: * eagle grape kiwi cobra +


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

Target: + zebra * zebra =


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

Target: eagle strawberry rat = *


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

Target: kiwi stork + = blueberry kiwi stork


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

Target: * lion grape seal *


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

Target: strawberry blackberry - *


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

Target: - seal seal = apple penguin = seal


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

Target: cobra grape = - = strawberry shark


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

Target: eagle eagle = * - blueberry


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

Target: cobra - = blueberry strawberry -


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

Target: grape lion grape lion = * penguin strawberry


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

Target: - * whale whale


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

Target: * stork grape watermelon blueberry - stork grape -


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

Target: - shark horse =


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

Target: eagle blackberry shark rat eagle blackberry = +


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

Target: - grape eagle banana + = grape eagle


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

Target: = eagle = cobra =


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

Target: seal * - grape strawberry * seal


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

Target: + whale strawberry grape strawberry kiwi = +


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

Target: buffalo penguin = +


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

Target: = rat grape banana +


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

Target: + + - blueberry seal banana peach rat


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

Target: blackberry = - blackberry


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

Target: * shark * blueberry eagle *


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

Target: peach shark horse peach + * +


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

Target: eagle horse * * * zebra kiwi


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

Target: grape watermelon whale pear = = strawberry kiwi -


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

Target: zebra lion zebra lion - =


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

Target: zebra blackberry * shark * cobra penguin


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

Target: * buffalo penguin eagle buffalo =


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

Target: + - pear buffalo = pear buffalo


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

Target: + lion pear - grape banana


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

Target: penguin = penguin penguin *


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

Target: penguin stork penguin stork + penguin stork * =


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

Target: + eagle + * peach rat


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

Target: - - horse cobra zebra *


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

Target: stork - grape zebra + apple +


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

Target: eagle - - seal


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

Target: - buffalo buffalo - buffalo


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

Target: kiwi * kiwi - seal


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

Target: = seal pear = lion seal pear


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

Target: whale peach watermelon blueberry * * whale peach


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

Target: = = eagle horse whale +


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

Target: = * shark + shark shark


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

Target: banana - banana banana +


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

Target: banana whale + + penguin


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

Target: whale banana = lion - * lion


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

Target: = apple blueberry apple blueberry = = apple blueberry


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

Target: * whale peach - grape


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

Target: * seal horse rat =


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

Target: peach pear peach pear * - -


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

Target: kiwi kiwi buffalo seal - =


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

Target: peach apple kiwi rat peach apple * *


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

Target: blackberry pear blackberry pear + * watermelon buffalo


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

Target: = * buffalo zebra eagle


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

Target: stork peach peach = +


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

Target: apple watermelon buffalo - blueberry -


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

Target: penguin * + + blackberry grape rat


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

Target: banana stork = * banana stork *


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

Target: eagle eagle + = stork watermelon


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

Target: watermelon horse stork * = *


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

Target: = zebra peach + zebra peach zebra peach =


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

Target: = buffalo banana watermelon eagle +


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

Target: penguin + buffalo -


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

Target: * - whale seal blackberry -


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

Target: rat peach * - watermelon stork


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

Target: + - apple rat lion peach


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

Target: + - banana penguin pear + banana


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

Target: + = watermelon lion


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

Target: + - horse horse blackberry +


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

Target: + shark peach + zebra rat


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

Target: watermelon + - - peach blueberry


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

Target: horse banana pear eagle horse banana + -


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

Target: whale strawberry strawberry * * *


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

Target: + + peach strawberry peach strawberry penguin kiwi


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

Target: kiwi * * kiwi


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

Target: shark banana = - - shark banana


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

Target: eagle watermelon zebra + + = pear peach


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

Target: cobra lion rat - *


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

Target: blueberry watermelon + = blackberry watermelon cobra =


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

Target: blueberry lion zebra - = lion zebra


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

Target: = horse kiwi + + horse kiwi buffalo


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

Target: pear + * pear +


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

Target: stork + - apple pear


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

Target: penguin peach + grape watermelon * = penguin


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

Target: seal seal eagle + + seal


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

Target: * cobra kiwi kiwi kiwi +


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

Target: strawberry = seal -


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

Target: - = - blueberry eagle apple blackberry


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

Target: penguin watermelon eagle rat * *


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

Target: kiwi shark shark * =


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

Target: + - peach * blackberry


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

Target: - - - blackberry penguin lion


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

Target: blueberry banana = blueberry banana shark peach -


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

Target: rat rat - = cobra =


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

Target: * stork kiwi * zebra buffalo


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

Target: penguin buffalo horse - =


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

Target: = * whale blackberry = whale strawberry buffalo


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

Target: pear cobra * * whale pear -


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

Target: * - whale whale


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

Target: kiwi seal whale lion = *


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

Target: * = + blackberry pear pear blackberry pear blackberry


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

Target: * eagle cobra eagle cobra -


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

Target: kiwi shark zebra blackberry kiwi shark - - =


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

Target: * - rat horse apple rat horse =


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

Target: horse + - blackberry seal


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

Target: kiwi penguin = kiwi penguin + peach kiwi


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

Target: stork eagle lion strawberry + =


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

Target: stork - = stork kiwi buffalo


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

Target: * whale pear apple + *


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

Target: kiwi * * * kiwi


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

Target: peach grape shark whale * *


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

Target: - rat stork rat stork + eagle


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

Target: kiwi kiwi penguin lion - + kiwi kiwi


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

Target: cobra = + * grape grape


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

Target: - + grape eagle rat grape eagle


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

Target: + buffalo apple blackberry horse - buffalo apple *


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

Target: * penguin penguin penguin + -


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

Target: grape strawberry grape strawberry = *


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

Target: * peach kiwi penguin peach kiwi - -


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

Target: grape * horse apple grape + +


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

Target: zebra zebra + strawberry * +


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

Target: pear blackberry banana + + blackberry banana -


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

Target: buffalo lion = - cobra shark


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

Target: + rat penguin rat penguin = *


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

Target: blueberry blueberry + + - blueberry


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

Target: rat shark = - =


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

Target: lion shark - + lion shark


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

Target: lion eagle lion eagle = *


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

Target: + * cobra + cobra


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

Target: = * strawberry eagle rat shark


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

Target: blueberry buffalo = blueberry buffalo *


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

Target: shark = = eagle +


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

Target: = blackberry buffalo strawberry apple = blackberry buffalo +


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

Target: cobra apple penguin - + blueberry


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

Target: = peach + watermelon apple


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

Target: pear kiwi = pear kiwi = pear kiwi


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

Target: + = = strawberry strawberry banana cobra


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

Target: - horse horse + -


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

Target: shark = blackberry rat * shark +


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

Target: = = grape apple seal whale


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

Target: strawberry watermelon pear = +


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

Target: eagle grape + + eagle blackberry


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

Target: buffalo strawberry * cobra watermelon =


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

Target: + blackberry * - whale whale


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

Target: + - strawberry seal


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

Target: * lion whale * peach +


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

Target: cobra - + banana banana -


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

Target: * - whale * blueberry strawberry


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

Target: banana blueberry + = banana blueberry


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

Target: + + grape penguin grape penguin stork


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

Target: = cobra horse horse zebra + +


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

Target: = blackberry rat * stork stork + blackberry rat


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

Target: buffalo eagle peach * = eagle peach -


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

Target: + = stork stork stork stork +


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

Target: apple kiwi - - stork -


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

Target: rat = rat = stork blueberry


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

Target: rat kiwi rat kiwi pear cobra * *


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

Target: buffalo shark peach + =


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

Target: grape lion shark - *


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

Target: whale cobra whale cobra - whale cobra - *


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

Target: banana grape banana grape - +


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

Target: - * peach - pear pear


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

Target: blackberry shark - * watermelon


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

Target: * shark cobra buffalo + *


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

Target: stork penguin = whale +


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

Target: pear stork strawberry = stork strawberry -


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

Target: + eagle * = blueberry whale


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

Target: peach buffalo * * peach


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

Target: pear * lion cobra blueberry *


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

Target: + buffalo horse * strawberry banana


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

Target: rat shark = rat shark penguin strawberry + +


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

Target: - + * blackberry kiwi


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

Target: + blueberry * blueberry


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

Target: - buffalo whale buffalo whale buffalo whale *


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

Target: rat buffalo rat buffalo horse buffalo + + *


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

Target: + kiwi kiwi + rat zebra


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

Target: watermelon buffalo = - penguin zebra seal


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

Target: + eagle = seal +


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

Target: penguin = + * cobra shark cobra shark


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

Target: apple apple - = - apple


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

Target: pear = strawberry cobra *


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

Target: peach zebra buffalo * -


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

Target: blackberry * = blackberry *


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

Target: strawberry buffalo * * buffalo horse *


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

Target: whale strawberry buffalo = buffalo + =


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

Target: - whale rat = rat


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

Target: banana strawberry - - = shark horse strawberry


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

Target: * cobra peach - cobra peach


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

Target: peach buffalo = - whale rat +


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

Target: = * penguin pear


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

Target: cobra + rat zebra - rat zebra *


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

Target: apple strawberry * = +


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

Target: strawberry blackberry blackberry * +


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

Target: eagle stork * - eagle eagle


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

Target: * - horse stork


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

Target: = banana rat - banana kiwi


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

Target: rat stork - = rat stork -


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

Target: + blackberry * horse cobra -


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

Target: banana shark strawberry shark kiwi * - *


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

Target: = + blueberry = blueberry blueberry


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

Target: * - blackberry pear shark


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

Target: apple - zebra +


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

Target: whale penguin * penguin = =


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

Target: kiwi watermelon * *


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

Target: - banana + = peach banana


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

Target: - + apple pear eagle pear eagle *


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

Target: * grape kiwi grape kiwi - =


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

Target: - penguin grape = = peach lion


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

Target: + cobra + banana


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

Target: cobra cobra - - cobra cobra


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

Target: stork = pear grape pear shark *


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

Target: whale grape = whale * -


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

Target: blueberry seal blueberry seal pear * - *


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

Target: * lion pear - + rat buffalo rat buffalo


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

Target: = + shark buffalo + zebra


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

Target: = = horse = horse


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

Target: = eagle + buffalo


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

Target: shark - - = shark


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

Target: shark banana - grape zebra -


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

Target: strawberry apple = strawberry apple * +


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

Target: rat shark = kiwi +


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

Target: + rat pear * rat pear + rat pear


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

Target: shark lion strawberry = * shark lion


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

Target: blueberry rat * = eagle apple grape


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

Target: banana + peach - +


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

Target: * whale = buffalo


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

Target: blueberry peach peach * -


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

Target: peach horse * + banana buffalo peach horse


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

Target: pear - pear pear *


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

Target: lion banana = strawberry whale * grape +


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

Target: = strawberry apple * apple =


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

Target: blueberry lion + buffalo blueberry * kiwi zebra +


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

Target: = grape zebra watermelon -


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

Target: - shark + eagle whale


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

Target: = strawberry blackberry strawberry blackberry =


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

Target: - penguin - penguin zebra -


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

Target: strawberry rat buffalo + - +


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

Target: cobra eagle grape * cobra +


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

Target: + shark shark seal +


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

Target: apple * + pear


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

Target: = eagle peach eagle peach eagle peach -


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

Target: buffalo buffalo banana - *


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

Target: penguin - + penguin lion


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

Target: grape grape = * grape *


Source: Rules: - * Z Y X | Substitutions: X by " strawberry shark " , Y by " pear zebra " , Z by " blackberry "

Target: - * blackberry pear zebra strawberry shark


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

Target: zebra = watermelon =


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

Target: * + peach apple -


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

Target: buffalo grape apple buffalo grape = + +


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

Target: lion whale - banana stork *


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

Target: = * seal cobra


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

Target: blueberry = eagle buffalo +


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

Target: - zebra blackberry = + kiwi lion


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

Target: whale whale stork * * + whale


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

Target: + * blueberry shark * seal shark


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

Target: apple * = * whale


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

Target: eagle shark + lion cobra +


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

Target: + - seal watermelon strawberry buffalo strawberry buffalo


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

Target: + rat * = rat eagle


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

Target: whale banana + * stork blueberry kiwi +


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

Target: * stork cobra = stork cobra


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

Target: * pear = * pear


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

Target: pear cobra = cobra -


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

Target: - buffalo + + buffalo buffalo


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

Target: * - blueberry grape peach zebra peach zebra +


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

Target: eagle zebra - + + horse


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

Target: * penguin whale kiwi watermelon - =


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

Target: - kiwi = seal


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

Target: kiwi zebra lion whale - lion kiwi +


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

Target: = seal + zebra +


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

Target: * lion = * pear pear


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

Target: + = blackberry pear * apple buffalo eagle


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

Target: strawberry shark watermelon = rat horse * =


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

Target: whale horse + watermelon +


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

Target: * buffalo buffalo kiwi zebra =


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

Target: peach = peach +


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

Target: blueberry blueberry = -


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

Target: whale whale * - =


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

Target: cobra = + cobra -


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

Target: = - + pear grape apple lion


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

Target: apple pear horse strawberry buffalo lion = =


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

Target: + * - penguin seal penguin seal


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

Target: penguin apple + - -


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

Target: watermelon seal - * watermelon seal *


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

Target: horse eagle grape = +


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

Target: + stork - shark


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

Target: peach rat banana - = rat banana


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

Target: * horse penguin = penguin


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

Target: - pear * eagle


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

Target: cobra = - + kiwi


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

Target: cobra + shark kiwi +


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

Target: = buffalo = zebra


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

Target: seal lion + stork watermelon +


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

Target: grape blueberry blackberry penguin + *


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

Target: lion + - - grape shark


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

Target: = - = seal banana grape stork seal banana


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

Target: = + blueberry rat blueberry rat = lion


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

Target: grape seal grape - -


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

Target: peach peach - cobra *


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

Target: = apple whale * apple whale zebra penguin +


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

Target: * - stork apple stork apple * stork


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

Target: + blackberry * kiwi whale kiwi -


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

Target: blackberry kiwi - - blackberry


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

Target: - zebra pear + stork +


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

Target: peach = peach =


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

Target: stork + * stork blueberry stork blueberry


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

Target: * horse shark buffalo banana * +


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

Target: + - penguin watermelon = strawberry pear penguin watermelon


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

Target: + eagle seal - eagle seal *


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

Target: = apple * apple


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

Target: * - shark eagle strawberry *


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

Target: blueberry blueberry blackberry = * *


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

Target: grape rat + * + grape rat shark buffalo


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

Target: + banana apple * banana apple


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

Target: penguin = * apple kiwi


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

Target: = + horse cobra peach buffalo


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

Target: + - apple apple apple


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

Target: penguin penguin - kiwi kiwi + +


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

Target: + + shark seal shark seal =


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

Target: apple kiwi = apple kiwi *


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

Target: rat * stork stork =


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

Target: = grape grape = * grape apple


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

Target: = zebra kiwi - + stork buffalo stork buffalo


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

Target: + + zebra kiwi zebra kiwi


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

Target: blueberry horse = - banana banana


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

Target: banana cobra horse * + - pear


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

Target: pear = pear = grape =


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

Target: + * - watermelon cobra


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

Target: kiwi kiwi - * +


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

Target: shark horse shark horse - *


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

Target: + + grape zebra eagle eagle


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

Target: = eagle * + eagle


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

Target: = * eagle blackberry = eagle blackberry shark peach


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

Target: lion apple + + lion apple


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

Target: * + blackberry seal stork


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

Target: buffalo seal banana * shark -


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

Target: whale strawberry * whale +


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

Target: = lion banana buffalo eagle blackberry -


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

Target: + seal watermelon watermelon + =


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

Target: eagle = rat lion =


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

Target: = blueberry penguin + blueberry penguin *


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

Target: cobra pear = lion = *


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

Target: banana horse banana * =


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

Target: - cobra - = cobra grape


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

Target: - grape grape + -


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

Target: stork + lion * lion -


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

Target: - lion lion + lion =


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

Target: + stork pear rat - * stork pear


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

Target: = + * watermelon banana seal peach


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

Target: rat - penguin *


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

Target: penguin grape grape - -


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

Target: eagle * + pear - seal


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

Target: + peach eagle stork - = eagle stork


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

Target: banana - - horse


Source: Rules: X - X - | Substitutions: X by " penguin peach "

Target: penguin peach - penguin peach -


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

Target: stork cobra stork cobra peach * +


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

Target: seal apple blueberry - + whale


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

Target: = = - peach grape lion


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

Target: horse banana - = horse banana * whale kiwi


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

Target: watermelon * = watermelon


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

Target: whale eagle kiwi cobra + = whale eagle +


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

Target: stork - + kiwi shark -


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

Target: - zebra banana penguin - eagle cobra


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

Target: rat strawberry shark - + -


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

Target: shark blueberry rat * *


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

Target: * peach lion banana - -


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

Target: kiwi strawberry cobra kiwi strawberry - =


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

Target: = strawberry watermelon = strawberry =


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

Target: zebra zebra peach - *


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

Target: peach horse seal horse seal * +


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

Target: * * whale seal seal pear


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

Target: * * * apple pear stork


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

Target: zebra cobra = zebra - =


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

Target: * + - buffalo blackberry strawberry


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

Target: - pear + pear blackberry stork


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

Target: - = kiwi + kiwi


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

Target: * - cobra stork


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

Target: * seal cobra kiwi = seal cobra


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

Target: - rat buffalo + pear apple *


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

Target: = peach whale +


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

Target: * = horse strawberry penguin


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

Target: = seal - horse seal *


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

Target: rat * = = rat cobra seal


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

Target: seal + * pear zebra


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

Target: pear banana penguin banana + *


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

Target: - + watermelon stork + watermelon stork


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

Target: pear banana + peach grape -


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

Target: watermelon blackberry = * apple stork *


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

Target: watermelon rat watermelon rat = =


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

Target: shark peach - * shark peach + shark peach


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

Target: blueberry banana - * + lion lion


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

Target: * - buffalo zebra = blackberry zebra


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

Target: * strawberry blackberry + grape pear =


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

Target: = blueberry * blueberry *


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

Target: pear - seal banana rat shark +


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

Target: apple apple + = =


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

Target: kiwi cobra + = = cobra


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

Target: - apple blueberry + apple blueberry =


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

Target: * lion penguin lion penguin penguin peach = *


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

Target: stork kiwi seal - pear = *


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

Target: horse eagle apple pear = horse eagle = -


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

Target: whale pear + * eagle blueberry rat =


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

Target: = - rat rat + rat rat rat shark


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

Target: lion stork * + blackberry seal lion kiwi


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

Target: blueberry blackberry - blueberry blackberry * = lion lion


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

Target: banana + + banana = peach strawberry


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

Target: = buffalo apple blackberry cobra * buffalo apple


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

Target: - * cobra watermelon *


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

Target: rat * seal cobra *


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

Target: + whale = whale =


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

Target: stork horse = + stork horse


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

Target: = strawberry lion = strawberry lion +


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

Target: = blackberry = * cobra eagle


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

Target: = pear banana pear banana -


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

Target: peach + = peach


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

Target: = cobra penguin + penguin


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

Target: whale rat - = grape eagle


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

Target: horse * + shark * horse


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

Target: = grape - * grape


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

Target: * horse zebra *


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

Target: eagle = = = cobra peach


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

Target: kiwi kiwi kiwi - = =


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

Target: * + whale apple whale apple =


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

Target: seal apple = = seal *


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

Target: lion cobra * + - horse shark


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

Target: lion eagle - * lion eagle


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

Target: apple blueberry + = kiwi penguin kiwi penguin *


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

Target: stork + stork stork =


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

Target: eagle buffalo - * strawberry + blackberry


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

Target: banana - banana -


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

Target: = - kiwi apple


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

Target: * * banana grape stork seal


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

Target: + + stork penguin seal kiwi seal kiwi *


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

Target: = rat * rat rat -


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

Target: peach - + zebra *


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

Target: peach whale + peach whale -


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

Target: rat cobra + blackberry blueberry *


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

Target: horse buffalo = penguin *


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

Target: + - eagle stork penguin eagle stork


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

Target: + - whale buffalo shark peach


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

Target: whale strawberry + + seal kiwi


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

Target: - blueberry = penguin strawberry


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

Target: - = rat pear watermelon whale watermelon whale


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

Target: blueberry horse blueberry horse + +


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

Target: watermelon + penguin = penguin


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

Target: * pear seal = pear seal =


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

Target: * = buffalo watermelon =


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

Target: = lion blueberry = banana penguin lion blueberry


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

Target: = horse shark - shark


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

Target: shark stork zebra - =


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

Target: - grape grape =


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

Target: * eagle horse - + strawberry


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

Target: horse cobra = - * horse cobra blueberry


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

Target: + seal = seal rat horse


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

Target: whale apple watermelon stork - whale apple + =


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

Target: * blackberry penguin - rat penguin -


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

Target: = = blackberry blueberry strawberry =


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

Target: - * zebra = watermelon stork zebra


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

Target: - penguin buffalo grape grape - -


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

Target: shark cobra * cobra zebra - +


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

Target: + banana blueberry - - banana


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

Target: peach lion buffalo buffalo - - +


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

Target: = watermelon lion * strawberry


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

Target: horse watermelon * * * zebra horse horse watermelon


Source: Rules: Z X * * | Substitutions: X by " horse banana " , Z by " stork strawberry "

Target: stork strawberry horse banana * *


Source: Rules: + = = X Z | Substitutions: X by " penguin " , Z by " blackberry "

Target: + = = penguin blackberry


Source: Rules: = Z Z + | Substitutions: Z by " pear whale "

Target: = pear whale pear whale +


Source: Rules: X - X Z = | Substitutions: X by " cobra " , Z by " strawberry blueberry "

Target: cobra - cobra strawberry blueberry =


Source: Rules: X = Y Y - * | Substitutions: X by " cobra grape " , Y by " zebra "

Target: cobra grape = zebra zebra - *


Source: Rules: + Z + X X | Substitutions: X by " grape " , Z by " shark stork "

Target: + shark stork + grape grape


Source: Rules: - X = + Y | Substitutions: X by " whale stork " , Y by " horse horse "

Target: - whale stork = + horse horse


Source: Rules: Y Z = Y + | Substitutions: Y by " blueberry " , Z by " horse whale "

Target: blueberry horse whale = blueberry +


Source: Rules: Z * * = Y Z | Substitutions: Y by " eagle " , Z by " apple "

Target: apple * * = eagle apple


Source: Rules: * Y Y = | Substitutions: Y by " kiwi kiwi "

Target: * kiwi kiwi kiwi kiwi =


Source: Rules: * Z + + Z | Substitutions: Z by " grape stork "

Target: * grape stork + + grape stork


Source: Rules: * = Z Z * | Substitutions: Z by " buffalo "

Target: * = buffalo buffalo *


Source: Rules: = Z + Z Y | Substitutions: Y by " cobra shark " , Z by " lion "

Target: = lion + lion cobra shark


Source: Rules: * X + X + | Substitutions: X by " cobra lion "

Target: * cobra lion + cobra lion +


Source: Rules: - = Z X | Substitutions: X by " zebra zebra " , Z by " watermelon rat "

Target: - = watermelon rat zebra zebra


Source: Rules: Z * + Z | Substitutions: Z by " seal "

Target: seal * + seal


Source: Rules: * X Z + | Substitutions: X by " cobra stork " , Z by " peach "

Target: * cobra stork peach +


Source: Rules: = - Z X * X | Substitutions: X by " seal whale " , Z by " strawberry buffalo "

Target: = - strawberry buffalo seal whale * seal whale


Source: Rules: X = X * | Substitutions: X by " watermelon watermelon "

Target: watermelon watermelon = watermelon watermelon *


Source: Rules: - * X Z | Substitutions: X by " cobra " , Z by " whale "

Target: - * cobra whale