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

Target: shark shark * stork cobra =


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

Target: peach + = peach -


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

Target: = - zebra kiwi whale zebra


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

Target: + - pear kiwi pear kiwi


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

Target: banana stork whale * = -


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

Target: apple * banana = apple +


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

Target: * apple eagle * apple eagle


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

Target: banana cobra - - *


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

Target: lion stork * lion stork + -


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

Target: - * pear pear shark shark


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

Target: * kiwi apple + * apple zebra


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

Target: = * * lion horse


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

Target: = eagle penguin blackberry - * watermelon grape


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

Target: - horse horse horse +


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

Target: + grape grape - =


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

Target: stork * strawberry + stork


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

Target: grape seal + apple * grape seal +


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

Target: watermelon penguin * pear seal =


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

Target: = kiwi = = kiwi


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

Target: banana apple + + pear pear *


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

Target: blueberry grape * pear pear *


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

Target: * + penguin penguin


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

Target: + + banana * seal


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

Target: - kiwi banana kiwi banana - = kiwi banana


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

Target: watermelon lion blueberry + *


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

Target: * - rat rat rat rat - rat rat


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

Target: = * lion stork lion stork


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

Target: * whale = whale *


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

Target: = = buffalo grape * buffalo zebra zebra


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

Target: seal strawberry = seal strawberry lion -


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

Target: blackberry whale blackberry whale + eagle = -


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

Target: seal whale * seal whale + seal whale =


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

Target: + horse pear banana + * eagle pear


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

Target: lion = - lion lion


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

Target: * = = pear watermelon stork


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

Target: eagle rat = - eagle rat


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

Target: penguin - rat peach + penguin


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

Target: apple + - apple watermelon pear


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

Target: seal seal * whale + seal seal


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

Target: penguin blueberry penguin blueberry * - buffalo


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

Target: * shark pear +


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

Target: seal - seal = eagle apple


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

Target: - zebra blueberry = zebra blueberry zebra blueberry -


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

Target: + stork seal stork seal *


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

Target: = strawberry penguin strawberry penguin strawberry penguin +


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

Target: apple banana * * - watermelon pear strawberry


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

Target: + apple cobra apple cobra =


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

Target: apple apple * - + rat pear


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

Target: strawberry + eagle =


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

Target: = blueberry blackberry * blueberry blackberry


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

Target: = pear + lion rat


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

Target: + shark = = watermelon


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

Target: blueberry seal - + kiwi * kiwi


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

Target: - = - pear eagle pear eagle


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

Target: - * * peach pear peach pear


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

Target: = - stork = grape apple


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

Target: + = kiwi lion + peach


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

Target: * shark strawberry horse +


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

Target: - strawberry eagle shark blueberry -


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

Target: + apple kiwi apple kiwi - =


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

Target: + * watermelon rat rat


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

Target: pear penguin * = + shark shark


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

Target: * * rat rat lion =


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

Target: + blackberry cobra horse zebra =


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

Target: penguin - + = cobra grape rat seal


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

Target: zebra apple lion apple lion * +


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

Target: blueberry penguin + + = pear grape


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

Target: - stork strawberry + lion


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

Target: = + whale eagle - kiwi eagle penguin


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

Target: + kiwi + kiwi horse apple


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

Target: watermelon zebra + + watermelon zebra *


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

Target: + = whale whale whale


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

Target: = stork horse + seal zebra stork horse


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

Target: whale * whale * whale shark *


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

Target: + peach kiwi rat * = kiwi rat


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

Target: grape apple grape apple - - * stork


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

Target: = shark rat + watermelon = grape pear


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

Target: + - + penguin pear shark penguin pear


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

Target: * seal + shark


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

Target: * + horse strawberry horse strawberry horse strawberry


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

Target: strawberry stork - - seal watermelon


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

Target: = eagle penguin horse - banana zebra


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

Target: * horse blueberry = stork seal


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

Target: - kiwi apple * kiwi apple -


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

Target: - + blackberry peach lion


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

Target: shark penguin - - shark *


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

Target: apple + + grape buffalo -


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

Target: = rat + blueberry buffalo


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

Target: blueberry = grape watermelon grape watermelon -


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

Target: pear seal - * blueberry +


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

Target: lion horse lion horse + + =


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

Target: * rat blueberry rat blueberry -


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

Target: + + horse apple horse +


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

Target: * * blackberry * blackberry


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

Target: shark stork + * apple -


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

Target: - blackberry apple = pear pear pear pear


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

Target: strawberry peach strawberry peach * *


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

Target: + kiwi apple = kiwi apple


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

Target: = = penguin eagle


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

Target: lion - = = lion apple lion


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

Target: blackberry pear lion banana - -


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

Target: penguin penguin penguin * +


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

Target: horse grape + = horse grape -


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

Target: rat + + + eagle peach rat


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

Target: * pear + shark


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

Target: rat horse = =


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

Target: rat stork blueberry = - * rat


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

Target: stork - = watermelon lion horse


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

Target: rat whale - eagle rat whale * *


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

Target: banana banana grape eagle - +


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

Target: - penguin = pear =


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

Target: rat blackberry blueberry + rat =


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

Target: cobra blueberry watermelon - + cobra blueberry


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

Target: - lion * + lion rat


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

Target: seal shark = + seal shark =


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

Target: = - blueberry watermelon apple blackberry


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

Target: grape eagle * kiwi whale + +


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

Target: + = + strawberry zebra zebra cobra zebra cobra


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

Target: - seal buffalo seal buffalo - - kiwi


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

Target: horse banana * penguin cobra horse banana *


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

Target: blueberry whale + seal whale = - pear


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

Target: watermelon - lion zebra + - stork


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

Target: whale + blueberry zebra *


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

Target: - grape horse = grape horse


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

Target: + seal horse * strawberry * strawberry


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

Target: - peach banana penguin =


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

Target: * zebra zebra lion eagle + =


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

Target: * = shark horse kiwi pear pear


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

Target: eagle peach - = watermelon kiwi -


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

Target: whale rat + + whale rat


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

Target: eagle * + + eagle shark


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

Target: rat kiwi horse banana * + +


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

Target: penguin shark + = * eagle grape eagle grape


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

Target: pear - horse +


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

Target: = buffalo watermelon blueberry = buffalo watermelon


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

Target: kiwi kiwi = + blackberry penguin *


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

Target: buffalo buffalo * - -


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

Target: = - stork = stork


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

Target: cobra rat = + cobra


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

Target: cobra strawberry cobra strawberry * + *


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

Target: eagle buffalo = * * peach whale strawberry


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

Target: - banana banana * -


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

Target: + - cobra grape


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

Target: - blackberry grape eagle -


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

Target: shark penguin = + * cobra rat


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

Target: kiwi penguin shark watermelon * kiwi penguin -


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

Target: banana * stork +


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

Target: = = lion pear +


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

Target: = + apple penguin


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

Target: penguin + grape blackberry -


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

Target: lion whale lion whale rat * *


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

Target: peach seal * * blackberry horse


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

Target: + grape zebra = seal = grape zebra


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

Target: lion horse - strawberry zebra - zebra horse


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

Target: penguin banana + + banana watermelon = penguin banana


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

Target: + - blueberry * blueberry


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

Target: blueberry - blackberry lion *


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

Target: + grape blackberry seal = blackberry seal


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

Target: * + stork peach peach


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

Target: cobra = = apple zebra * cobra


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

Target: - penguin pear * lion zebra lion zebra


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

Target: * = seal seal seal


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

Target: * whale penguin whale penguin *


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

Target: eagle watermelon eagle watermelon eagle watermelon * + +


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

Target: - strawberry whale + strawberry


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

Target: * * shark blueberry shark blueberry +


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

Target: banana peach strawberry strawberry = *


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

Target: cobra blackberry + cobra blackberry *


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

Target: eagle * peach -


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

Target: pear shark * = * horse


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

Target: + banana horse + shark


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

Target: * * grape * blackberry grape


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

Target: blackberry - apple apple - =


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

Target: + * peach + peach peach


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

Target: buffalo = seal watermelon = =


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

Target: seal whale = - shark


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

Target: = = lion + lion


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

Target: + watermelon shark = whale zebra


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

Target: watermelon * - horse strawberry


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

Target: rat = - rat rat shark -


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

Target: penguin seal = - penguin seal =


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

Target: * buffalo shark horse +


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

Target: stork * grape cobra +


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

Target: + - zebra stork penguin


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

Target: + = buffalo - banana lion


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

Target: * * eagle seal


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

Target: peach whale * = cobra grape penguin -


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

Target: = eagle zebra seal - eagle zebra =


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

Target: peach seal = = + penguin


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

Target: blackberry apple peach * blackberry apple + *


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

Target: blackberry - * blackberry


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

Target: = * rat stork = rat pear


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

Target: = = - strawberry eagle banana


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

Target: lion blackberry shark - * lion blackberry


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

Target: = cobra blueberry + blackberry peach


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

Target: buffalo blueberry = *


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

Target: banana - grape horse = banana


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

Target: = = zebra zebra


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

Target: lion peach = * grape grape +


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

Target: horse cobra + grape * - horse cobra


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

Target: apple blackberry - + = pear apple blackberry


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

Target: apple penguin blueberry = + apple


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

Target: * buffalo seal buffalo seal buffalo seal -


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

Target: * seal seal = -


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

Target: * whale apple whale apple -


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

Target: + - + blueberry apple blueberry apple peach apple


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

Target: whale * = * whale


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

Target: * apple stork apple eagle + strawberry


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

Target: - * cobra zebra horse shark shark buffalo


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

Target: lion rat + kiwi lion rat +


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

Target: lion horse * + - eagle penguin penguin


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

Target: strawberry = strawberry = apple


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

Target: grape kiwi + grape kiwi grape kiwi =


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

Target: * peach whale =


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

Target: seal seal grape seal grape = = =


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

Target: = grape = seal =


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

Target: = lion = eagle banana +


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

Target: * - watermelon apple + watermelon apple


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

Target: kiwi = penguin eagle buffalo +


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

Target: - + = shark kiwi penguin lion


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

Target: blackberry grape = = * peach


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

Target: + = + strawberry cobra strawberry cobra


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

Target: rat = seal blackberry rat -


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

Target: eagle whale - eagle whale +


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

Target: shark stork shark * =


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

Target: eagle seal blackberry * +


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

Target: rat zebra apple grape rat zebra - =


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

Target: blueberry watermelon blueberry watermelon * +


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

Target: rat - peach +


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

Target: lion stork + + = cobra


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

Target: + lion shark lion shark apple penguin -


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

Target: = - strawberry banana blackberry peach - blackberry peach


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

Target: horse pear * * + strawberry


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

Target: + pear eagle - eagle -


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

Target: penguin - penguin + penguin


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

Target: rat eagle = * rat eagle penguin -


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

Target: = banana - banana


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

Target: zebra zebra + = zebra


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

Target: - apple + penguin *


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

Target: whale blueberry = horse apple + +


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

Target: blackberry blackberry blackberry - + =


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

Target: * grape = = whale


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

Target: strawberry + stork - lion horse -


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

Target: grape horse seal + =


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

Target: lion * buffalo blackberry + - buffalo blackberry


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

Target: * * penguin cobra - cobra


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

Target: buffalo blackberry buffalo blackberry - banana = +


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

Target: * watermelon watermelon =


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

Target: + horse blueberry * + horse blueberry


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

Target: blackberry lion * watermelon shark + -


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

Target: * whale strawberry pear buffalo whale strawberry =


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

Target: lion rat * lion rat * +


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

Target: * = zebra lion eagle


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

Target: cobra strawberry eagle eagle - -


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

Target: shark = banana * =


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

Target: - watermelon lion - lion


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

Target: * peach horse eagle pear + *


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

Target: - shark banana * pear eagle +


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

Target: * blueberry + penguin


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

Target: + rat grape + blueberry =


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

Target: - pear - - pear pear


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

Target: * kiwi grape - kiwi grape +


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

Target: + * zebra blueberry blueberry penguin


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

Target: * + buffalo peach watermelon


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

Target: - seal = stork zebra = penguin


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

Target: + - * kiwi eagle strawberry pear


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

Target: - - kiwi blueberry - lion peach lion peach


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

Target: eagle eagle eagle = *


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

Target: + buffalo zebra + stork


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

Target: - + blackberry peach blackberry peach * cobra shark


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

Target: whale rat * strawberry - seal


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

Target: watermelon blueberry watermelon blueberry + shark -


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

Target: = = stork zebra stork zebra + strawberry blackberry


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

Target: seal apple + = rat apple +


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

Target: * eagle eagle = + strawberry shark


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

Target: * apple apple strawberry apple strawberry *


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

Target: shark strawberry = zebra = - shark strawberry


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

Target: - shark * grape +


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

Target: - + whale lion whale lion zebra banana *


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

Target: * shark blueberry = eagle = rat


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

Target: watermelon whale + lion * -


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

Target: shark watermelon strawberry shark - * +


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

Target: seal seal + whale stork *


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

Target: kiwi horse + pear banana zebra *


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

Target: seal * whale - shark banana


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

Target: + = strawberry - buffalo pear buffalo pear


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

Target: blueberry apple zebra = -


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

Target: strawberry peach buffalo + strawberry peach = *


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

Target: blackberry - blackberry *


Source: Rules: * Z Y X * | Substitutions: X by " buffalo whale " , Y by " stork stork " , Z by " watermelon apple "

Target: * watermelon apple stork stork buffalo whale *


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

Target: buffalo blackberry + peach blackberry *


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

Target: rat rat + - *


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

Target: + * rat shark grape rat +


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

Target: + pear zebra = pear zebra strawberry watermelon


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

Target: whale - = = whale grape lion


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

Target: - + watermelon lion * strawberry stork kiwi


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

Target: horse * * kiwi apple horse


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

Target: penguin whale - + * watermelon kiwi


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

Target: rat + - shark


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

Target: + whale = + seal shark


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

Target: * - peach penguin


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

Target: lion lion * = * rat banana


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

Target: apple apple + seal +


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

Target: watermelon apple = = - watermelon apple blueberry grape


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

Target: = * * whale lion cobra lion cobra


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

Target: rat * lion = lion


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

Target: stork banana - + grape grape


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

Target: kiwi - * kiwi -


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

Target: * cobra watermelon shark =


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

Target: cobra * peach *


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

Target: blackberry - blackberry =


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

Target: + * stork whale -


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

Target: horse horse = = horse horse +


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

Target: - eagle eagle +


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

Target: + - whale shark + whale shark


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

Target: zebra watermelon whale stork watermelon * - -


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

Target: - - peach strawberry peach


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

Target: peach shark - grape seal - *


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

Target: grape - - horse lion - horse lion


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

Target: buffalo kiwi eagle pear + -


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

Target: shark - - kiwi *


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

Target: whale blueberry * + +


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

Target: banana - * banana


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

Target: buffalo strawberry = = grape shark grape shark


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

Target: strawberry strawberry = shark horse * blackberry


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

Target: = + watermelon blueberry blackberry shark


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

Target: * * seal - eagle


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

Target: * = * watermelon kiwi zebra pear


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

Target: = - whale apple whale apple


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

Target: * = whale whale stork seal


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

Target: * + lion kiwi cobra seal =


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

Target: strawberry seal strawberry seal strawberry lion + +


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

Target: cobra blackberry = *


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

Target: kiwi shark kiwi shark = kiwi shark -


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

Target: whale apple * apple *


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

Target: kiwi grape kiwi grape - peach horse + -


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

Target: blueberry grape - grape * * grape


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

Target: cobra blackberry + = cobra blackberry - pear


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

Target: shark zebra * shark zebra -


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

Target: stork * - grape


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

Target: + rat whale rat whale - rat whale =


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

Target: = kiwi rat - eagle kiwi rat


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

Target: cobra stork - = strawberry eagle *


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

Target: * lion shark + shark


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

Target: - + watermelon blackberry horse eagle whale


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

Target: grape pear + * = grape pear


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

Target: - - shark * horse shark


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

Target: + - blueberry peach shark shark blueberry peach


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

Target: * seal = kiwi zebra cobra *


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

Target: penguin pear - grape - =


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

Target: - strawberry - shark +


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

Target: blueberry pear = = stork


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

Target: kiwi = kiwi -


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

Target: * penguin shark = banana *


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

Target: watermelon cobra + watermelon cobra *


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

Target: - kiwi blueberry kiwi blueberry shark seal =


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

Target: horse horse shark + =


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

Target: seal * * rat = rat


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

Target: = seal = cobra whale


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

Target: seal - penguin pear =


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

Target: kiwi peach * kiwi *


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

Target: zebra strawberry pear * + = blueberry


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

Target: grape grape + * grape


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

Target: buffalo blueberry stork blueberry = *


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

Target: + pear pear = *


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

Target: cobra kiwi whale blueberry * + + whale blueberry


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

Target: blackberry grape banana blackberry = *


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

Target: * peach grape peach grape * peach grape -


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

Target: - + grape + cobra cobra


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

Target: grape peach * grape peach pear -


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

Target: shark banana rat - * whale lion


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

Target: = * banana watermelon banana watermelon +


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

Target: whale stork horse stork = watermelon blackberry * +


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

Target: - seal seal -


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

Target: * strawberry + rat kiwi +


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

Target: stork penguin kiwi shark - = kiwi shark


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

Target: buffalo zebra * * apple penguin buffalo *


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

Target: + - banana stork pear


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

Target: - + stork peach whale whale


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

Target: = + = blackberry blackberry


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

Target: watermelon horse eagle - *


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

Target: + - = grape zebra blueberry


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

Target: - = blueberry * zebra blueberry


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

Target: + lion banana = lion banana strawberry *


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

Target: cobra horse * - *


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

Target: cobra + * cobra


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

Target: rat blackberry penguin watermelon + + watermelon


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

Target: + * kiwi + kiwi pear


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

Target: + = cobra lion pear rat =


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

Target: watermelon = strawberry stork =


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

Target: * + banana blackberry banana blackberry apple


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

Target: eagle penguin + * - banana peach


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

Target: zebra blackberry zebra blackberry zebra blackberry = = +


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

Target: eagle rat = watermelon *


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

Target: = cobra watermelon + whale pear


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

Target: - = blueberry pear -


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

Target: = blackberry penguin - blackberry penguin *


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

Target: zebra * watermelon apple watermelon apple +


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

Target: - - kiwi = kiwi


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

Target: zebra - zebra pear strawberry - =


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

Target: + - shark zebra shark


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

Target: + + lion seal watermelon penguin


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

Target: = - eagle whale kiwi


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

Target: + eagle seal eagle seal penguin horse *


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

Target: * - rat horse rat horse pear


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

Target: - rat banana * rat banana


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

Target: * watermelon = banana buffalo


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

Target: watermelon strawberry = watermelon strawberry watermelon strawberry =


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

Target: = grape = penguin - penguin


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

Target: grape grape = blackberry +


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

Target: pear pear * blueberry +


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

Target: + cobra cobra = - cobra


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

Target: kiwi + blueberry +


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

Target: + seal banana zebra * +


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

Target: - stork eagle eagle +


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

Target: strawberry = strawberry eagle * -


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

Target: lion peach * stork *


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

Target: - - stork stork stork


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

Target: buffalo buffalo - watermelon strawberry *


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

Target: shark cobra * * + rat


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

Target: pear lion - + apple kiwi


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

Target: kiwi + * kiwi


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

Target: stork shark + - eagle horse eagle horse


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

Target: + = shark shark


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

Target: + - shark lion shark lion


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

Target: apple zebra blackberry grape * * *


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

Target: * horse lion - strawberry watermelon


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

Target: rat shark cobra + rat shark +


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

Target: = penguin seal + whale blackberry whale blackberry


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

Target: = + pear shark * pear shark


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

Target: + whale horse zebra whale +


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

Target: - peach strawberry - penguin watermelon -


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

Target: - strawberry apple * strawberry apple strawberry apple +


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

Target: peach whale - kiwi - peach whale


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

Target: blackberry shark lion rat - - lion rat


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

Target: watermelon lion - watermelon lion +


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

Target: * rat + = penguin penguin


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

Target: * + * grape eagle eagle


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

Target: cobra + cobra -


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

Target: * watermelon - watermelon * watermelon


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

Target: - banana watermelon * lion apple


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

Target: - = blackberry cobra banana banana


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

Target: kiwi - + kiwi


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

Target: cobra kiwi grape - + =


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

Target: lion * * zebra horse =


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

Target: - = eagle penguin = rat horse


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

Target: * whale eagle = - banana banana


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

Target: blackberry horse - horse * blackberry horse


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

Target: + blackberry kiwi + penguin eagle * penguin eagle


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

Target: * seal penguin * penguin


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

Target: whale horse + blueberry * stork -


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

Target: horse buffalo whale zebra * *


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

Target: grape grape - * grape


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

Target: lion - = lion strawberry *


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

Target: - banana * eagle grape zebra rat


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

Target: * zebra + zebra


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

Target: - zebra * zebra zebra *


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

Target: = - strawberry cobra peach kiwi * strawberry cobra


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

Target: strawberry - * eagle pear -


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

Target: + shark penguin - penguin -


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

Target: * eagle whale eagle *


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

Target: = lion eagle cobra shark *


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

Target: - - = pear horse watermelon blueberry


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

Target: + peach apple * peach apple * zebra shark


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

Target: penguin + - penguin = whale buffalo


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

Target: - = horse horse buffalo banana


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

Target: - - stork stork eagle stork stork +


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

Target: * strawberry buffalo + grape seal


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

Target: lion kiwi lion kiwi lion kiwi = = -


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

Target: * * eagle horse eagle horse


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

Target: apple blackberry strawberry blackberry = - -


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

Target: pear seal - pear seal = -


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

Target: strawberry strawberry = = stork


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

Target: banana blueberry + * blueberry penguin


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

Target: - penguin cobra - lion horse buffalo


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

Target: eagle rat pear pear - + =


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

Target: + = zebra watermelon grape zebra watermelon +


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

Target: horse penguin strawberry whale + =


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

Target: + blueberry penguin grape = - penguin grape


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

Target: * watermelon - banana


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

Target: zebra apple = + zebra watermelon


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

Target: * rat cobra = blackberry buffalo =


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

Target: cobra + * cobra penguin blueberry


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

Target: stork lion + stork lion -


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

Target: horse penguin buffalo + = =


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

Target: - blackberry blueberry cobra =


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

Target: + + + seal lion banana seal lion


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

Target: lion peach banana watermelon lion peach - +


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

Target: kiwi apple kiwi apple * * -


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

Target: strawberry seal + whale peach +


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

Target: penguin peach + * stork stork *


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

Target: cobra + cobra * cobra grape


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

Target: cobra peach = - rat +


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

Target: blackberry cobra * watermelon pear =


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

Target: + blackberry peach blackberry + *


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

Target: - + = blueberry blueberry


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

Target: cobra - cobra - seal


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

Target: blueberry blackberry = * blueberry


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

Target: - whale eagle stork whale -


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

Target: = + eagle seal lion


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

Target: * grape stork * grape stork grape stork +


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

Target: peach - = grape kiwi


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

Target: penguin penguin pear zebra + =


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

Target: + watermelon penguin blueberry -


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

Target: + - + buffalo strawberry buffalo buffalo


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

Target: lion banana * seal blueberry = lion banana


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

Target: + seal kiwi rat zebra + blueberry banana


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

Target: buffalo buffalo = + + cobra


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

Target: = rat * watermelon buffalo rat


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

Target: + + shark buffalo buffalo strawberry


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

Target: * rat + grape


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

Target: grape - grape - + seal lion


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

Target: strawberry blackberry * + zebra *


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

Target: watermelon * whale * grape


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

Target: watermelon watermelon * = penguin lion


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

Target: * * - shark blackberry rat


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

Target: - blueberry whale * lion +


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

Target: blackberry * * rat


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

Target: eagle = * eagle =


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

Target: eagle shark = * = eagle shark


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

Target: zebra banana pear cobra * + * pear cobra


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

Target: rat grape kiwi = + rat grape


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

Target: + = banana rat grape


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

Target: * cobra * - cobra


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

Target: banana buffalo + * rat =


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

Target: banana rat + + * kiwi banana


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

Target: shark eagle + cobra -


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

Target: apple cobra seal stork seal stork - + *


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

Target: stork banana = + strawberry watermelon


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

Target: = * horse - peach watermelon horse


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

Target: * grape whale - grape whale zebra +


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

Target: - zebra buffalo buffalo = zebra *


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

Target: - peach buffalo = seal


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

Target: grape rat + eagle = grape rat


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

Target: + seal grape lion banana * + lion banana


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

Target: - strawberry apple + strawberry apple


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

Target: strawberry - peach + = strawberry


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

Target: + apple * apple


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

Target: - zebra seal -


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

Target: = stork blackberry seal zebra stork -


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

Target: kiwi zebra banana = *


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

Target: = blueberry zebra * blueberry *


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

Target: * strawberry * strawberry +


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

Target: * rat blueberry - rat penguin = penguin


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

Target: shark eagle - seal eagle seal eagle * -


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

Target: shark blueberry + =


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

Target: seal blackberry seal - =


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

Target: + + horse whale grape whale grape


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

Target: - - peach zebra * horse eagle


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

Target: pear whale kiwi - - kiwi +


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

Target: * = apple - apple


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

Target: cobra - * cobra


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

Target: = = rat apple zebra kiwi eagle


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

Target: + eagle banana * kiwi zebra


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

Target: cobra horse = + - horse


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

Target: + * * zebra zebra


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

Target: = shark blackberry - buffalo eagle buffalo eagle =


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

Target: = + shark stork * stork


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

Target: blackberry + * * blueberry apple


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

Target: cobra = cobra +


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

Target: * + shark watermelon stork


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

Target: * = rat buffalo banana zebra * strawberry


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

Target: shark strawberry * strawberry - strawberry


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

Target: = - strawberry watermelon strawberry watermelon strawberry


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

Target: = horse peach pear = stork pear +


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

Target: whale = kiwi horse whale -


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

Target: = + pear pear


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

Target: strawberry cobra strawberry cobra * + eagle eagle *


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

Target: grape grape = grape - +


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

Target: blackberry whale = = blackberry whale peach *


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

Target: * * seal seal


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

Target: - * seal eagle - watermelon


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

Target: * strawberry * seal shark shark blackberry


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

Target: + = peach buffalo peach buffalo +


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

Target: - + horse + cobra cobra horse


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

Target: = whale buffalo = kiwi rat blueberry -


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

Target: + buffalo peach lion + +


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

Target: rat peach - = zebra *


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

Target: = peach zebra - rat


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

Target: * horse strawberry eagle * strawberry eagle +


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

Target: = pear peach pear peach *


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

Target: * rat pear rat pear -


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

Target: peach apple - + penguin eagle +


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

Target: blackberry horse * * blackberry horse +


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

Target: strawberry whale * buffalo =


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

Target: * peach = peach penguin shark


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

Target: + banana buffalo pear + shark *


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

Target: whale blackberry - - - whale blackberry


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

Target: * eagle watermelon * horse banana eagle watermelon -


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

Target: stork - stork stork = *


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

Target: eagle = * eagle =


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

Target: * - + peach blackberry whale


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

Target: - * eagle + eagle


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

Target: - * whale whale banana whale


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

Target: shark = = shark -


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

Target: horse * buffalo -


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

Target: + * rat blueberry watermelon +


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

Target: grape + strawberry =


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

Target: * seal grape - seal grape buffalo


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

Target: blackberry + * strawberry


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

Target: eagle - apple * apple


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

Target: = + pear pear pear


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

Target: blackberry stork blackberry stork rat penguin - -


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

Target: blueberry + + - blueberry


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

Target: cobra rat * cobra = *


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

Target: whale apple blueberry + -


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

Target: * - grape grape grape grape =


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

Target: = + banana stork whale + banana stork


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

Target: shark + + + cobra banana


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

Target: - * pear banana rat lion


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

Target: = watermelon lion + watermelon lion penguin strawberry -


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

Target: penguin kiwi * pear strawberry - =


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

Target: buffalo + buffalo *


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

Target: shark blueberry = apple peach - +


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

Target: strawberry kiwi kiwi + * strawberry


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

Target: grape * * + stork shark kiwi


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

Target: zebra - = rat buffalo +


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

Target: seal seal - *


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

Target: * blackberry eagle + zebra kiwi blackberry eagle *


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

Target: = whale whale * blackberry -


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

Target: lion peach * penguin grape lion peach +


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

Target: lion shark * - lion shark =


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

Target: + = rat cobra whale seal


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

Target: - - zebra whale lion +


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

Target: = - banana = banana


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

Target: pear lion peach zebra * + =


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

Target: penguin peach + * blackberry lion


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

Target: blackberry cobra blackberry cobra pear - =


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

Target: peach + pear + pear -


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

Target: stork stork seal horse - =


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

Target: + lion apple + lion apple


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

Target: = rat rat rat * =


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

Target: * blueberry seal stork zebra *


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

Target: + eagle + horse


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

Target: = cobra = cobra *


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

Target: = - peach blueberry *


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

Target: * watermelon blackberry watermelon blackberry watermelon blackberry -


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

Target: banana seal * + whale whale =


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

Target: = apple apple - * apple


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

Target: buffalo = * + eagle zebra


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

Target: + rat rat +


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

Target: whale pear - * whale pear


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

Target: banana = * strawberry watermelon -


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

Target: lion kiwi banana + = * lion kiwi


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

Target: whale kiwi - whale kiwi - + penguin pear


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

Target: peach * = seal


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

Target: * banana penguin watermelon + buffalo rat +


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

Target: - horse zebra - =


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

Target: kiwi whale - kiwi kiwi = kiwi whale


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

Target: buffalo + penguin =


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

Target: = eagle cobra eagle cobra * eagle cobra -


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

Target: - zebra watermelon - + watermelon


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

Target: rat kiwi + + -


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

Target: horse - - blueberry blueberry


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

Target: = grape pear rat zebra - rat zebra *


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

Target: * banana rat - = rat


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

Target: shark cobra cobra grape rat * * *


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

Target: pear pear * *


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

Target: - lion apple seal lion + lion apple


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

Target: cobra whale zebra + * =


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

Target: blackberry * = peach horse +


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

Target: zebra stork + = apple apple


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

Target: - + penguin strawberry grape kiwi


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

Target: eagle shark * + eagle shark


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

Target: grape * pear -


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

Target: = grape apple *


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

Target: * pear buffalo = cobra zebra = cobra zebra


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

Target: * pear whale pear whale pear whale +


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

Target: banana = stork * = stork


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

Target: blackberry blueberry + - penguin blueberry *


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

Target: * lion peach = apple blackberry apple blackberry *


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

Target: * strawberry horse + - strawberry horse


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

Target: strawberry = = - penguin watermelon penguin watermelon


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

Target: = = zebra whale zebra penguin


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

Target: peach * peach horse blackberry +


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

Target: * - stork stork


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

Target: - eagle strawberry eagle banana * penguin whale


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

Target: * whale = rat * whale


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

Target: kiwi kiwi = kiwi =


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

Target: - - strawberry horse blueberry *


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

Target: * penguin - - banana


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

Target: penguin = blackberry - blackberry


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

Target: + grape grape = - eagle


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

Target: kiwi = kiwi * *


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

Target: horse - + shark


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

Target: blueberry cobra blueberry cobra + + watermelon


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

Target: apple * - grape grape -


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

Target: zebra horse = zebra horse - -


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

Target: strawberry pear - - strawberry pear


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

Target: blueberry - penguin watermelon penguin watermelon * +


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

Target: = cobra blackberry cobra blackberry * *


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

Target: + banana zebra + = banana zebra banana zebra


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

Target: rat cobra - = = rat cobra rat cobra


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

Target: blueberry * = blueberry seal cobra


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

Target: seal rat + horse seal rat - =


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

Target: - + - rat horse


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

Target: watermelon horse - grape cobra watermelon horse -


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

Target: * + rat rat banana


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

Target: - apple banana - = apple banana


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

Target: = kiwi stork strawberry = -


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

Target: + penguin penguin = strawberry buffalo


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

Target: = - lion blackberry zebra buffalo lion blackberry


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

Target: buffalo blackberry * = buffalo blackberry =


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

Target: + - kiwi lion * grape


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

Target: * rat stork - rat stork


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

Target: cobra buffalo = - seal - pear


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

Target: blackberry - zebra strawberry zebra strawberry * -


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

Target: zebra lion = =


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

Target: pear seal = * + grape lion pear seal


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

Target: = lion buffalo blackberry = *


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

Target: * zebra lion zebra lion + apple +


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

Target: peach horse peach - - peach horse


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

Target: * watermelon pear = watermelon pear watermelon pear


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

Target: = banana grape + banana grape


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

Target: + = blueberry blueberry seal =


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

Target: + kiwi + kiwi


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

Target: + banana strawberry strawberry -


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

Target: seal peach peach = +


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

Target: apple strawberry shark buffalo * = shark buffalo *


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

Target: * grape grape grape + =


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

Target: grape - * = grape


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

Target: - = grape pear peach grape


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

Target: blackberry blueberry horse - * horse


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

Target: - + pear + watermelon apple


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

Target: - strawberry watermelon watermelon strawberry = *


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

Target: = penguin whale penguin pear *


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

Target: buffalo zebra lion = banana kiwi -


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

Target: penguin - - blueberry horse


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

Target: - horse - apple stork horse


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

Target: = + penguin + penguin


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

Target: penguin strawberry penguin strawberry - * penguin strawberry


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

Target: blackberry = eagle lion blackberry *


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

Target: banana penguin + + - banana


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

Target: - horse peach rat = -


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

Target: kiwi watermelon + kiwi watermelon kiwi watermelon = =


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

Target: - = shark peach * seal


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

Target: = buffalo blackberry - apple blueberry apple blueberry


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

Target: seal kiwi seal kiwi seal kiwi + +


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

Target: * apple * apple apple


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

Target: horse peach + * + horse peach


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

Target: stork strawberry kiwi stork * =


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

Target: kiwi shark blackberry * - kiwi


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

Target: - shark = apple peach apple peach


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

Target: * * penguin grape + penguin grape


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

Target: = - seal seal seal


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

Target: shark + shark = +


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

Target: horse peach shark + - =


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

Target: peach banana * + zebra shark =


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

Target: - + zebra blackberry apple +


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

Target: eagle = + * shark whale


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

Target: * + eagle banana eagle banana


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

Target: lion seal rat + rat *


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

Target: + - blueberry - lion


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

Target: = zebra seal - banana penguin


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

Target: * = stork stork kiwi buffalo


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

Target: peach grape - peach grape + strawberry blueberry


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

Target: + stork = * stork


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

Target: blackberry strawberry zebra peach * *


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

Target: banana shark peach whale = strawberry apple - +


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

Target: - pear buffalo * pear buffalo stork =


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

Target: - shark = horse zebra shark +


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

Target: * banana + banana cobra banana


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

Target: pear eagle = - pear eagle


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

Target: peach * apple + peach


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

Target: cobra peach = * stork stork cobra peach -


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

Target: rat - rat = rat


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

Target: blueberry banana + rat blueberry banana -


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

Target: - - stork stork banana


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

Target: - grape eagle penguin - eagle penguin +


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

Target: = = watermelon cobra banana whale


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

Target: + banana banana buffalo + =


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

Target: = grape strawberry + grape buffalo grape buffalo


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

Target: * penguin kiwi = penguin


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

Target: lion - shark stork = lion


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

Target: penguin strawberry banana cobra - - banana cobra


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

Target: seal * stork -


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

Target: zebra + apple grape - -


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

Target: cobra + = peach +


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

Target: - + penguin strawberry + grape seal grape seal


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

Target: * horse horse + horse =


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

Target: + + penguin watermelon stork buffalo -


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

Target: cobra + cobra +


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

Target: * eagle watermelon eagle watermelon + -


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

Target: seal grape * + + seal grape zebra peach


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

Target: + apple shark rat shark rat =


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

Target: = - zebra eagle peach buffalo peach buffalo


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

Target: = = watermelon banana blueberry * watermelon


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

Target: whale horse = - whale horse


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

Target: * shark kiwi cobra * shark -


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

Target: lion penguin lion = *


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

Target: * + pear - watermelon apple watermelon apple


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

Target: cobra lion buffalo kiwi + -


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

Target: - + rat * rat


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

Target: cobra blackberry - + grape


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

Target: * blueberry kiwi kiwi -


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

Target: eagle watermelon eagle watermelon eagle watermelon - =


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

Target: seal cobra lion stork - = horse pear


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

Target: penguin rat * eagle horse whale penguin - =


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

Target: - + stork horse horse +


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

Target: whale penguin * whale penguin -


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

Target: * penguin + pear seal


Source: Rules: Y - Y + = Y | Substitutions: Y by " strawberry "

Target: strawberry - strawberry + = strawberry


Source: Rules: * X + X Z | Substitutions: X by " watermelon stork " , Z by " apple pear "

Target: * watermelon stork + watermelon stork apple pear


Source: Rules: - Z Z Y + | Substitutions: Y by " blackberry " , Z by " blueberry "

Target: - blueberry blueberry blackberry +


Source: Rules: - - X Z Y | Substitutions: X by " blueberry " , Y by " cobra " , Z by " lion "

Target: - - blueberry lion cobra


Source: Rules: * Y X = | Substitutions: X by " peach " , Y by " apple strawberry "

Target: * apple strawberry peach =


Source: Rules: X Z Y + = - | Substitutions: X by " banana " , Y by " pear " , Z by " lion "

Target: banana lion pear + = -


Source: Rules: + Y - Z | Substitutions: Y by " blackberry stork " , Z by " banana horse "

Target: + blackberry stork - banana horse


Source: Rules: = Z Y Y * * | Substitutions: Y by " kiwi " , Z by " grape "

Target: = grape kiwi kiwi * *


Source: Rules: X + * X - X | Substitutions: X by " kiwi buffalo "

Target: kiwi buffalo + * kiwi buffalo - kiwi buffalo


Source: Rules: Z + Y * | Substitutions: Y by " lion banana " , Z by " blueberry "

Target: blueberry + lion banana *


Source: Rules: * = * X Z Y | Substitutions: X by " rat peach " , Y by " penguin " , Z by " whale zebra "

Target: * = * rat peach whale zebra penguin


Source: Rules: * Z X * Z * | Substitutions: X by " penguin " , Z by " kiwi "

Target: * kiwi penguin * kiwi *


Source: Rules: Y = = Y * | Substitutions: Y by " buffalo strawberry "

Target: buffalo strawberry = = buffalo strawberry *


Source: Rules: Z X + X + = | Substitutions: X by " horse " , Z by " apple cobra "

Target: apple cobra horse + horse + =


Source: Rules: Y * X Y - | Substitutions: X by " stork " , Y by " apple "

Target: apple * stork apple -


Source: Rules: Y + Y * | Substitutions: Y by " blueberry "

Target: blueberry + blueberry *


Source: Rules: Z Z = + Y | Substitutions: Y by " kiwi blackberry " , Z by " blackberry "

Target: blackberry blackberry = + kiwi blackberry


Source: Rules: Y X - = Z - | Substitutions: X by " horse buffalo " , Y by " seal " , Z by " horse "

Target: seal horse buffalo - = horse -


Source: Rules: X + + + X Z | Substitutions: X by " rat " , Z by " seal "

Target: rat + + + rat seal


Source: Rules: X Y Y - + | Substitutions: X by " buffalo rat " , Y by " blackberry blackberry "

Target: buffalo rat blackberry blackberry blackberry blackberry - +