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

Target: * stork - * shark stork


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

Target: grape apple penguin grape apple = - -


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

Target: peach = cobra eagle peach *


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

Target: * = blackberry - pear


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

Target: + watermelon penguin eagle kiwi watermelon penguin =


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

Target: stork blueberry strawberry blueberry - = stork blueberry


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

Target: strawberry - + strawberry


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

Target: banana apple apple * + +


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

Target: shark grape = apple apple +


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

Target: pear pear penguin cobra * * strawberry


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

Target: watermelon grape penguin apple * * penguin apple +


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

Target: grape lion = * seal banana grape lion


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

Target: lion apple watermelon lion apple = + -


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

Target: * + rat kiwi whale rat kiwi


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

Target: - rat peach = +


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

Target: penguin buffalo * penguin buffalo whale shark -


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

Target: - + grape kiwi kiwi pear kiwi pear


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

Target: + apple peach apple peach buffalo +


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

Target: = - = banana whale banana


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

Target: buffalo + = blueberry *


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

Target: + peach zebra seal =


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

Target: = pear + rat rat -


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

Target: = stork + blueberry + stork


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

Target: shark stork shark stork peach kiwi * * *


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

Target: * kiwi blackberry kiwi blackberry +


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

Target: - + stork rat zebra zebra +


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

Target: watermelon shark = - watermelon shark


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

Target: * stork lion - eagle cobra eagle cobra


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

Target: blackberry strawberry * = whale cobra whale cobra


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

Target: peach horse peach horse - = * cobra peach


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

Target: whale whale cobra + - +


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

Target: + pear buffalo - kiwi *


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

Target: = kiwi kiwi = -


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

Target: + eagle pear eagle pear +


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

Target: kiwi kiwi + + shark kiwi +


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

Target: + strawberry horse + = horse


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

Target: * = lion blueberry cobra


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

Target: = peach watermelon seal horse seal horse + *


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

Target: + - stork blackberry


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

Target: = whale = = horse penguin horse penguin


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

Target: - cobra blueberry * whale *


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

Target: horse apple + * * horse apple


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

Target: = lion * zebra blackberry lion


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

Target: * + strawberry + grape strawberry


Source: Rules: Y + + Z X | Substitutions: X by " peach strawberry " , Y by " apple seal " , Z by " zebra "

Target: apple seal + + zebra peach strawberry


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

Target: zebra grape zebra grape + * grape grape


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

Target: * strawberry - rat + rat pear


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

Target: whale whale = = whale whale =


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

Target: grape horse + =


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

Target: = pear watermelon pear watermelon rat buffalo -


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

Target: kiwi = * kiwi =


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

Target: blueberry watermelon buffalo banana buffalo banana = =


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

Target: = * cobra buffalo cobra buffalo cobra buffalo =


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

Target: + banana banana *


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

Target: banana grape = - banana grape banana grape


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

Target: = apple peach * pear pear apple peach *


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

Target: blueberry horse rat - =


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

Target: zebra - blackberry = zebra =


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

Target: - peach peach strawberry =


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

Target: = apple + grape lion


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

Target: kiwi rat shark banana = blackberry zebra *


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

Target: * peach zebra - whale stork


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

Target: lion = + lion lion *


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

Target: strawberry kiwi seal + strawberry +


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

Target: * kiwi + + kiwi


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

Target: = eagle strawberry * eagle strawberry


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

Target: cobra * horse - -


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

Target: whale * horse rat + -


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

Target: cobra eagle = grape + *


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

Target: pear - = cobra peach cobra peach *


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

Target: * horse grape horse grape pear seal + *


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

Target: + grape horse kiwi seal kiwi seal *


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

Target: seal apple = + * peach


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

Target: + grape * grape


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

Target: horse - - - pear


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

Target: * + horse horse


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

Target: = * banana zebra shark lion - stork blueberry


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

Target: - + buffalo stork shark


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

Target: zebra * apple zebra +


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

Target: + rat zebra seal lion rat zebra -


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

Target: = shark * stork = cobra pear


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

Target: = seal shark pear cobra + seal grape


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

Target: eagle shark strawberry = = whale


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

Target: = whale whale * - zebra cobra


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

Target: = - + shark pear horse shark shark


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

Target: cobra = = grape pear cobra =


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

Target: shark kiwi shark kiwi = * = watermelon apple


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

Target: eagle eagle = - apple


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

Target: * - grape banana blackberry zebra blackberry zebra


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

Target: eagle eagle - * *


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

Target: + stork pear stork pear stork pear +


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

Target: * stork seal + grape seal stork seal


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

Target: * - zebra shark eagle blueberry eagle blueberry


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

Target: = = buffalo rat shark watermelon blackberry =


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

Target: * blueberry zebra shark zebra blueberry zebra + +


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

Target: - * grape blackberry zebra +


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

Target: strawberry peach * - shark shark +


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

Target: lion + stork peach -


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

Target: stork eagle = + stork eagle apple


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

Target: * strawberry watermelon - = strawberry watermelon blackberry whale


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

Target: blueberry + = grape


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

Target: apple = + apple -


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

Target: - pear - - buffalo


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

Target: = lion lion *


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

Target: - watermelon watermelon blackberry watermelon -


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

Target: * + cobra blackberry


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

Target: + shark * watermelon cobra * watermelon cobra


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

Target: apple kiwi peach * - penguin rat


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

Target: apple apple = + -


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

Target: lion eagle - -


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

Target: = watermelon horse = blackberry blackberry


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

Target: = * whale strawberry whale strawberry banana apple *


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

Target: watermelon apple * = watermelon apple +


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

Target: + shark buffalo shark buffalo - shark buffalo


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

Target: * strawberry + strawberry stork


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

Target: * = stork strawberry


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

Target: horse shark + peach - =


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

Target: banana * strawberry = =


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

Target: + + apple banana apple banana apple banana


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

Target: * pear - - banana


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

Target: * watermelon + watermelon =


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

Target: * stork = stork =


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

Target: - + penguin penguin penguin


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

Target: kiwi blueberry - kiwi blueberry - *


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

Target: - - blackberry blueberry buffalo eagle buffalo eagle -


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

Target: shark * banana zebra = shark


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

Target: kiwi kiwi peach = =


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

Target: + kiwi kiwi =


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

Target: - blackberry blackberry - +


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

Target: shark - shark + =


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

Target: shark + - shark


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

Target: - + blueberry whale blueberry whale shark


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

Target: - grape strawberry shark grape strawberry - -


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

Target: seal blueberry seal blueberry * -


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

Target: + - pear peach apple pear


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

Target: blackberry peach blackberry peach - - zebra banana *


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

Target: = eagle horse = kiwi shark *


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

Target: eagle zebra + eagle zebra =


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

Target: - grape kiwi kiwi + =


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

Target: = = seal blackberry buffalo seal rat lion


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

Target: grape = blackberry = * grape


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

Target: horse + * - seal


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

Target: lion - - * lion zebra lion zebra


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

Target: strawberry * stork stork + stork stork


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

Target: cobra banana * rat banana cobra cobra *


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

Target: rat kiwi apple - *


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

Target: = + + blackberry apple stork seal stork seal


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

Target: * eagle eagle = - buffalo buffalo


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

Target: + eagle grape kiwi -


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

Target: horse peach * - lion lion


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

Target: * * watermelon watermelon - watermelon


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

Target: * grape cobra * grape cobra -


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

Target: banana apple - - eagle


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

Target: watermelon lion buffalo stork * seal *


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

Target: - - seal cobra * seal cobra seal cobra


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

Target: strawberry blackberry + * - shark blackberry


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

Target: kiwi + kiwi - *


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

Target: = - rat rat = kiwi


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

Target: = strawberry cobra * horse


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

Target: * whale - - shark shark


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

Target: penguin buffalo whale = blueberry = +


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

Target: = banana * pear


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

Target: horse = horse + - penguin


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

Target: penguin rat strawberry = penguin +


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

Target: buffalo seal + - - peach seal buffalo seal


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

Target: + peach shark grape + grape +


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

Target: * blueberry peach grape = - grape


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

Target: grape blackberry seal * *


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

Target: buffalo + buffalo - = peach lion


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

Target: = lion buffalo pear buffalo pear -


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

Target: apple rat apple rat + +


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

Target: * * eagle watermelon lion


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

Target: * + whale whale


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

Target: * = watermelon - horse


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

Target: grape - - pear


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

Target: peach grape stork kiwi = + blueberry


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

Target: - * eagle apple peach + eagle


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

Target: = stork stork banana - +


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

Target: - kiwi kiwi =


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

Target: apple peach apple peach zebra zebra + * *


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

Target: cobra seal cobra seal shark * +


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

Target: * lion horse +


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

Target: peach stork - * seal shark


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

Target: + shark apple - rat - rat


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

Target: kiwi + cobra apple = =


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

Target: - horse * watermelon kiwi -


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

Target: = buffalo lion buffalo lion - buffalo lion =


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

Target: * = whale = whale


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

Target: = penguin pear watermelon = pear watermelon


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

Target: - apple * = apple


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

Target: pear lion pear lion = *


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

Target: cobra * + kiwi strawberry


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

Target: shark penguin penguin seal = penguin seal -


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

Target: blueberry eagle = seal * *


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

Target: - peach rat peach rat * peach rat


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

Target: apple apple - * pear penguin +


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

Target: = apple apple =


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

Target: - = stork stork


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

Target: grape - banana cobra grape -


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

Target: cobra + + = shark eagle penguin


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

Target: - + cobra apple cobra apple cobra apple


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

Target: grape = grape +


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

Target: banana + - banana -


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

Target: * stork = + kiwi pear


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

Target: shark apple buffalo buffalo * * =


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

Target: = shark penguin penguin +


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

Target: whale pear whale pear + * =


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

Target: = peach shark peach shark +


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

Target: lion peach + lion peach = * lion peach


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

Target: - cobra - cobra = cobra


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

Target: horse whale = - *


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

Target: - kiwi blueberry - blueberry


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

Target: - + lion eagle peach + buffalo horse


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

Target: = grape strawberry - - grape


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

Target: = rat strawberry blackberry blueberry - rat strawberry


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

Target: peach buffalo + - peach buffalo +


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

Target: - - + banana watermelon


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

Target: - pear zebra +


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

Target: = shark strawberry * shark strawberry


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

Target: * seal banana - + blueberry watermelon


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

Target: zebra cobra grape = = +


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

Target: cobra * strawberry whale * strawberry whale


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

Target: cobra peach peach - + +


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

Target: - cobra whale kiwi cobra =


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

Target: - grape + = eagle


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

Target: rat + rat shark strawberry - *


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

Target: horse stork horse stork * grape seal -


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

Target: blueberry - * blueberry


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

Target: eagle watermelon pear apple - strawberry + +


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

Target: banana grape whale * *


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

Target: + horse peach peach = +


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

Target: horse + - lion horse


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

Target: watermelon horse + * +


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

Target: shark seal shark seal - *


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

Target: lion lion watermelon * + = pear seal


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

Target: * = = lion horse lion


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

Target: blackberry pear = - - blackberry pear


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

Target: = - blackberry pear = blackberry pear


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

Target: lion grape + + *


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

Target: - = buffalo * buffalo buffalo


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

Target: lion seal cobra + -


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

Target: = penguin = penguin buffalo horse =


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

Target: rat horse rat + =


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

Target: + = - eagle penguin seal eagle penguin


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

Target: seal = - rat


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

Target: seal = seal * zebra lion +


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

Target: apple eagle apple eagle = apple eagle = -


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

Target: seal * stork *


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

Target: + pear = horse apple horse apple +


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

Target: horse = eagle = eagle


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

Target: = = eagle pear pear


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

Target: seal banana + seal banana *


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

Target: blackberry + + blackberry shark strawberry


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

Target: cobra cobra * rat =


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

Target: stork buffalo = buffalo -


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

Target: * whale pear grape - whale pear


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

Target: = banana whale banana whale = *


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

Target: + - * kiwi buffalo banana stork


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

Target: eagle * - * cobra


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

Target: - lion grape banana shark banana shark - =


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

Target: blueberry zebra * horse = horse


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

Target: * - rat pear rat pear rat pear


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

Target: eagle whale grape grape = +


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

Target: whale strawberry - whale strawberry -


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

Target: shark lion - shark lion *


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

Target: * banana + shark banana *


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

Target: + = blackberry apple - seal


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

Target: zebra banana * zebra banana zebra banana =


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

Target: eagle seal * - strawberry blueberry


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

Target: rat + * = grape stork


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

Target: rat blackberry rat blackberry * - apple lion


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

Target: blackberry eagle grape - +


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

Target: + grape whale - grape whale *


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

Target: pear apple * +


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

Target: apple + + apple


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

Target: whale = * blueberry


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

Target: zebra banana zebra banana * =


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

Target: lion + = cobra


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

Target: - blackberry watermelon cobra watermelon blackberry watermelon =


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

Target: - = watermelon horse - whale kiwi


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

Target: penguin stork stork - =


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

Target: penguin banana penguin banana - *


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

Target: * watermelon banana - = watermelon banana


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

Target: strawberry shark blueberry = = *


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

Target: eagle strawberry = - - banana


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

Target: - + shark shark


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

Target: + banana = blackberry zebra


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

Target: - peach shark + peach shark + horse


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

Target: + + peach peach peach *


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

Target: * pear pear blueberry pear pear +


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

Target: * - buffalo apple lion = buffalo apple


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

Target: stork buffalo + + buffalo -


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

Target: + peach * whale apple


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

Target: + strawberry kiwi strawberry strawberry =


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

Target: stork stork + + pear


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

Target: = - apple zebra - apple


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

Target: rat rat = + apple kiwi


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

Target: blackberry buffalo * + strawberry apple = strawberry apple


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

Target: whale = - peach


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

Target: + - zebra zebra *


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

Target: * pear blackberry = - seal eagle pear blackberry


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

Target: whale apple + blueberry blueberry horse =


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

Target: zebra zebra * - seal -


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

Target: - - buffalo kiwi buffalo kiwi *


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

Target: watermelon = peach - watermelon =


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

Target: apple = * watermelon blackberry =


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

Target: + = cobra blackberry grape


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

Target: * - cobra - cobra


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

Target: seal eagle + - shark lion


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

Target: - eagle blackberry whale - eagle blackberry *


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

Target: cobra * cobra =


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

Target: - blackberry eagle blackberry eagle = =


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

Target: shark * shark - apple


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

Target: + blackberry blackberry lion * blackberry lion


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

Target: blackberry + = blackberry blackberry


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

Target: - eagle grape * eagle grape


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

Target: = shark - shark


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

Target: * eagle lion - buffalo eagle


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

Target: + = * whale peach whale


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

Target: - = kiwi blueberry eagle eagle = penguin


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

Target: - stork grape stork grape +


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

Target: * = blackberry stork buffalo blackberry


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

Target: * seal buffalo = =


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

Target: * * rat kiwi grape rat kiwi


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

Target: watermelon cobra watermelon cobra = = *


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

Target: horse seal horse seal peach eagle * + *


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

Target: rat banana - zebra stork whale cobra + *


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

Target: = blueberry = buffalo


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

Target: = lion lion * blackberry


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

Target: * grape peach - + pear watermelon


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

Target: - seal banana whale watermelon seal banana *


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

Target: * + apple kiwi shark


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

Target: zebra lion + lion banana + =


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

Target: = blueberry blackberry buffalo apple *


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

Target: stork buffalo - stork buffalo penguin lion *


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

Target: = cobra * pear =


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

Target: = apple = blackberry =


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

Target: + blackberry = + blackberry blackberry


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

Target: = kiwi - eagle -


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

Target: grape + * strawberry strawberry


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

Target: grape shark = + shark cobra


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

Target: = - = penguin grape


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

Target: apple + peach - -


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

Target: - * peach peach shark


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

Target: + horse zebra = buffalo


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

Target: zebra apple * zebra apple kiwi eagle -


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

Target: * lion pear = * lion pear lion pear


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

Target: whale blueberry + whale blueberry whale horse + *


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

Target: - eagle buffalo shark * seal


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

Target: rat pear + + buffalo whale shark +


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

Target: * * zebra blueberry


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

Target: shark cobra - shark blueberry + seal zebra


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

Target: + = zebra zebra lion apple


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

Target: + - = apple pear apple pear


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

Target: strawberry watermelon = = - blueberry


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

Target: peach - + peach peach


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

Target: zebra = * banana watermelon


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

Target: - - watermelon watermelon watermelon +


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

Target: * lion = * blackberry watermelon lion


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

Target: grape rat - grape seal = grape rat


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

Target: - apple horse rat + =


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

Target: * grape lion + - grape


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

Target: zebra eagle * - - watermelon rat


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

Target: = watermelon whale cobra penguin =


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

Target: peach rat + = - stork whale


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

Target: peach blackberry peach blackberry + *


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

Target: cobra apple horse = *


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

Target: = whale buffalo = + whale buffalo


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

Target: apple horse + - + horse


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

Target: * lion - - lion zebra stork


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

Target: * + blueberry lion seal watermelon *


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

Target: + strawberry - strawberry rat


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

Target: = whale * apple buffalo - apple buffalo


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

Target: + peach rat * banana grape + peach rat


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

Target: cobra - + cobra cobra


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

Target: blackberry seal = seal - =


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

Target: * apple lion + strawberry stork horse


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

Target: buffalo buffalo strawberry = =


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

Target: + strawberry buffalo * seal blueberry *


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

Target: strawberry - * grape horse


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

Target: strawberry pear shark blackberry - strawberry pear +


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

Target: stork - peach buffalo peach buffalo *


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

Target: rat stork = stork * -


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

Target: * grape whale watermelon peach - grape lion *


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

Target: = = grape horse + grape horse


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

Target: * lion pear blackberry - lion pear *


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

Target: peach shark eagle = + peach +


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

Target: - whale shark + = lion pear


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

Target: buffalo = cobra blueberry cobra blueberry -


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

Target: apple - lion blackberry apple = +


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

Target: * = pear pear - shark


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

Target: apple = + apple


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

Target: = = cobra + pear zebra


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

Target: horse - = + lion seal cobra


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

Target: shark = peach -


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

Target: shark lion = + horse


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

Target: * grape peach + * apple


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

Target: stork banana + = peach kiwi +


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

Target: shark = shark kiwi - -


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

Target: + pear horse kiwi pear =


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

Target: grape watermelon * grape watermelon - =


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

Target: blueberry * + seal blueberry


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

Target: - apple grape * buffalo apple grape


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

Target: + - zebra rat zebra rat


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

Target: - zebra zebra - zebra apple


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

Target: + = kiwi shark strawberry rat +


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

Target: + + eagle whale


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

Target: cobra strawberry = whale buffalo - + cobra strawberry


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

Target: blueberry grape blueberry - +


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

Target: = kiwi = - kiwi


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

Target: blackberry pear blackberry pear buffalo banana * +


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

Target: pear whale cobra apple = cobra apple *


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

Target: zebra kiwi - watermelon zebra watermelon zebra +


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

Target: lion lion + apple apple -


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

Target: seal shark = * = pear apple


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

Target: = + rat - rat watermelon rat


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

Target: + peach strawberry peach strawberry =


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

Target: penguin * - penguin buffalo banana +


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

Target: * buffalo buffalo -


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

Target: * - lion whale lion whale =


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

Target: shark * shark -


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

Target: watermelon rat = seal * watermelon rat -


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

Target: lion eagle * + strawberry = lion eagle


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

Target: - lion * seal


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

Target: kiwi stork peach peach * *


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

Target: + kiwi watermelon +


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

Target: zebra grape - blackberry strawberry stork + =


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

Target: * penguin penguin lion banana strawberry =


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

Target: shark * * * shark


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

Target: blueberry watermelon - - seal


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

Target: * = apple rat penguin +


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

Target: horse penguin - horse penguin = -


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

Target: stork whale - + stork stork +


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

Target: lion lion = - peach zebra = blackberry


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

Target: - apple blackberry banana * banana +


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

Target: - penguin eagle banana - banana


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

Target: strawberry peach = - penguin strawberry peach


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

Target: - apple + blackberry


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

Target: + kiwi blueberry penguin blueberry penguin = -


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

Target: - * + grape zebra lion


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

Target: grape - seal *


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

Target: - * blueberry + blackberry


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

Target: * banana = strawberry =


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

Target: + lion blueberry eagle strawberry * =


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

Target: blueberry lion - stork *


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

Target: shark watermelon shark watermelon * = horse


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

Target: apple horse - -


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

Target: buffalo - + penguin


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

Target: - shark * banana


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

Target: horse - - horse - horse


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

Target: seal seal * whale rat - =


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

Target: shark pear - = blackberry grape = shark pear


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

Target: - = apple blueberry apple blueberry *


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

Target: seal eagle buffalo - -


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

Target: = horse watermelon = shark horse watermelon


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

Target: = strawberry seal - horse horse


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

Target: + + seal seal


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

Target: seal seal = -


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

Target: seal eagle - + peach =


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

Target: - + whale strawberry cobra strawberry - whale strawberry


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

Target: - + * stork blackberry apple


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

Target: * grape whale grape +


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

Target: - apple + grape whale


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

Target: - * + grape grape grape


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

Target: pear eagle + blackberry strawberry * *


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

Target: eagle - eagle eagle *


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

Target: - peach strawberry =


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

Target: cobra strawberry = cobra strawberry + stork strawberry


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

Target: - peach horse whale seal * =


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

Target: lion * apple +


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

Target: watermelon buffalo + apple watermelon buffalo *


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

Target: whale whale * whale - =


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

Target: * - = grape stork cobra


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

Target: penguin zebra peach stork kiwi penguin = -


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

Target: * lion strawberry * pear whale pear whale


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

Target: apple whale + rat =


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

Target: + - * cobra blueberry


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

Target: * - shark zebra shark zebra +


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

Target: * shark = penguin rat cobra blackberry =


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

Target: = watermelon peach *


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

Target: = blueberry - pear =


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

Target: lion = - lion


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

Target: = kiwi zebra kiwi zebra + =


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

Target: - eagle pear penguin buffalo - +


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

Target: * whale * horse banana =


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

Target: * rat zebra blackberry =


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

Target: * + rat seal strawberry banana


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

Target: strawberry blackberry - strawberry blackberry peach eagle *


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

Target: grape + * grape


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

Target: penguin lion + = seal peach * penguin lion


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

Target: blueberry blueberry = buffalo stork - -


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

Target: = - stork buffalo stork buffalo -


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

Target: blueberry penguin = banana kiwi - banana kiwi


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

Target: eagle blueberry strawberry watermelon * * - strawberry watermelon


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

Target: + whale whale = whale


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

Target: horse - strawberry kiwi peach penguin *


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

Target: blackberry peach kiwi whale - - - blackberry peach


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

Target: = + * grape watermelon grape watermelon


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

Target: apple eagle eagle = *


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

Target: - - rat blueberry =


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

Target: buffalo kiwi = seal * buffalo kiwi +


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

Target: horse - apple +


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

Target: seal penguin * = seal penguin


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

Target: = whale banana whale banana =


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

Target: zebra pear = * penguin eagle -


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

Target: buffalo rat buffalo rat + - rat seal -


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

Target: seal kiwi seal seal kiwi + * *


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

Target: * * banana whale = banana whale


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

Target: lion lion = - shark


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

Target: cobra = * kiwi


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

Target: + = - whale blueberry blueberry


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

Target: stork = stork buffalo -


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

Target: = seal grape + whale grape


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

Target: + + * rat rat


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

Target: buffalo = - blackberry - blackberry


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

Target: whale stork - + +


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

Target: peach banana + blueberry horse -


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

Target: * + - eagle eagle


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

Target: watermelon eagle banana horse lion = * +


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

Target: peach penguin * penguin + =


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

Target: seal strawberry = - watermelon kiwi =


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

Target: cobra - eagle pear -


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

Target: stork apple - * strawberry


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

Target: lion * horse - horse -


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

Target: * lion strawberry + buffalo


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

Target: * whale buffalo whale buffalo blueberry horse *


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

Target: * kiwi pear kiwi pear -


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

Target: * blueberry blueberry * - blueberry blueberry


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

Target: blueberry cobra blueberry cobra + +


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

Target: watermelon penguin lion + watermelon penguin +


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

Target: shark + pear kiwi +


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

Target: = zebra zebra = = lion pear


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

Target: - stork = + penguin stork


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

Target: + blackberry blackberry shark lion =


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

Target: = watermelon blueberry - apple


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

Target: penguin - * - strawberry cobra


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

Target: stork peach * *


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

Target: - - pear seal + pear


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

Target: - watermelon strawberry + apple shark =


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

Target: grape strawberry blueberry = strawberry eagle -


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

Target: horse rat buffalo + - * horse rat


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

Target: - stork + = lion seal


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

Target: = + blackberry watermelon blackberry watermelon


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

Target: lion zebra * + lion zebra -


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

Target: zebra blackberry + strawberry eagle * - strawberry


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

Target: + kiwi lion - peach blackberry


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

Target: strawberry zebra + - - grape


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

Target: seal seal * -


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

Target: * + horse pear zebra lion -


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

Target: + whale eagle = -


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

Target: rat + * shark


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

Target: * lion lion *


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

Target: banana * * banana banana =


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

Target: = = eagle stork * horse penguin


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

Target: blackberry blueberry * - horse blackberry blueberry


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

Target: * - = strawberry rat rat


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

Target: * - blackberry + blackberry


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

Target: rat - grape strawberry grape strawberry =


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

Target: + - * seal rat banana


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

Target: eagle zebra = pear zebra *


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

Target: penguin penguin cobra cobra + * -


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

Target: peach penguin - - *


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

Target: = * lion horse lion horse =


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

Target: + penguin penguin buffalo cobra +


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

Target: * rat = kiwi lion penguin shark


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

Target: eagle stork + = eagle stork


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

Target: = - penguin rat penguin rat


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

Target: = horse - whale whale


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

Target: - horse + = horse kiwi


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

Target: grape strawberry grape strawberry * grape *


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

Target: - blueberry * - shark


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

Target: shark buffalo * kiwi shark = shark buffalo *


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

Target: - blackberry apple + lion blueberry


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

Target: = * lion kiwi * cobra


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

Target: + blackberry shark + pear seal +


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

Target: * - zebra horse blackberry


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

Target: - blackberry * - eagle peach peach


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

Target: = * blackberry zebra = seal peach buffalo


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

Target: * = zebra zebra


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

Target: - buffalo horse strawberry + -


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

Target: * apple buffalo + strawberry seal *


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

Target: eagle - * eagle + whale


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

Target: watermelon blueberry watermelon = +


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

Target: apple + grape eagle -


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

Target: = = = seal penguin cobra horse


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

Target: * + rat cobra grape


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

Target: - + cobra cobra


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

Target: strawberry * peach +


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

Target: zebra kiwi = + zebra kiwi * penguin


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

Target: blackberry rat rat = +


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

Target: eagle shark eagle shark cobra - + =


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

Target: + kiwi apple + kiwi apple + lion pear


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

Target: strawberry = + * watermelon


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

Target: * = zebra = pear rat zebra


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

Target: eagle seal * = *


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

Target: pear watermelon apple watermelon * -


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

Target: = buffalo eagle buffalo + -


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

Target: * apple seal stork blackberry = stork blackberry +


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

Target: lion grape kiwi + =


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

Target: horse - banana stork - -


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

Target: rat blueberry whale cobra watermelon + *


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

Target: seal - + - seal


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

Target: + = grape whale stork grape whale =


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

Target: banana - whale -


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

Target: shark shark shark - = =


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

Target: strawberry kiwi strawberry kiwi strawberry kiwi + *


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

Target: horse stork * grape watermelon * horse stork -


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

Target: + shark blueberry shark blueberry =


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

Target: = watermelon seal watermelon seal blueberry = -


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

Target: horse horse - *


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

Target: seal watermelon * seal *


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

Target: watermelon pear - shark buffalo +


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

Target: lion = lion - buffalo


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

Target: blackberry blueberry cobra eagle + = - cobra eagle


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

Target: * - shark peach peach shark - peach shark


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

Target: grape + rat =


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

Target: kiwi peach = * horse cobra


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

Target: * banana zebra * whale


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

Target: = lion peach lion peach = = lion peach


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

Target: = * rat shark seal = shark


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

Target: - + buffalo seal grape watermelon =


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

Target: blueberry rat = * blueberry rat =


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

Target: - blackberry blackberry = blackberry *


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

Target: + horse rat - = pear blueberry


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

Target: apple - pear apple -


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

Target: peach peach + = +


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

Target: = - grape horse horse + horse


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

Target: - whale - pear pear -


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

Target: * + seal pear pear


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

Target: * watermelon lion watermelon lion =


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

Target: * peach * pear grape


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

Target: whale shark - - zebra apple


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

Target: * stork blueberry - penguin


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

Target: watermelon * watermelon watermelon -


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

Target: lion + - penguin peach =


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

Target: penguin eagle = * * penguin eagle penguin eagle


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

Target: blueberry blueberry + + *


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

Target: = = stork banana lion banana lion


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

Target: + + apple banana + pear


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

Target: + - whale = whale cobra


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

Target: pear zebra lion = = pear -


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

Target: - grape lion peach =


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

Target: - whale watermelon + watermelon *


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

Target: blackberry blackberry + blackberry *


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

Target: seal strawberry + = watermelon buffalo


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

Target: + - + zebra pear seal


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

Target: + rat = blueberry


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

Target: * kiwi kiwi watermelon peach *


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

Target: peach apple pear * =


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

Target: + zebra - watermelon blueberry watermelon blueberry =


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

Target: + blackberry rat penguin - blackberry rat +


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

Target: buffalo kiwi = whale watermelon * -


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

Target: blueberry blueberry = cobra =


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

Target: watermelon + = whale whale whale +


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

Target: = cobra cobra strawberry rat =


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

Target: + * buffalo - buffalo


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

Target: seal = horse eagle * + blueberry


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

Target: penguin banana penguin banana penguin banana - * -


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

Target: horse blackberry = seal shark horse blackberry =


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

Target: blueberry + + seal


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

Target: - stork banana peach blueberry * -


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

Target: pear = + * zebra rat


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

Target: = * - penguin pear lion


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

Target: blackberry shark horse - * shark horse =


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

Target: peach watermelon penguin peach = = +


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

Target: - apple - blackberry apple + apple


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

Target: - horse lion horse lion * watermelon


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

Target: - - seal zebra watermelon lion strawberry


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

Target: * - apple apple =


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

Target: grape strawberry - * grape strawberry


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

Target: - apple pear - apple pear *


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

Target: cobra seal zebra watermelon + - zebra watermelon


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

Target: = = eagle eagle -


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

Target: zebra + zebra zebra +


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

Target: + kiwi + kiwi whale


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

Target: rat eagle blueberry - + * eagle blueberry


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

Target: zebra peach + = zebra peach grape penguin


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

Target: = zebra apple - kiwi whale zebra apple


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

Target: eagle kiwi + * eagle kiwi stork kiwi


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

Target: * banana whale = banana whale - peach penguin


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

Target: whale rat blackberry - blackberry + *


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

Target: peach + * peach


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

Target: + + peach banana peach blackberry


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

Target: pear cobra pear cobra shark horse = + *


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

Target: stork rat pear shark - -


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

Target: * - zebra eagle buffalo zebra eagle


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

Target: * - pear strawberry rat whale


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

Target: + buffalo horse grape + buffalo horse +


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

Target: watermelon + watermelon - peach


Source: Rules: Y X Z = = | Substitutions: X by " stork watermelon " , Y by " eagle whale " , Z by " apple apple "

Target: eagle whale stork watermelon apple apple = =


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

Target: buffalo apple rat - + shark grape +


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

Target: penguin stork + kiwi - kiwi


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

Target: = + pear pear


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

Target: = rat + grape +


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

Target: + = apple zebra apple zebra +


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

Target: rat = + + horse apple


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

Target: eagle shark + - eagle


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

Target: * zebra penguin blackberry penguin blackberry = =


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

Target: grape buffalo = stork buffalo -


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

Target: + + lion * lion watermelon rat


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

Target: peach - = * rat peach


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

Target: - kiwi kiwi - stork -


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

Target: * apple - blackberry peach lion zebra -


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

Target: buffalo shark buffalo shark * = eagle


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

Target: blackberry buffalo banana + + buffalo banana


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

Target: blackberry + eagle watermelon -


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

Target: blackberry strawberry * cobra rat +


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

Target: banana seal + + banana stork banana seal +


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

Target: shark = - shark =


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

Target: apple rat = grape cobra - apple rat


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

Target: = blueberry banana peach *


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

Target: buffalo peach blackberry = buffalo *


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

Target: buffalo buffalo = * =


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

Target: = shark strawberry zebra apple zebra apple *


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

Target: blackberry cobra - - horse horse -


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

Target: cobra shark penguin buffalo + + *


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

Target: + stork = = stork


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

Target: - kiwi kiwi banana + kiwi kiwi


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

Target: + shark buffalo * shark buffalo


Source: Rules: - Y X - Z | Substitutions: X by " horse apple " , Y by " penguin whale " , Z by " watermelon blueberry "

Target: - penguin whale horse apple - watermelon blueberry


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

Target: = stork watermelon = * stork watermelon


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

Target: = = shark pear -


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

Target: grape = + eagle kiwi grape -


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

Target: cobra pear eagle eagle eagle eagle * * *


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

Target: whale stork * whale +


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

Target: - horse * pear zebra -


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

Target: + watermelon banana lion apple -


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

Target: stork + blueberry apple * * blueberry apple


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

Target: horse horse = - horse horse


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

Target: buffalo - buffalo * =


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

Target: pear lion - + + buffalo apple


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

Target: = rat - rat shark banana +


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

Target: strawberry pear - - strawberry pear


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

Target: watermelon peach - +


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

Target: - * blueberry stork blueberry whale


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

Target: + = horse rat strawberry buffalo watermelon


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

Target: kiwi pear * kiwi pear - -


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

Target: shark blackberry apple = shark blackberry +


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

Target: peach seal + kiwi horse banana = +


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

Target: = whale - shark shark


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

Target: = penguin - penguin buffalo


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

Target: = pear banana - pear banana


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

Target: banana blackberry * banana whale banana blackberry +


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

Target: * stork zebra + = watermelon watermelon


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

Target: * - = strawberry watermelon watermelon strawberry watermelon


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

Target: * horse + + horse


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

Target: = shark shark blueberry shark blueberry *


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

Target: * zebra = zebra eagle *


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

Target: lion + = lion =


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

Target: blackberry zebra + seal seal + *


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

Target: - blackberry * * banana grape


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

Target: - apple lion -


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

Target: blackberry seal strawberry = + cobra grape


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

Target: - blackberry blueberry + grape cobra


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

Target: seal blackberry + kiwi seal blackberry = =


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

Target: cobra grape + cobra grape - * banana


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

Target: penguin grape blueberry = =


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

Target: - blackberry kiwi = blackberry *


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

Target: cobra eagle buffalo - - cobra +


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

Target: shark buffalo + * * shark


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

Target: + grape grape - - grape


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

Target: buffalo apple + stork *


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

Target: - shark stork = horse grape shark grape


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

Target: blueberry lion - blueberry * *


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

Target: * lion - lion seal zebra


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

Target: = + strawberry lion strawberry lion strawberry lion


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

Target: + stork * * whale


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

Target: blueberry grape stork = *


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

Target: + penguin horse apple = penguin


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

Target: grape strawberry shark * + *


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

Target: - + + eagle eagle blackberry


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

Target: * penguin penguin =


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

Target: grape zebra + + zebra blueberry -


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

Target: + banana - zebra kiwi +


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

Target: = zebra * = seal


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

Target: - blueberry strawberry blackberry watermelon penguin kiwi *


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

Target: * stork stork = *


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

Target: - strawberry shark - shark


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

Target: stork zebra eagle zebra eagle + *


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

Target: penguin - shark * apple whale


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

Target: - * - eagle eagle eagle


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

Target: - - horse + kiwi apple horse


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

Target: blackberry = buffalo =


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

Target: + - rat rat blueberry


Source: Rules: Y X * Z + * | Substitutions: X by " eagle grape " , Y by " shark peach " , Z by " shark strawberry "

Target: shark peach eagle grape * shark strawberry + *


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

Target: zebra * zebra +


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

Target: - whale kiwi lion lion +


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

Target: peach rat * peach rat = peach rat


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

Target: lion * + lion +


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

Target: = = apple whale penguin -


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

Target: cobra kiwi whale pear + * + whale pear


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

Target: apple grape - = +


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

Target: * + seal peach stork


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

Target: rat eagle + zebra zebra =


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

Target: * horse grape * kiwi seal kiwi seal


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

Target: + watermelon watermelon =


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

Target: rat blueberry kiwi cobra = * =


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

Target: peach = peach peach - +


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

Target: blackberry + = blackberry zebra


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

Target: + blueberry watermelon + grape penguin *


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

Target: + - buffalo seal penguin apple


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

Target: penguin eagle watermelon + = *


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

Target: zebra seal buffalo + = + buffalo


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

Target: + strawberry peach strawberry peach * seal strawberry =


Source: Rules: + Y Z - - Z | Substitutions: Y by " apple " , Z by " whale "

Target: + apple whale - - whale


Source: Rules: - X - + Z Z | Substitutions: X by " watermelon whale " , Z by " blueberry "

Target: - watermelon whale - + blueberry blueberry


Source: Rules: = Y Z = | Substitutions: Y by " strawberry apple " , Z by " blueberry "

Target: = strawberry apple blueberry =


Source: Rules: Y Z = - Y | Substitutions: Y by " banana " , Z by " grape whale "

Target: banana grape whale = - banana


Source: Rules: = - Z Z Z | Substitutions: Z by " blackberry "

Target: = - blackberry blackberry blackberry


Source: Rules: + Y = + Y | Substitutions: Y by " horse "

Target: + horse = + horse


Source: Rules: X = X * | Substitutions: X by " eagle "

Target: eagle = eagle *


Source: Rules: Z = * X X | Substitutions: X by " banana " , Z by " horse "

Target: horse = * banana banana


Source: Rules: + = Z Z * | Substitutions: Z by " cobra "

Target: + = cobra cobra *


Source: Rules: Z = - Y | Substitutions: Y by " watermelon strawberry " , Z by " kiwi "

Target: kiwi = - watermelon strawberry


Source: Rules: - Z Y - Y + | Substitutions: Y by " buffalo stork " , Z by " penguin "

Target: - penguin buffalo stork - buffalo stork +


Source: Rules: = Y Z Z = * | Substitutions: Y by " grape " , Z by " whale apple "

Target: = grape whale apple whale apple = *


Source: Rules: X * + Z | Substitutions: X by " pear pear " , Z by " rat kiwi "

Target: pear pear * + rat kiwi


Source: Rules: = - X Y X | Substitutions: X by " horse zebra " , Y by " horse "

Target: = - horse zebra horse horse zebra


Source: Rules: = X Y + X | Substitutions: X by " whale watermelon " , Y by " banana buffalo "

Target: = whale watermelon banana buffalo + whale watermelon


Source: Rules: = - Y = Z | Substitutions: Y by " shark " , Z by " peach "

Target: = - shark = peach


Source: Rules: Y * + + X | Substitutions: X by " whale blackberry " , Y by " pear kiwi "

Target: pear kiwi * + + whale blackberry


Source: Rules: Z Z Y + + + | Substitutions: Y by " seal " , Z by " rat "

Target: rat rat seal + + +


Source: Rules: * X Y - | Substitutions: X by " pear blackberry " , Y by " strawberry blackberry "

Target: * pear blackberry strawberry blackberry -


Source: Rules: Y + X Y * | Substitutions: X by " seal " , Y by " kiwi "

Target: kiwi + seal kiwi *