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

Target: * lion * lion


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

Target: banana blueberry cobra = + - cobra


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

Target: peach cobra - = - cobra


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

Target: horse = kiwi +


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

Target: cobra = kiwi blueberry pear -


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

Target: = blackberry horse + banana


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

Target: - eagle blueberry eagle blueberry =


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

Target: = penguin whale + whale -


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

Target: rat cobra grape - = rat cobra


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

Target: watermelon banana + - * banana buffalo banana buffalo


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

Target: = = horse lion watermelon


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

Target: rat * buffalo *


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

Target: penguin - whale whale * +


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

Target: rat peach rat peach + = -


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

Target: = + eagle eagle grape eagle grape


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

Target: * grape pear banana = grape pear


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

Target: banana whale shark whale shark + + =


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

Target: + banana kiwi banana kiwi - strawberry stork


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

Target: horse rat kiwi = + -


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

Target: * horse buffalo + horse buffalo stork


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

Target: zebra watermelon zebra watermelon eagle lion - *


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

Target: * - - blackberry kiwi cobra cobra


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

Target: buffalo + = - rat shark buffalo


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

Target: watermelon strawberry strawberry pear = -


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

Target: whale shark stork banana - * +


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

Target: = * whale strawberry whale


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

Target: apple * grape + cobra grape +


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

Target: blueberry cobra = * grape


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

Target: = zebra + eagle zebra


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

Target: lion stork lion rat lion rat + * *


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

Target: = grape apple - grape apple = pear lion


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

Target: apple grape - whale horse +


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

Target: + - kiwi banana + grape grape


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

Target: apple kiwi stork lion + * buffalo blueberry


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

Target: + stork kiwi stork kiwi *


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

Target: kiwi peach rat - kiwi -


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

Target: penguin buffalo seal eagle rat watermelon + -


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

Target: pear apple - pear apple =


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

Target: + - whale eagle whale eagle whale eagle


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

Target: = + banana cobra penguin eagle +


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

Target: shark horse * shark horse * *


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

Target: + = stork + stork stork


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

Target: banana + + pear


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

Target: = whale = strawberry whale


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

Target: rat eagle + * rat eagle


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

Target: buffalo buffalo - buffalo buffalo +


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

Target: - watermelon = watermelon +


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

Target: - banana + shark


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

Target: * rat grape rat grape shark =


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

Target: zebra + + penguin *


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

Target: * * grape grape


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

Target: - * - whale grape banana whale


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

Target: - * = penguin cobra penguin cobra


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

Target: * strawberry banana = strawberry banana


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

Target: * - seal shark blackberry


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

Target: - - eagle stork - eagle


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

Target: * blueberry apple buffalo whale blackberry =


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

Target: shark kiwi - kiwi =


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

Target: penguin kiwi eagle - - +


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

Target: - kiwi shark seal * + shark seal


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

Target: seal apple penguin * - + grape banana


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

Target: watermelon = * watermelon penguin +


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

Target: blueberry = penguin zebra * eagle buffalo -


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

Target: * * banana whale + shark strawberry


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

Target: - * rat kiwi buffalo -


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

Target: lion + pear strawberry + + cobra


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

Target: = penguin * penguin


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

Target: + blackberry * - blackberry


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

Target: = - apple kiwi stork apple kiwi


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

Target: buffalo - penguin eagle buffalo -


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

Target: horse shark = horse shark - =


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

Target: grape + = eagle eagle -


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

Target: + whale banana rat - whale


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

Target: * shark eagle * - shark eagle


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

Target: * zebra banana + pear shark


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

Target: + + banana banana banana grape banana banana


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

Target: + - kiwi peach cobra penguin *


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

Target: stork apple = + - zebra penguin


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

Target: seal whale + blueberry -


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

Target: = zebra * * penguin


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

Target: * horse whale + -


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

Target: + buffalo = + shark cobra buffalo


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

Target: - * banana whale penguin *


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

Target: = buffalo strawberry * =


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

Target: whale eagle rat seal = +


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

Target: rat stork * rat banana = *


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

Target: * lion * + lion


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

Target: grape = - grape =


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

Target: - apple * horse banana


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

Target: - whale stork kiwi pear kiwi - +


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

Target: + - blueberry strawberry - zebra


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

Target: * * shark whale peach penguin


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

Target: * rat pear rat pear -


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

Target: kiwi banana = + * kiwi banana


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

Target: * watermelon - blackberry


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

Target: - watermelon penguin watermelon apple +


Source: Rules: Z - Y - - X | Substitutions: X by " rat zebra " , Y by " peach " , Z by " stork eagle "

Target: stork eagle - peach - - rat zebra


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

Target: rat stork rat stork whale = =


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

Target: + - = blackberry lion blackberry apple


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

Target: + kiwi horse penguin horse penguin +


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

Target: grape + - watermelon grape


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

Target: buffalo buffalo * buffalo buffalo +


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

Target: - horse eagle horse eagle + grape buffalo


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

Target: kiwi stork peach - peach =


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

Target: horse horse horse * =


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

Target: * strawberry zebra strawberry zebra =


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

Target: + whale pear shark +


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

Target: = + pear shark eagle - rat blackberry


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

Target: buffalo buffalo = *


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

Target: peach + * cobra


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

Target: grape pear * = eagle whale *


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

Target: + - zebra shark * blueberry grape


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

Target: - + rat rat = rat


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

Target: kiwi stork + - - kiwi stork


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

Target: watermelon + + buffalo -


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

Target: = - pear + shark kiwi pear


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

Target: - = blueberry zebra pear blueberry zebra


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

Target: shark whale * zebra grape + shark whale


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

Target: = lion lion lion + -


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

Target: horse grape = peach grape peach grape -


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

Target: pear seal * pear whale +


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

Target: zebra kiwi blackberry * - +


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

Target: buffalo - grape horse grape whale *


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

Target: buffalo pear * buffalo pear - =


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

Target: - banana + lion apple - lion apple


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

Target: seal * = eagle shark = eagle shark


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

Target: seal eagle - = buffalo whale peach


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

Target: watermelon blueberry watermelon blueberry eagle - = +


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

Target: lion - buffalo strawberry lion seal =


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

Target: + = seal penguin blueberry seal penguin =


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

Target: + stork rat apple -


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

Target: pear + + pear


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

Target: shark + = buffalo lion


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

Target: + stork watermelon peach + peach +


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

Target: * penguin zebra * +


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

Target: + lion lion = +


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

Target: - penguin seal buffalo +


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

Target: pear + - cobra eagle +


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

Target: watermelon buffalo horse lion - =


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

Target: seal rat * = grape banana =


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

Target: zebra * zebra zebra +


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

Target: + pear shark pear shark *


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

Target: = horse blueberry blueberry + blueberry =


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

Target: horse horse - + blackberry strawberry


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

Target: - banana pear banana pear kiwi =


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

Target: + blackberry blackberry -


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

Target: zebra = pear pear *


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

Target: = kiwi eagle + banana peach


Source: Rules: X Y * + * | Substitutions: X by " eagle pear " , Y by " cobra banana "

Target: eagle pear cobra banana * + *


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

Target: + * zebra stork


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

Target: = buffalo buffalo + stork =


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

Target: rat blueberry + - strawberry = rat blueberry


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

Target: buffalo eagle buffalo eagle = grape lion - +


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

Target: - rat kiwi rat kiwi + zebra grape *


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

Target: pear + pear = * pear


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

Target: grape kiwi + grape kiwi apple *


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

Target: - + strawberry blueberry lion lion =


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

Target: grape rat penguin stork * =


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

Target: - apple apple - penguin *


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

Target: peach shark = banana penguin - banana penguin


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

Target: penguin grape grape banana + + -


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

Target: - shark shark - -


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

Target: - - pear lion buffalo


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

Target: * horse horse horse =


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

Target: grape horse - grape horse grape + +


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

Target: * - blueberry peach whale peach whale


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

Target: + blueberry rat blueberry rat +


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

Target: cobra * * penguin zebra -


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

Target: blackberry kiwi * *


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

Target: cobra peach * cobra peach - cobra peach


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

Target: + = whale zebra - whale zebra blueberry blueberry


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

Target: blackberry * * + blackberry strawberry


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

Target: watermelon apple - zebra kiwi -


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

Target: watermelon seal blueberry apple blueberry apple - =


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

Target: - = cobra - shark cobra


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

Target: buffalo apple - buffalo apple = seal pear


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

Target: + kiwi strawberry kiwi strawberry - =


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

Target: stork seal whale strawberry stork seal + +


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

Target: * apple apple * -


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

Target: * kiwi = buffalo buffalo


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

Target: * * = kiwi penguin seal


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

Target: * - - banana eagle watermelon


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

Target: - = blueberry lion + blueberry lion


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

Target: + buffalo strawberry * + apple blackberry pear


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

Target: pear eagle cobra peach = + - pear eagle


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

Target: rat blackberry rat blackberry + * whale buffalo -


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

Target: = rat rat +


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

Target: = - seal whale horse stork


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

Target: banana * peach + *


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

Target: banana + banana + = strawberry


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

Target: = blackberry strawberry blackberry strawberry +


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

Target: rat blackberry + *


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

Target: - penguin banana penguin banana -


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

Target: * - watermelon penguin shark


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

Target: + + watermelon seal watermelon seal grape


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

Target: = - zebra apple zebra apple


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

Target: lion stork - * zebra grape


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

Target: + = kiwi lion cobra +


Source: Rules: Y * = Z X | Substitutions: X by " blueberry banana " , Y by " cobra strawberry " , Z by " grape "

Target: cobra strawberry * = grape blueberry banana


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

Target: - eagle pear lion grape - eagle +


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

Target: + + pear pear


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

Target: + seal apple = seal apple


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

Target: penguin eagle = * eagle


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

Target: lion lion + kiwi *


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

Target: shark rat lion kiwi - = -


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

Target: grape horse * * -


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

Target: - seal horse blackberry horse blackberry -


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

Target: blackberry kiwi blueberry + * kiwi blueberry -


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

Target: = - seal - seal


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

Target: * + kiwi shark kiwi blueberry


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

Target: horse watermelon * + + pear


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

Target: = rat rat +


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

Target: stork cobra stork cobra - lion shark = -


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

Target: - shark + pear pear


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

Target: strawberry horse seal zebra = + strawberry horse


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

Target: = + - blueberry seal strawberry watermelon


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

Target: blueberry blueberry = shark kiwi - +


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

Target: lion strawberry pear = =


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

Target: + * peach whale + peach whale


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

Target: + - buffalo buffalo


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

Target: * = whale whale *


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

Target: eagle whale eagle whale - penguin pear *


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

Target: seal horse = - cobra shark - watermelon


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

Target: whale rat whale rat whale rat + -


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

Target: + pear seal - = lion


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

Target: - zebra horse * zebra horse -


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

Target: - lion buffalo grape *


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

Target: + * + seal cobra seal


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

Target: strawberry lion blackberry = = blackberry


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

Target: - * lion whale lion whale pear -


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

Target: rat rat = +


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

Target: * * buffalo - buffalo


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

Target: = blueberry eagle + blueberry eagle =


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

Target: = penguin pear * penguin pear *


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

Target: + * cobra shark + cobra shark peach strawberry


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

Target: = + + stork stork


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

Target: = - apple - kiwi blueberry kiwi blueberry


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

Target: buffalo horse stork eagle * +


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

Target: pear pear penguin + *


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

Target: watermelon pear - + whale seal *


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

Target: zebra strawberry * = shark +


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

Target: buffalo * + zebra *


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

Target: - horse shark = watermelon -


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

Target: rat horse rat horse * - - seal


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

Target: buffalo penguin + horse buffalo *


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

Target: blueberry kiwi - + = pear


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

Target: blueberry blackberry * horse pear = zebra cobra


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

Target: * * zebra peach - strawberry


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

Target: peach peach * + kiwi


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

Target: buffalo banana seal + seal + *


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

Target: = - horse = horse


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

Target: - = watermelon seal banana lion buffalo


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

Target: + = seal lion strawberry


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

Target: - lion pear *


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

Target: + kiwi = - peach lion peach lion


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

Target: + - lion lion lion +


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

Target: shark = shark shark =


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

Target: strawberry - = strawberry


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

Target: strawberry penguin lion stork = lion stork *


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

Target: = watermelon watermelon buffalo eagle +


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

Target: + lion * blackberry blackberry


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

Target: stork seal blackberry = = stork seal *


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

Target: zebra * = zebra lion penguin


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

Target: horse stork * horse stork *


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

Target: rat whale + rat whale rat whale -


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

Target: = cobra rat = +


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

Target: + + * banana peach


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

Target: whale kiwi * rat - rat *


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

Target: - cobra eagle cobra eagle +


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

Target: horse = watermelon stork -


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

Target: - buffalo grape strawberry =


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

Target: whale zebra * + eagle = eagle


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

Target: penguin blueberry penguin blueberry + + * stork penguin


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

Target: - * + whale whale zebra whale


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

Target: * lion penguin = - blackberry


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

Target: = = - kiwi pear blueberry


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

Target: * pear zebra = = eagle


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

Target: + + stork = pear buffalo


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

Target: = whale + = buffalo lion pear stork


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

Target: pear cobra * stork * - pear cobra


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

Target: stork * - stork


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

Target: - * kiwi apple kiwi apple


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

Target: - lion * watermelon blackberry - watermelon blackberry


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

Target: banana + + = peach grape


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

Target: banana whale + * banana whale cobra


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

Target: whale - lion + lion


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

Target: buffalo shark - buffalo shark apple -


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

Target: horse watermelon * lion =


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

Target: blueberry rat shark peach = + + blueberry rat


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

Target: lion kiwi = + + seal


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

Target: - + - blackberry cobra grape


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

Target: + = seal lion = seal lion


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

Target: - * stork banana = stork banana stork banana


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

Target: + shark = grape grape -


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

Target: apple watermelon cobra * apple * =


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

Target: banana buffalo - shark - shark


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

Target: kiwi + kiwi buffalo grape *


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

Target: banana - = + banana strawberry


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

Target: + - kiwi strawberry grape - seal horse


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

Target: zebra penguin - - * banana


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

Target: buffalo whale + eagle blueberry - eagle blueberry


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

Target: * rat pear - eagle rat =


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

Target: eagle = = watermelon


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

Target: + kiwi shark = zebra blueberry =


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

Target: = apple * apple


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

Target: - * seal * cobra banana


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

Target: = blackberry rat - blackberry rat


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

Target: = = blackberry pear apple apple


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

Target: seal grape blackberry - *


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

Target: whale watermelon whale * -


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

Target: = zebra kiwi - blueberry


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

Target: = shark blueberry pear strawberry *


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

Target: grape + - + grape


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

Target: horse blueberry blueberry - -


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

Target: seal - rat =


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

Target: + blueberry = buffalo stork * buffalo stork


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

Target: apple kiwi banana = apple pear +


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

Target: pear peach + pear peach =


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

Target: penguin blueberry * strawberry lion - -


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

Target: - * * apple apple


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

Target: horse grape = grape =


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

Target: banana strawberry - - = banana strawberry


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

Target: blackberry rat kiwi + * - blueberry


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

Target: eagle seal blackberry cobra - * =


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

Target: * penguin penguin - -


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

Target: - = eagle = penguin seal eagle


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

Target: kiwi seal * blueberry * blueberry


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

Target: - + eagle cobra * stork apple


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

Target: + + seal seal


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

Target: + = eagle penguin eagle penguin -


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

Target: blueberry banana * grape grape =


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

Target: rat lion pear + pear grape = =


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

Target: rat * * rat


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

Target: * whale - banana strawberry banana strawberry


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

Target: whale rat banana stork + + =


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

Target: + + seal pear watermelon * watermelon


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

Target: * seal blackberry kiwi banana seal blackberry +


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

Target: zebra seal + + zebra seal lion


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

Target: * pear pear stork -


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

Target: * = pear seal penguin banana whale *


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

Target: = * = zebra kiwi watermelon


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

Target: = banana - banana -


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

Target: kiwi stork = + zebra


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

Target: - grape grape grape grape = grape grape


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

Target: eagle + eagle + eagle


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

Target: * = blueberry blueberry + eagle


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

Target: - penguin stork apple -


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

Target: pear stork * pear stork = buffalo horse


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

Target: - - eagle blackberry blueberry


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

Target: - kiwi * cobra kiwi


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

Target: watermelon horse - * + penguin


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

Target: stork shark rat stork * * rat stork


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

Target: * * grape pear cobra


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

Target: - blackberry banana buffalo pear lion *


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

Target: = + kiwi seal + cobra shark


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

Target: - lion lion zebra * * watermelon


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

Target: watermelon lion + watermelon lion * +


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

Target: seal * * * whale watermelon


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

Target: lion strawberry * - lion strawberry


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

Target: + * buffalo buffalo eagle eagle =


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

Target: - zebra stork + zebra stork whale banana


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

Target: apple strawberry = rat peach = +


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

Target: lion lion + = = cobra


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

Target: whale apple = whale apple whale apple =


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

Target: * whale zebra = grape


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

Target: lion whale + rat = lion whale


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

Target: + horse pear - - seal horse pear


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

Target: * peach seal eagle lion +


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

Target: * zebra shark zebra shark * blackberry kiwi +


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

Target: - - - pear pear pear


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

Target: blueberry - = * grape blackberry grape


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

Target: grape blueberry - = lion


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

Target: * + = pear banana seal


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

Target: - + pear rat horse


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

Target: = + shark grape banana + grape banana


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

Target: whale shark + pear +


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

Target: apple blackberry strawberry kiwi - strawberry kiwi - +


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

Target: * cobra pear whale +


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

Target: - cobra * peach penguin +


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

Target: * = strawberry rat rat


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

Target: horse buffalo banana = = *


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

Target: strawberry blackberry strawberry blackberry - - lion pear


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

Target: = pear = - shark buffalo grape


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

Target: banana - rat buffalo * seal whale


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

Target: blueberry peach blueberry peach * -


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

Target: - kiwi zebra - watermelon


Source: Rules: + Z X - Y | Substitutions: X by " buffalo peach " , Y by " blackberry pear " , Z by " strawberry blueberry "

Target: + strawberry blueberry buffalo peach - blackberry pear


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

Target: horse kiwi stork + *


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

Target: * - eagle horse peach


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

Target: cobra * + kiwi + cobra


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

Target: shark stork * + seal - seal


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

Target: buffalo lion seal peach * buffalo lion *


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

Target: kiwi kiwi = + kiwi


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

Target: + = zebra cobra zebra cobra * buffalo


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

Target: = watermelon horse * - stork


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

Target: banana penguin banana penguin banana penguin + - +


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

Target: + - strawberry grape banana - buffalo whale


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

Target: + + zebra pear rat * zebra pear


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

Target: watermelon * * watermelon *


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

Target: watermelon lion + watermelon lion = watermelon lion


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

Target: apple stork - * lion penguin


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

Target: * + + horse shark


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

Target: * stork grape * * banana zebra


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

Target: cobra + + shark = cobra


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

Target: apple rat penguin rat penguin - = =


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

Target: = blueberry blueberry lion + +


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

Target: peach banana lion kiwi * *


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

Target: * * whale lion pear lion pear


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

Target: - shark kiwi = =


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

Target: kiwi eagle grape - kiwi * +


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

Target: blueberry seal - blueberry seal -


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

Target: - zebra * zebra +


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

Target: buffalo horse - buffalo horse zebra kiwi -


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

Target: - blackberry whale seal *


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

Target: - zebra - * blueberry


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

Target: pear strawberry + pear strawberry = *


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

Target: stork blueberry - * + seal


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

Target: * lion horse banana = strawberry


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

Target: * shark penguin shark penguin = -


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

Target: buffalo + buffalo cobra grape -


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

Target: + apple horse * apple -


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

Target: + watermelon - watermelon stork * zebra zebra


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

Target: strawberry strawberry - + kiwi


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

Target: + * = shark shark


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

Target: - shark kiwi = -


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

Target: * apple blueberry * = banana


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

Target: + strawberry = strawberry eagle -


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

Target: peach = = peach


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

Target: stork = = whale - grape


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

Target: lion whale - * zebra


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

Target: buffalo = + lion lion


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

Target: apple rat blackberry horse + eagle blackberry + *


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

Target: - kiwi kiwi +


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

Target: = * blackberry zebra buffalo -


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

Target: zebra * blueberry watermelon = blueberry watermelon *


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

Target: grape grape + -


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

Target: buffalo grape buffalo grape * = *


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

Target: rat rat * penguin cobra -


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

Target: + = rat cobra blueberry


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

Target: eagle + - seal eagle


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

Target: + blackberry peach = seal -


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

Target: - - eagle shark cobra


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

Target: - + blueberry eagle blueberry eagle penguin whale *


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

Target: = horse peach -


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

Target: stork watermelon stork watermelon + eagle -


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

Target: + buffalo apple buffalo apple +


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

Target: pear + buffalo shark +


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

Target: - lion - * strawberry eagle lion


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

Target: peach kiwi - + = penguin rat seal


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

Target: cobra lion * cobra lion + blueberry


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

Target: stork + stork - horse grape


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

Target: + stork kiwi = * stork kiwi


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

Target: penguin shark banana + = penguin shark +


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

Target: + whale pear - rat whale pear


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

Target: penguin horse - = penguin horse +


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

Target: horse + + horse lion


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

Target: horse = pear =


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

Target: shark shark shark shark - strawberry peach * =


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

Target: watermelon cobra pear stork + * stork watermelon


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

Target: stork - - + pear


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

Target: strawberry watermelon blackberry strawberry - = +


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

Target: - * blueberry * blueberry stork strawberry


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

Target: banana - = = banana


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

Target: penguin rat - seal strawberry * penguin *


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

Target: eagle horse watermelon = watermelon *


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

Target: penguin shark banana apple * = penguin shark =


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

Target: = whale - seal cobra


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

Target: = * cobra eagle cobra eagle = rat


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

Target: = rat = whale


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

Target: banana peach = * banana peach + banana peach


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

Target: - + pear cobra apple


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

Target: peach - peach eagle shark * *


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

Target: + watermelon buffalo - *


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

Target: buffalo * = cobra buffalo +


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

Target: + blueberry * * lion


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

Target: - = blueberry + stork


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

Target: peach penguin cobra seal + cobra seal =


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

Target: stork strawberry + - horse


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

Target: = * blackberry = watermelon peach watermelon peach


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

Target: * peach shark kiwi + kiwi


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

Target: - = banana watermelon banana watermelon banana


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

Target: * banana * banana = banana


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

Target: stork watermelon * cobra banana cobra banana - +


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

Target: banana shark = kiwi kiwi apple -


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

Target: blueberry = + blueberry penguin


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

Target: penguin = penguin = =


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

Target: cobra - strawberry rat cobra = +


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

Target: blackberry kiwi watermelon blueberry * = watermelon blueberry +


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

Target: + blackberry + blackberry watermelon lion


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

Target: - shark * * blackberry grape


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

Target: pear * blueberry kiwi = +


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

Target: cobra + cobra = = eagle pear


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

Target: + + horse stork blackberry


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

Target: - apple cobra eagle banana eagle banana * -


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

Target: rat strawberry + peach zebra -


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

Target: whale - kiwi buffalo = *


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

Target: = kiwi + - buffalo kiwi


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

Target: stork stork = * stork


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

Target: * whale lion zebra =


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

Target: shark peach - - kiwi


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

Target: * kiwi kiwi horse - +


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

Target: - grape penguin * -


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

Target: pear blueberry rat horse = - +


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

Target: eagle watermelon = blueberry buffalo - blueberry buffalo =


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

Target: cobra horse stork eagle - * cobra horse


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

Target: zebra rat = blackberry +


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

Target: * + watermelon rat grape *


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

Target: cobra whale = - grape watermelon grape watermelon


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

Target: - whale blackberry - eagle


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

Target: + blueberry peach pear peach pear +


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

Target: penguin strawberry * * *


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

Target: zebra zebra * + + zebra zebra


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

Target: = + + rat penguin rat penguin


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

Target: * eagle kiwi + kiwi


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

Target: rat * rat * =


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

Target: watermelon = * * pear pear


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

Target: seal apple apple watermelon kiwi = * *


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

Target: watermelon watermelon * =


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

Target: seal penguin whale + *


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

Target: apple kiwi * + * apple kiwi apple kiwi


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

Target: + grape whale = = buffalo banana


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

Target: stork seal - - = grape


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

Target: strawberry peach + horse eagle =


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

Target: seal grape + - kiwi rat =


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

Target: - eagle eagle stork grape =


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

Target: + - pear pear


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

Target: - shark buffalo stork shark * *


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

Target: = penguin blueberry rat - penguin


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

Target: = = pear + buffalo horse


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

Target: blackberry grape + - blackberry grape


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

Target: - rat + * rat


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

Target: * + blackberry strawberry eagle penguin


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

Target: = lion strawberry banana - banana -


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

Target: + cobra horse - horse -


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

Target: + kiwi - + whale apple whale apple


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

Target: apple - = lion apple


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

Target: grape + grape * -


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

Target: * banana shark = banana *


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

Target: * = + lion eagle whale watermelon


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

Target: buffalo stork * rat kiwi rat kiwi * +


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

Target: - strawberry rat - * strawberry rat horse


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

Target: + stork horse buffalo + -


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

Target: - = buffalo kiwi zebra


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

Target: = * * watermelon peach banana


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

Target: + - lion zebra blackberry peach


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

Target: buffalo blueberry peach = =


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

Target: + + + stork penguin stork penguin


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

Target: seal zebra penguin rat * =


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

Target: + horse * eagle *


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

Target: * + lion * eagle lion


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

Target: whale * buffalo horse - whale


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

Target: + = * buffalo whale buffalo


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

Target: = lion lion * seal +


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

Target: zebra blackberry lion - = *


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

Target: shark rat rat cobra + + -


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

Target: blueberry blueberry = + +


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

Target: shark * - shark pear shark


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

Target: - horse apple buffalo horse apple *


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

Target: apple kiwi zebra + cobra =


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

Target: pear pear buffalo + =


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

Target: * whale pear eagle *


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

Target: = peach penguin peach penguin lion whale =


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

Target: grape apple + = eagle watermelon eagle watermelon


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

Target: cobra pear = = stork peach =


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

Target: - * - strawberry seal whale banana


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

Target: + + buffalo watermelon buffalo watermelon


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

Target: buffalo * = buffalo


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

Target: buffalo + whale peach * buffalo


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

Target: * buffalo blueberry cobra buffalo blueberry =


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

Target: + = = peach banana stork rat


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

Target: = strawberry horse apple =


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

Target: lion seal eagle = blackberry pear + +


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

Target: + penguin buffalo blackberry blueberry penguin buffalo +


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

Target: zebra rat zebra rat + + +


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

Target: + = stork stork


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

Target: eagle + eagle eagle * *


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

Target: + grape apple = grape grape apple


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

Target: = - * horse lion horse lion


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

Target: seal kiwi = +


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

Target: watermelon + strawberry = -


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

Target: pear - rat pear -


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

Target: = whale peach + rat strawberry =


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

Target: - penguin seal = - penguin horse grape


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

Target: whale + * whale *


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

Target: seal rat + * rat zebra +


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

Target: - banana - peach rat


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

Target: cobra kiwi cobra seal + =


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

Target: rat rat buffalo = =


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

Target: banana rat banana pear * - banana pear +


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

Target: = = cobra pear + cobra pear lion seal


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

Target: + pear zebra blueberry =


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

Target: blueberry - + horse blackberry -


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

Target: = lion kiwi whale pear *


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

Target: cobra * - + blueberry buffalo


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

Target: seal - + seal +


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

Target: watermelon stork + + * watermelon stork watermelon


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

Target: watermelon = - pear


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

Target: * + * seal blackberry peach blueberry


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

Target: zebra zebra * *


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

Target: strawberry zebra + - strawberry *


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

Target: strawberry cobra - - blackberry watermelon


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

Target: banana * - * lion lion grape


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

Target: zebra peach zebra peach + - zebra peach


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

Target: pear grape = cobra - rat


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

Target: whale lion + whale lion -


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

Target: penguin rat penguin rat * =


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

Target: cobra * stork rat +


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

Target: penguin seal = rat rat + *


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

Target: rat = - rat shark


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

Target: stork * = stork whale


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

Target: whale whale + buffalo apple - seal banana


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

Target: * * cobra cobra cobra +


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

Target: strawberry stork + strawberry stork = +


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

Target: kiwi blackberry = shark - *


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

Target: = rat seal apple +


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

Target: strawberry grape * + strawberry grape strawberry grape


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

Target: seal zebra = * * zebra


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

Target: + + banana banana


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

Target: + * blackberry = blackberry


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

Target: - eagle eagle =


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

Target: banana eagle banana eagle * =


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

Target: - penguin buffalo + penguin buffalo


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

Target: + cobra whale buffalo cobra whale -


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

Target: stork + stork *


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

Target: rat apple apple + - = rat apple


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

Target: watermelon whale - blueberry - rat -


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

Target: watermelon - + pear


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

Target: whale + horse *


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

Target: = rat - rat


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

Target: - * rat - peach stork peach stork


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

Target: pear lion whale watermelon pear lion + +


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

Target: + seal horse *


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

Target: apple shark blackberry seal = + apple shark +


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

Target: * peach eagle peach eagle * = pear strawberry


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

Target: blackberry zebra - - blackberry zebra


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

Target: lion + = + lion shark lion


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

Target: + penguin + kiwi peach kiwi peach -


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

Target: - + - watermelon whale watermelon grape


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

Target: - blackberry blackberry blackberry blackberry -


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

Target: = = whale pear penguin


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

Target: grape eagle zebra + +


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

Target: grape lion - - + blueberry


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

Target: + apple lion - * shark


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

Target: - blackberry penguin * strawberry -


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

Target: penguin + seal * blueberry *


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

Target: = * whale blackberry penguin banana


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

Target: - grape * penguin


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

Target: * - - peach peach


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

Target: = + kiwi stork + stork


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

Target: * * * pear banana blueberry


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

Target: + * horse - eagle banana


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

Target: watermelon rat * = cobra +


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

Target: kiwi horse apple shark * = peach whale


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

Target: * blackberry + * horse buffalo penguin blueberry


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

Target: horse horse - = *


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

Target: - = apple strawberry banana


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

Target: horse rat shark + banana rat +


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

Target: seal zebra + penguin + seal zebra


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

Target: = blackberry pear + blackberry pear pear rat *


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

Target: - * lion banana - cobra grape


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

Target: penguin penguin = = *


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

Target: = pear pear stork +


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

Target: + apple - = strawberry eagle


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

Target: - - banana watermelon banana


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

Target: = = lion lion


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

Target: = shark = pear


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

Target: rat - peach penguin buffalo *


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

Target: * whale seal apple + =


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

Target: - stork horse = eagle buffalo +


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

Target: peach * peach + * whale peach


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

Target: penguin - = * penguin


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

Target: blueberry rat blueberry rat * + blueberry rat


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

Target: grape = * grape * apple


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

Target: + rat blackberry buffalo - rat


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

Target: + eagle kiwi + * eagle kiwi cobra


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

Target: stork apple stork apple = stork apple =


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

Target: apple * apple apple *


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

Target: = * pear pear pear


Source: Rules: X * * Y Z | Substitutions: X by " blueberry lion " , Y by " horse cobra " , Z by " whale apple "

Target: blueberry lion * * horse cobra whale apple


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

Target: = cobra kiwi + seal


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

Target: * blackberry zebra - rat


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

Target: zebra apple + blueberry * +


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

Target: - strawberry * strawberry + blackberry


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

Target: - - whale shark banana


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

Target: * grape shark grape *


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

Target: + whale peach + penguin apple


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

Target: = kiwi horse kiwi =


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

Target: - grape = grape -


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

Target: buffalo rat = kiwi peach + +


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

Target: peach horse apple * +


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

Target: - = stork eagle eagle


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

Target: * lion watermelon + whale


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

Target: = whale penguin whale penguin + blackberry eagle =


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

Target: + stork penguin shark stork penguin -


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

Target: apple * + strawberry lion + apple


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

Target: = zebra blackberry zebra blackberry - zebra penguin


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

Target: eagle = * eagle whale *


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

Target: - grape kiwi grape apple +


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

Target: kiwi = - cobra


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

Target: penguin zebra * penguin seal =


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

Target: seal = grape kiwi *


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

Target: whale horse = apple = *


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

Target: stork + stork -


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

Target: zebra blackberry * + banana apple


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

Target: = pear apple - -


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

Target: pear + * buffalo zebra


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

Target: rat stork rat stork * +


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

Target: eagle + - + eagle


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

Target: cobra banana - pear -


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

Target: - zebra cobra = - banana peach banana peach


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

Target: + grape eagle grape eagle = * horse watermelon


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

Target: = watermelon shark zebra shark zebra =


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

Target: pear seal * = penguin penguin =


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

Target: horse seal - horse seal + + horse seal


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

Target: = + whale watermelon whale watermelon


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

Target: eagle shark shark * = -


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

Target: grape + + grape grape -


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

Target: buffalo - - grape blackberry buffalo


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

Target: grape cobra * grape +


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

Target: penguin - - penguin = apple


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

Target: shark - + shark -


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

Target: stork zebra - * -


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

Target: + apple apple = apple


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

Target: seal pear whale lion - =


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

Target: - eagle kiwi = penguin eagle horse =


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

Target: - banana pear * banana pear banana pear


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

Target: = * = apple buffalo apple buffalo


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

Target: shark banana shark banana strawberry - =


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

Target: banana grape banana grape * = watermelon


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

Target: + lion horse + = lion horse


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

Target: = - blueberry blueberry + eagle


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

Target: penguin cobra * + whale stork whale stork -


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

Target: rat blackberry eagle eagle - -


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

Target: = kiwi apple * apple apple


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

Target: = - - apple seal apple seal apple seal


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

Target: stork stork + - +


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

Target: = cobra = peach kiwi


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

Target: blueberry - - rat whale buffalo whale


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

Target: buffalo stork * * * buffalo stork


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

Target: - stork watermelon stork - +


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

Target: - shark shark *


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

Target: grape grape rat whale = eagle peach * *


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

Target: stork - + + strawberry strawberry


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

Target: kiwi penguin kiwi penguin + * = whale lion


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

Target: - peach lion + + horse buffalo peach lion


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

Target: penguin peach = = apple buffalo


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

Target: + banana banana = shark


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

Target: * horse - peach eagle +


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

Target: kiwi rat = * whale pear whale pear


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

Target: pear lion = *


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

Target: + stork lion stork lion = =


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

Target: * = blackberry buffalo peach


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

Target: peach = = peach peach


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

Target: = + pear apple whale


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

Target: kiwi grape + - eagle


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

Target: seal pear buffalo * =


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

Target: banana lion apple zebra banana lion * =


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

Target: - seal grape shark seal grape - *


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

Target: penguin - - = penguin penguin


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

Target: * whale stork rat = +


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

Target: + seal * peach


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

Target: watermelon + watermelon watermelon + *


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

Target: = penguin horse zebra penguin + *


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

Target: + penguin seal horse -


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

Target: = * kiwi strawberry watermelon


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

Target: stork stork = + horse stork stork -


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

Target: = zebra cobra banana banana lion stork -


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

Target: eagle zebra eagle zebra * zebra +


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

Target: kiwi watermelon - * = kiwi watermelon kiwi watermelon


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

Target: - horse blueberry - = seal grape


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

Target: + banana watermelon zebra - *


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

Target: shark * horse shark = *


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

Target: buffalo apple = = buffalo apple


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

Target: - horse peach horse peach + kiwi seal


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

Target: * penguin - apple


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

Target: - apple apple + apple apple cobra =


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

Target: - - whale blueberry -


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

Target: + = apple buffalo


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

Target: * seal strawberry = - apple zebra


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

Target: = kiwi + kiwi


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

Target: - seal - seal


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

Target: seal blueberry + = * pear


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

Target: - * stork apple = stork apple


Source: Rules: Z - Y - X | Substitutions: X by " penguin stork " , Y by " horse eagle " , Z by " shark cobra "

Target: shark cobra - horse eagle - penguin stork


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

Target: + + horse blackberry blackberry


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

Target: eagle pear stork whale zebra = +


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

Target: stork lion zebra * =


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

Target: banana shark + + banana shark - banana shark


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

Target: + banana - grape banana


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

Target: = seal - = eagle


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

Target: * whale - = blueberry


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

Target: whale = whale whale *


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

Target: strawberry eagle kiwi rat + +


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

Target: = peach zebra * * blackberry strawberry


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

Target: watermelon + watermelon * horse cobra *


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

Target: shark = penguin shark - = shark


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

Target: - * grape horse strawberry grape horse


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

Target: = cobra * penguin horse = penguin horse


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

Target: banana = kiwi whale =


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

Target: kiwi - * kiwi - peach


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

Target: lion blackberry + strawberry shark -


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

Target: - zebra kiwi cobra + zebra


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

Target: = cobra + seal apple -


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

Target: lion lion seal stork * * lion lion


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

Target: eagle whale = * kiwi pear


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

Target: seal * horse buffalo -


Source: Rules: Z - - = X | Substitutions: X by " horse " , Z by " grape "

Target: grape - - = horse


Source: Rules: * Z * Y | Substitutions: Y by " watermelon " , Z by " pear watermelon "

Target: * pear watermelon * watermelon


Source: Rules: + Y Y = Z * | Substitutions: Y by " pear cobra " , Z by " zebra cobra "

Target: + pear cobra pear cobra = zebra cobra *


Source: Rules: + Y Y = | Substitutions: Y by " banana whale "

Target: + banana whale banana whale =


Source: Rules: * Z * Z + | Substitutions: Z by " penguin "

Target: * penguin * penguin +


Source: Rules: Y + Z = Z = | Substitutions: Y by " lion " , Z by " whale blackberry "

Target: lion + whale blackberry = whale blackberry =


Source: Rules: + Z - Y | Substitutions: Y by " grape grape " , Z by " zebra rat "

Target: + zebra rat - grape grape


Source: Rules: = Y = - Z X | Substitutions: X by " strawberry " , Y by " watermelon kiwi " , Z by " blackberry "

Target: = watermelon kiwi = - blackberry strawberry


Source: Rules: X - X * | Substitutions: X by " rat horse "

Target: rat horse - rat horse *


Source: Rules: * = Y X + | Substitutions: X by " strawberry blackberry " , Y by " horse eagle "

Target: * = horse eagle strawberry blackberry +


Source: Rules: = Z X - X | Substitutions: X by " strawberry peach " , Z by " blueberry "

Target: = blueberry strawberry peach - strawberry peach


Source: Rules: = X - X | Substitutions: X by " stork "

Target: = stork - stork


Source: Rules: = Z + = X Z | Substitutions: X by " penguin " , Z by " zebra grape "

Target: = zebra grape + = penguin zebra grape


Source: Rules: * X X = X | Substitutions: X by " whale "

Target: * whale whale = whale


Source: Rules: Y * * Z X | Substitutions: X by " cobra " , Y by " grape " , Z by " grape "

Target: grape * * grape cobra


Source: Rules: * Y = X Z = | Substitutions: X by " blueberry buffalo " , Y by " seal " , Z by " kiwi shark "

Target: * seal = blueberry buffalo kiwi shark =


Source: Rules: - = X Z = | Substitutions: X by " stork cobra " , Z by " grape banana "

Target: - = stork cobra grape banana =


Source: Rules: + = Y Y | Substitutions: Y by " horse rat "

Target: + = horse rat horse rat


Source: Rules: = - Z Y | Substitutions: Y by " rat " , Z by " shark seal "

Target: = - shark seal rat


Source: Rules: = Z X + | Substitutions: X by " pear " , Z by " eagle "

Target: = eagle pear +


Source: Rules: = X Y + Y * | Substitutions: X by " kiwi " , Y by " blueberry "

Target: = kiwi blueberry + blueberry *