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

Target: rat peach buffalo blackberry - buffalo blackberry + *


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

Target: + stork stork peach cobra - +


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

Target: + = + eagle eagle seal stork


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

Target: blueberry penguin whale + = whale


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

Target: = + horse horse blackberry


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

Target: grape stork zebra kiwi = * * grape stork


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

Target: kiwi * apple pear * = blackberry


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

Target: blackberry + grape *


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

Target: - kiwi seal seal pear =


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

Target: + seal watermelon buffalo blueberry -


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

Target: + kiwi cobra whale kiwi =


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

Target: * + * stork penguin stork


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

Target: * rat blackberry * lion


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

Target: * banana rat stork = + zebra


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

Target: apple kiwi = - stork


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

Target: - strawberry = strawberry


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

Target: - = watermelon rat *


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

Target: - banana buffalo buffalo peach -


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

Target: peach - seal penguin -


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

Target: seal horse * * blackberry zebra seal horse


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

Target: kiwi = horse cobra + = kiwi


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

Target: * blueberry banana horse horse - *


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

Target: = rat cobra = stork peach


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

Target: blueberry * * rat


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

Target: seal rat = + stork -


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

Target: - - pear blueberry zebra seal


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

Target: = + * watermelon watermelon banana blueberry


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

Target: = penguin lion + eagle stork *


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

Target: whale rat = watermelon whale watermelon whale *


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

Target: blueberry whale - blueberry whale -


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

Target: buffalo * blueberry +


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

Target: = * pear banana pear seal + cobra cobra


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

Target: = = pear stork peach pear


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

Target: = = grape stork horse banana =


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

Target: rat + - strawberry horse


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

Target: - = stork banana cobra lion


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

Target: - = eagle blackberry


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

Target: + penguin buffalo seal horse * =


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

Target: - + stork * banana apple


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

Target: peach zebra = + grape -


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

Target: * pear peach grape grape =


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

Target: blackberry penguin blackberry penguin + rat banana + +


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

Target: peach = * apple apple


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

Target: rat kiwi * banana horse =


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

Target: horse pear grape strawberry * =


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

Target: banana - * + eagle


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

Target: + apple apple *


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

Target: * banana - apple


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

Target: + kiwi + kiwi blueberry


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

Target: + + whale rat whale rat *


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

Target: = - shark watermelon *


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

Target: * shark peach * peach -


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

Target: penguin - penguin =


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

Target: pear lion banana + * -


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

Target: horse peach apple whale - stork banana *


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

Target: rat eagle * rat - *


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

Target: banana lion banana - = peach zebra


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

Target: buffalo watermelon = + eagle whale


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

Target: * * banana lion banana peach


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

Target: + rat + peach grape rat


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

Target: + blackberry zebra * blackberry *


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

Target: * - rat rat =


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

Target: * grape * whale whale -


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

Target: - kiwi lion = kiwi lion


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

Target: * penguin * penguin


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

Target: + strawberry = + penguin seal


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

Target: buffalo = buffalo * *


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

Target: shark cobra banana pear + - =


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

Target: * blackberry eagle blackberry =


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

Target: + lion rat + lion rat


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

Target: = - kiwi - kiwi


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

Target: - - stork = seal


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

Target: + horse + horse


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

Target: = - grape horse strawberry * buffalo


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

Target: - grape strawberry - rat rat * rat rat


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

Target: eagle stork = + lion eagle stork


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

Target: * buffalo buffalo = pear pear -


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

Target: * - kiwi seal kiwi seal rat


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

Target: * * shark seal blueberry * grape strawberry


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

Target: + kiwi kiwi + kiwi


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

Target: * + + strawberry strawberry


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

Target: + = - peach seal peach seal peach seal


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

Target: blueberry blueberry + * blueberry grape +


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

Target: = buffalo watermelon peach blueberry + shark blackberry


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

Target: * kiwi + cobra horse


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

Target: cobra = = cobra +


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

Target: watermelon whale watermelon whale watermelon whale - =


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

Target: rat strawberry rat strawberry * =


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

Target: = - lion zebra rat lion


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

Target: + + blackberry watermelon - blueberry


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

Target: + - zebra kiwi zebra kiwi


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

Target: + seal zebra shark * =


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

Target: apple eagle pear + *


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

Target: + + horse lion pear seal


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

Target: watermelon kiwi * - buffalo banana watermelon kiwi


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

Target: shark strawberry grape cobra - * *


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

Target: + horse = lion apple horse =


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

Target: + + grape cobra blueberry + rat


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

Target: cobra + * rat peach


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

Target: strawberry * = strawberry


Source: Rules: Y * Z * X | Substitutions: X by " blackberry grape " , Y by " rat blackberry " , Z by " strawberry stork "

Target: rat blackberry * strawberry stork * blackberry grape


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

Target: - rat * blueberry blueberry


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

Target: kiwi zebra watermelon - - zebra


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

Target: - whale kiwi rat *


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

Target: peach apple peach apple + *


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

Target: peach * + grape blueberry


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

Target: kiwi = penguin grape =


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

Target: + stork stork grape banana +


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

Target: = blackberry blueberry + shark apple * pear


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

Target: shark cobra shark cobra * -


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

Target: = pear pear kiwi horse - *


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

Target: seal penguin cobra * + * apple


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

Target: - + rat stork whale


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

Target: - + strawberry seal strawberry seal * whale zebra


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

Target: + strawberry whale strawberry whale +


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

Target: blackberry * - = grape


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

Target: cobra cobra = =


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

Target: - * watermelon penguin watermelon penguin


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

Target: peach strawberry - + * zebra


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

Target: = - pear kiwi shark shark


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

Target: cobra - blueberry =


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

Target: * + * pear cobra horse eagle horse eagle


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

Target: - seal lion = seal lion - rat penguin


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

Target: cobra seal * = cobra seal *


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

Target: * + + peach grape penguin watermelon


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

Target: = rat whale -


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

Target: = + grape rat +


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

Target: horse = grape - *


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

Target: - apple apple * shark +


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

Target: shark seal horse horse + -


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

Target: * rat * blackberry


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

Target: penguin blueberry + * rat lion + penguin blueberry


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

Target: + apple * shark * shark


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

Target: lion buffalo - - + banana banana


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

Target: zebra kiwi + grape buffalo * zebra kiwi


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

Target: = - blackberry blackberry rat


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

Target: watermelon apple = watermelon apple + strawberry


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

Target: * = horse horse


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

Target: grape shark eagle seal = =


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

Target: buffalo = * horse


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

Target: rat zebra zebra * zebra = =


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

Target: blackberry * grape watermelon = grape watermelon


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

Target: shark + zebra cobra -


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

Target: = stork blackberry stork stork * *


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

Target: zebra eagle watermelon * + +


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

Target: - shark stork buffalo - whale


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

Target: penguin buffalo * + apple =


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

Target: = zebra eagle whale + +


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

Target: blueberry * whale lion +


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

Target: + lion eagle + peach grape -


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

Target: * pear shark horse = shark horse


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

Target: = whale + whale + eagle strawberry


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

Target: * * zebra peach whale peach zebra peach


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

Target: stork - stork - *


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

Target: + seal zebra = seal zebra =


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

Target: horse horse grape eagle * -


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

Target: * banana zebra apple stork + apple stork


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

Target: blueberry lion cobra rat cobra rat = - -


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

Target: * * seal seal strawberry


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

Target: peach watermelon cobra zebra horse * = +


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

Target: banana strawberry banana + + +


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

Target: + eagle penguin strawberry = penguin strawberry


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

Target: * shark kiwi = horse


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

Target: kiwi seal = -


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

Target: watermelon watermelon - - grape peach *


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

Target: grape = - eagle strawberry =


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

Target: blueberry blueberry = - *


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

Target: - + + banana zebra banana zebra banana pear


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

Target: grape horse buffalo blueberry - =


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

Target: + apple rat stork * stork


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

Target: = cobra + cobra


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

Target: cobra = - blackberry


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

Target: kiwi + - = cobra strawberry cobra strawberry


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

Target: + seal pear = = eagle zebra


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

Target: * + buffalo penguin watermelon buffalo - buffalo penguin


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

Target: * grape seal - grape seal =


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

Target: * eagle + whale strawberry *


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

Target: eagle rat * = penguin penguin


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

Target: - grape lion grape lion = watermelon kiwi


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

Target: peach apple = peach apple blueberry =


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

Target: whale buffalo apple - * apple +


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

Target: seal * blueberry blackberry - *


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

Target: + = strawberry stork buffalo lion


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

Target: * = pear pear =


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

Target: + * zebra watermelon whale whale *


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

Target: whale zebra * eagle -


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

Target: - blueberry horse + blueberry +


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

Target: + + stork whale cobra - cobra


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

Target: * + shark seal stork *


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

Target: = seal stork penguin = penguin


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

Target: eagle * - zebra peach


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

Target: + = penguin = eagle


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

Target: - = zebra horse zebra * zebra


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

Target: eagle penguin + + + buffalo pear buffalo pear


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

Target: horse = horse + blackberry -


Source: Rules: Y + = X Z | Substitutions: X by " whale rat " , Y by " grape eagle " , Z by " zebra watermelon "

Target: grape eagle + = whale rat zebra watermelon


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

Target: watermelon apple zebra = stork -


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

Target: strawberry penguin - strawberry penguin *


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

Target: + stork shark banana horse - stork shark


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

Target: * peach watermelon horse horse +


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

Target: blueberry lion horse = - +


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

Target: = cobra zebra * cobra zebra - cobra blueberry


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

Target: * * grape grape


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

Target: * - + peach penguin banana eagle


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

Target: + - whale whale blueberry grape strawberry


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

Target: * - buffalo strawberry - buffalo strawberry buffalo whale


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

Target: * kiwi eagle shark - =


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

Target: = buffalo apple + buffalo apple


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

Target: banana zebra - + zebra


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

Target: - blackberry blackberry = +


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

Target: + shark grape -


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

Target: rat * rat = rat


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

Target: zebra eagle + -


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

Target: blackberry zebra * horse *


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

Target: = rat rat - +


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

Target: + - - lion buffalo stork lion buffalo


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

Target: seal peach horse = + * seal peach


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

Target: - eagle rat + horse lion shark


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

Target: = buffalo grape = + penguin


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

Target: watermelon buffalo stork + - stork


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

Target: * banana zebra stork + -


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

Target: + * * lion blackberry lion blackberry


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

Target: blueberry horse watermelon whale = + = stork


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

Target: + penguin strawberry penguin * -


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

Target: - = stork pear zebra *


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

Target: + + shark shark = blackberry


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

Target: buffalo + lion pear lion pear +


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

Target: - apple buffalo * buffalo pear buffalo pear


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

Target: whale whale = - whale


Source: Rules: = X Y Z = | Substitutions: X by " kiwi " , Y by " rat blueberry " , Z by " penguin apple "

Target: = kiwi rat blueberry penguin apple =


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

Target: - * horse peach horse peach


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

Target: seal * - watermelon


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

Target: watermelon grape + + blackberry blackberry *


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

Target: * seal kiwi = lion shark lion shark


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

Target: blackberry lion blackberry apple - -


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

Target: + horse blackberry shark grape shark grape * =


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

Target: blackberry pear blackberry pear - zebra rat * -


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

Target: grape watermelon * cobra eagle = = cobra eagle


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

Target: shark buffalo - + shark buffalo


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

Target: = watermelon grape pear * pear *


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

Target: apple * + watermelon horse watermelon horse


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

Target: horse * + blueberry stork


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

Target: peach peach + * peach


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

Target: + blackberry + + strawberry


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

Target: kiwi rat = strawberry *


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

Target: = * pear shark = blueberry blackberry


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

Target: horse zebra blackberry = = kiwi


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

Target: zebra + - zebra zebra *


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

Target: + - seal peach seal peach +


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

Target: grape horse + lion *


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

Target: seal horse = lion blackberry shark + +


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

Target: * peach zebra * - stork rat


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

Target: + lion kiwi zebra zebra =


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

Target: + zebra stork zebra stork =


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

Target: - * shark whale whale = shark


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

Target: eagle horse pear = +


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

Target: strawberry seal strawberry seal banana * =


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

Target: blueberry grape - - eagle strawberry blackberry


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

Target: = pear * pear pear =


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

Target: kiwi kiwi * -


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

Target: whale = - seal


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

Target: + + banana eagle - banana eagle


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

Target: penguin banana eagle - banana eagle + *


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

Target: * rat peach + zebra grape = peach grape


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

Target: buffalo zebra buffalo zebra buffalo zebra * *


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

Target: penguin + penguin = penguin


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

Target: + * cobra cobra =


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

Target: + + grape rat =


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

Target: - kiwi kiwi + watermelon rat = kiwi kiwi


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

Target: + * cobra kiwi blueberry -


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

Target: strawberry - = banana + strawberry


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

Target: banana cobra blueberry + blackberry + +


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

Target: + peach apple + peach apple


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

Target: * rat = - horse pear


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

Target: pear pear buffalo pear + *


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

Target: + + - watermelon grape buffalo watermelon grape


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

Target: = pear kiwi blueberry * pear kiwi +


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

Target: shark penguin + +


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

Target: rat blackberry rat zebra * rat zebra + *


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

Target: eagle + shark grape *


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

Target: + stork stork -


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

Target: peach eagle = - - peach eagle


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

Target: kiwi strawberry penguin = * * strawberry penguin


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

Target: - shark = banana


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

Target: eagle seal peach = - =


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

Target: = pear blackberry -


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

Target: = * watermelon apple * watermelon apple


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

Target: banana eagle = peach +


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

Target: * cobra = = penguin


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

Target: = strawberry peach strawberry peach * buffalo strawberry =


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

Target: = rat zebra * zebra


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

Target: peach = seal horse -


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

Target: eagle eagle + buffalo *


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

Target: * grape banana + grape banana grape banana -


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

Target: penguin stork penguin - - -


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

Target: watermelon + + stork eagle watermelon


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

Target: + + seal + buffalo


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

Target: - + blueberry pear blackberry watermelon


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

Target: = = * peach peach


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

Target: + - seal seal =


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

Target: * + peach penguin - peach penguin


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

Target: seal seal + penguin horse =


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

Target: - * - whale eagle


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

Target: + shark blackberry shark blackberry =


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

Target: + peach buffalo cobra - * buffalo cobra


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

Target: * - strawberry strawberry shark strawberry shark strawberry


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

Target: * - seal cobra + seal cobra


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

Target: * - apple horse blackberry


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

Target: watermelon horse * buffalo -


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

Target: stork penguin + kiwi banana + banana


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

Target: apple + zebra watermelon +


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

Target: - - banana banana


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

Target: - * cobra strawberry cobra strawberry whale


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

Target: + pear - pear blackberry


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

Target: - horse strawberry pear horse strawberry -


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

Target: + apple + = apple apple


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

Target: = banana lion + grape grape


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

Target: - cobra penguin whale horse cobra penguin =


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

Target: penguin cobra stork = * penguin cobra -


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

Target: watermelon lion banana = * watermelon lion


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

Target: - grape grape * + grape


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

Target: - grape watermelon horse + * buffalo


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

Target: - = apple strawberry lion = strawberry lion


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

Target: + = kiwi penguin cobra


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

Target: + pear blueberry banana apple = pear blueberry -


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

Target: + * peach peach shark


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

Target: penguin peach cobra kiwi cobra kiwi + -


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

Target: * pear + whale whale


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

Target: cobra rat = cobra rat * -


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

Target: + lion eagle * stork zebra


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

Target: horse + kiwi - horse


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

Target: banana penguin = + banana penguin banana penguin


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

Target: * whale peach - + blackberry


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

Target: peach - peach peach * =


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

Target: zebra horse - + zebra horse


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

Target: rat peach seal watermelon = * - strawberry


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

Target: * lion rat = - zebra lion rat


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

Target: - pear - seal blackberry


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

Target: - + buffalo + zebra strawberry


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

Target: * blueberry kiwi + =


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

Target: peach zebra pear - - -


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

Target: eagle eagle + * lion pear +


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

Target: = * grape whale strawberry whale *


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

Target: - = = strawberry buffalo horse lion


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

Target: = lion cobra - pear blueberry *


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

Target: rat grape watermelon stork watermelon stork = - -


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

Target: grape * * grape =


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

Target: * rat whale - stork grape


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

Target: apple shark apple shark = apple shark - *


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

Target: - horse horse + zebra +


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

Target: buffalo peach buffalo peach + * buffalo peach


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

Target: stork blackberry whale = pear +


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

Target: peach + + * rat


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

Target: + cobra apple cobra apple - blackberry eagle


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

Target: - = buffalo zebra cobra


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

Target: whale blackberry zebra zebra - =


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

Target: + = peach peach = blackberry buffalo


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

Target: banana whale = = banana whale


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

Target: blueberry + = banana


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

Target: cobra shark penguin whale + penguin whale +


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

Target: watermelon - + strawberry +


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

Target: cobra banana buffalo cobra kiwi + +


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

Target: * shark rat -


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

Target: watermelon - watermelon *


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

Target: blackberry + penguin + -


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

Target: = watermelon eagle blackberry =


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

Target: watermelon shark + watermelon shark -


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

Target: grape cobra + grape cobra grape cobra * +


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

Target: watermelon - blueberry = *


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

Target: + buffalo * peach grape kiwi *


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

Target: = - rat zebra rat -


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

Target: shark - horse blackberry * horse blackberry


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

Target: + shark lion horse * lion horse


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

Target: - pear banana = banana


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

Target: = * * grape grape cobra


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

Target: penguin shark * - banana


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

Target: blackberry eagle = + grape =


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

Target: eagle + * shark cobra +


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

Target: buffalo + strawberry =


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

Target: - + * lion peach lion peach


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

Target: * + kiwi kiwi *


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

Target: * stork rat + buffalo whale


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

Target: * buffalo - = buffalo lion apple


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

Target: - seal penguin = rat grape


Source: Rules: Y + X + Z | Substitutions: X by " rat lion " , Y by " horse " , Z by " blueberry pear "

Target: horse + rat lion + blueberry pear


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

Target: * + = kiwi rat whale watermelon


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

Target: * grape banana strawberry shark grape banana -


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

Target: grape zebra rat strawberry = =


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

Target: grape grape * +


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

Target: stork lion * * +


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

Target: rat lion + * pear pear


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

Target: seal rat * pear penguin + pear penguin


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

Target: zebra pear penguin = = banana lion


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

Target: * stork penguin horse *


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

Target: * watermelon buffalo peach peach + = peach peach


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

Target: - + shark stork shark stork +


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

Target: seal strawberry kiwi watermelon seal strawberry * -


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

Target: blueberry = * * whale shark


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

Target: cobra - = strawberry pear


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

Target: - lion strawberry eagle strawberry eagle strawberry =


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

Target: strawberry cobra apple strawberry = +


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

Target: zebra apple = + lion banana


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

Target: pear * pear * + pear


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

Target: seal = + horse cobra seal *


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

Target: * watermelon blueberry + banana rat


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

Target: = strawberry kiwi + * strawberry kiwi


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

Target: banana lion = - strawberry zebra - peach grape


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

Target: = blackberry eagle blackberry +


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

Target: pear + = lion pear


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

Target: peach peach * - peach zebra


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

Target: - apple seal apple seal * seal strawberry *


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

Target: apple apple = + apple apple


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

Target: zebra apple zebra apple + -


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

Target: - peach grape - strawberry +


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

Target: + whale peach - * apple strawberry buffalo


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

Target: penguin cobra * * - blackberry seal blackberry seal


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

Target: = * = penguin penguin


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

Target: eagle = blueberry = blueberry +


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

Target: apple - - kiwi buffalo


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

Target: + - seal shark penguin = cobra kiwi


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

Target: horse whale eagle buffalo = +


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

Target: kiwi shark = eagle * kiwi shark


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

Target: horse banana - horse banana *


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

Target: * banana seal kiwi blueberry - kiwi blueberry


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

Target: = - * apple pear


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

Target: = = pear cobra banana watermelon


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

Target: shark rat peach - - *


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

Target: + lion buffalo blueberry * =


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

Target: kiwi stork = * buffalo eagle peach


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

Target: shark rat + blackberry eagle =


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

Target: = lion eagle + eagle


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

Target: = blueberry stork stork = strawberry *


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

Target: * whale stork shark * = whale stork


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

Target: penguin cobra + * = lion buffalo


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

Target: blueberry + * seal lion


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

Target: - strawberry - zebra penguin


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

Target: - * cobra cobra buffalo zebra -


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

Target: blueberry lion cobra rat + - =


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

Target: banana cobra - banana cobra banana cobra +


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

Target: * seal horse rat = seal horse


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

Target: watermelon * seal +


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

Target: whale strawberry - shark * whale strawberry


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

Target: + pear lion stork blueberry stork kiwi -


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

Target: blackberry penguin - = penguin


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

Target: - watermelon rat + +


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

Target: + buffalo kiwi banana * buffalo


Source: Rules: Y X Z * * | Substitutions: X by " zebra " , Y by " seal eagle " , Z by " watermelon buffalo "

Target: seal eagle zebra watermelon buffalo * *


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

Target: - - stork stork stork penguin


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

Target: lion grape - whale apple - -


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

Target: * = = lion lion


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

Target: zebra pear = = zebra pear


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

Target: * buffalo - * grape


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

Target: + lion lion + * rat


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

Target: - blueberry stork - blueberry stork cobra strawberry -


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

Target: * + banana * kiwi


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

Target: = kiwi zebra watermelon kiwi - horse


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

Target: * eagle + + blueberry


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

Target: + stork buffalo horse horse * +


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

Target: = lion - blackberry cobra


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

Target: - - cobra buffalo


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

Target: * = banana banana banana


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

Target: penguin stork pear + penguin + +


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

Target: lion cobra + + - lion cobra peach


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

Target: = cobra * eagle buffalo +


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

Target: + + zebra banana apple = zebra


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

Target: - seal penguin = seal penguin shark =


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

Target: + - strawberry horse strawberry horse


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

Target: - = pear kiwi zebra kiwi + zebra kiwi


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

Target: - stork whale penguin + stork whale -


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

Target: pear eagle + apple =


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

Target: pear kiwi pear kiwi = horse =


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

Target: * + + blackberry grape apple grape apple


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

Target: + stork rat kiwi * kiwi *


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

Target: + penguin penguin shark * blueberry lion


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

Target: * apple + - apple seal


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

Target: - - pear shark lion stork -


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

Target: - buffalo * + apple zebra


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

Target: blueberry blueberry - seal buffalo *


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

Target: = watermelon watermelon - eagle


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

Target: blackberry * + = horse blackberry


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

Target: + + lion grape grape


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

Target: * peach lion peach lion = cobra rat


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

Target: buffalo + + peach


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

Target: zebra peach * kiwi + zebra peach


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

Target: seal - - blueberry eagle watermelon -


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

Target: buffalo = banana * -


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

Target: + = buffalo watermelon pear


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

Target: + stork - blackberry pear =


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

Target: + penguin apple penguin apple * +


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

Target: peach blackberry - + = horse peach


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

Target: strawberry kiwi pear * * strawberry +


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

Target: - horse banana horse banana * =


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

Target: = - = banana penguin


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

Target: + apple + apple *


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

Target: zebra rat - rat -


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

Target: = horse horse horse -


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

Target: blackberry shark + = +


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

Target: pear * * shark lion


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

Target: + penguin apple * penguin =


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

Target: - buffalo grape stork =


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

Target: kiwi grape * cobra peach kiwi grape - -


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

Target: penguin kiwi - * penguin kiwi stork *


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

Target: lion * + buffalo peach


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

Target: + rat blackberry rat blackberry - rat blackberry


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

Target: - blackberry shark zebra * blackberry


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

Target: - strawberry eagle * pear = strawberry eagle


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

Target: + watermelon = buffalo =


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

Target: blackberry strawberry shark - - *


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

Target: apple + rat eagle *


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

Target: strawberry + buffalo buffalo + *


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

Target: + + eagle rat + zebra horse


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

Target: shark shark = shark shark * -


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

Target: - banana watermelon + peach


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

Target: = * lion whale shark eagle seal zebra


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

Target: pear horse = pear horse =


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

Target: eagle - blueberry lion blueberry lion +


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

Target: - * peach horse buffalo *


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

Target: * watermelon kiwi - - watermelon kiwi


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

Target: horse cobra horse - *


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

Target: strawberry - = - watermelon


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

Target: eagle - - whale penguin eagle =


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

Target: = kiwi - - whale


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

Target: - whale horse - whale horse grape =


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

Target: + peach buffalo buffalo =


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

Target: apple peach + kiwi seal *


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

Target: rat - rat - *


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

Target: blueberry seal * blueberry seal pear =


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

Target: - * shark whale shark whale peach penguin


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

Target: * blackberry peach - grape -


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

Target: + = rat eagle eagle


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

Target: banana apple = = banana +


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

Target: horse horse - - *


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

Target: penguin + penguin * -


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

Target: * = stork seal stork seal stork seal


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

Target: apple - apple =


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

Target: = watermelon + - blackberry stork


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

Target: + pear banana = pear banana


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

Target: pear blueberry blueberry * blackberry horse + *


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

Target: + * apple eagle


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

Target: eagle * rat rat + *


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

Target: grape whale + * = kiwi blueberry


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

Target: horse stork + - stork +


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

Target: - - stork penguin


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

Target: = eagle rat apple - apple =


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

Target: stork whale + strawberry = + strawberry


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

Target: kiwi = kiwi kiwi +


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

Target: horse eagle cobra = * * eagle cobra


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

Target: cobra penguin = cobra penguin +


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

Target: whale peach = = blueberry


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

Target: = grape = rat pear


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

Target: * grape cobra - blackberry eagle blackberry eagle


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

Target: + blueberry watermelon blueberry *


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

Target: - stork buffalo stork buffalo =


Source: Rules: - Z X Y - | Substitutions: X by " watermelon shark " , Y by " blackberry " , Z by " blueberry peach "

Target: - blueberry peach watermelon shark blackberry -


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

Target: blackberry penguin eagle whale + +


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

Target: - blackberry cobra = cobra


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

Target: + = blueberry * rat


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

Target: * * strawberry rat strawberry rat


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

Target: + + * strawberry blackberry strawberry


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

Target: + pear pear horse = seal


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

Target: * buffalo kiwi * pear peach zebra =


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

Target: + = stork strawberry blackberry stork strawberry =


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

Target: horse peach horse peach = - strawberry *


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

Target: - buffalo stork + = buffalo stork


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

Target: * banana - + stork strawberry stork strawberry


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

Target: * = kiwi seal * cobra lion banana


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

Target: kiwi buffalo = = - penguin rat shark


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

Target: eagle - eagle + grape =


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

Target: * cobra blackberry rat *


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

Target: banana = + + apple seal buffalo


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

Target: * - strawberry shark * seal stork


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

Target: + + rat seal kiwi blueberry


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

Target: + penguin penguin - penguin *


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

Target: penguin pear * =


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

Target: * buffalo eagle + strawberry


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

Target: - = apple buffalo * peach peach


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

Target: - blackberry - blackberry - blackberry


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

Target: strawberry peach * strawberry peach seal - =


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

Target: banana * banana = -


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

Target: apple horse * = apple horse kiwi cobra


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

Target: watermelon = whale watermelon - =


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

Target: - - rat banana horse buffalo


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

Target: + apple watermelon * + blackberry


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

Target: * pear blackberry grape =


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

Target: rat - strawberry *


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

Target: strawberry strawberry = strawberry + *


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

Target: stork whale strawberry + * lion +


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

Target: + watermelon kiwi watermelon kiwi + watermelon kiwi


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

Target: zebra peach - + - zebra


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

Target: buffalo eagle + - + buffalo eagle


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

Target: penguin = shark shark lion *


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

Target: + banana strawberry stork = * banana strawberry


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

Target: whale * penguin *


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

Target: = grape zebra buffalo watermelon + - grape zebra


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

Target: - * strawberry banana strawberry banana


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

Target: stork strawberry stork + +


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

Target: watermelon penguin watermelon penguin cobra + * -


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

Target: seal strawberry watermelon banana - lion watermelon *


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

Target: * zebra kiwi rat horse - -


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

Target: shark shark + * grape


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

Target: blueberry = - blueberry


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

Target: eagle * * zebra peach


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

Target: seal seal shark - - -


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

Target: kiwi * + blackberry lion


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

Target: - + apple - apple whale


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

Target: whale + - horse


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

Target: + watermelon * - watermelon


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

Target: stork stork + + stork


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

Target: zebra = pear whale - =


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

Target: = blackberry + blackberry eagle apple


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

Target: zebra lion zebra lion = * blackberry pear


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

Target: horse + + horse -


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

Target: - banana horse grape = peach strawberry +


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

Target: strawberry shark buffalo - - buffalo


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

Target: cobra peach cobra peach zebra = = =


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

Target: + whale + = seal kiwi


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

Target: kiwi penguin penguin * +


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

Target: kiwi rat = zebra rat + - kiwi rat


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

Target: - banana lion strawberry shark =


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

Target: + zebra * + zebra


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

Target: - horse buffalo = watermelon


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

Target: eagle penguin = apple penguin +


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

Target: = zebra stork zebra stork = * whale penguin


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

Target: = apple banana = - apple banana


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

Target: * seal rat cobra - +


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

Target: watermelon rat = eagle watermelon rat -


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

Target: - apple stork + banana + horse blueberry


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

Target: = lion buffalo = -


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

Target: strawberry = strawberry -


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

Target: shark = watermelon seal blueberry +


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

Target: + banana * banana =


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

Target: whale whale - * + penguin shark


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

Target: blackberry grape blueberry + blueberry *


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

Target: - blueberry grape blueberry grape blueberry -


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

Target: eagle horse + - * pear apple pear apple


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

Target: * grape grape apple kiwi -


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

Target: lion - = - lion


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

Target: = shark pear + blackberry apple


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

Target: penguin whale * buffalo blueberry =


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

Target: - zebra grape eagle penguin eagle penguin +


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

Target: - + penguin penguin penguin


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

Target: whale * strawberry eagle blackberry +


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

Target: * blackberry = whale =


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

Target: + lion - shark cobra zebra cobra


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

Target: cobra whale - cobra whale +


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

Target: * + shark horse * shark horse penguin peach


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

Target: blackberry zebra + blackberry zebra =


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

Target: - = blackberry blackberry


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

Target: - - kiwi = whale whale kiwi


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

Target: = - shark penguin penguin


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

Target: pear + whale + pear


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

Target: apple strawberry watermelon - - =


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

Target: + seal = + banana grape


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

Target: * apple seal =


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

Target: blueberry shark = = zebra banana = blueberry shark


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

Target: * pear pear = * horse banana


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

Target: - * strawberry seal


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

Target: shark + - banana stork


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

Target: blackberry - - = blackberry


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

Target: - * + eagle eagle eagle


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

Target: strawberry + strawberry kiwi -


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

Target: = = + zebra zebra


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

Target: * blackberry blueberry lion - +


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

Target: shark stork * * shark stork


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

Target: horse horse rat - *


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

Target: - * + zebra stork stork


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

Target: + * blueberry blueberry


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

Target: shark watermelon pear + *


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

Target: penguin * penguin - =


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

Target: = - stork cobra cobra


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

Target: buffalo - buffalo * =


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

Target: - kiwi + stork blueberry + watermelon pear


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

Target: = = whale rat strawberry watermelon


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

Target: cobra shark - + blueberry


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

Target: * peach blackberry pear = peach blackberry


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

Target: shark stork + * buffalo blackberry buffalo eagle


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

Target: seal grape - buffalo banana = seal grape *


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

Target: pear blackberry = - pear


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

Target: zebra banana * zebra + =


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

Target: + blackberry blackberry + -


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

Target: = * grape = pear


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

Target: + - shark penguin banana


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

Target: - shark - kiwi


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

Target: zebra * lion seal *


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

Target: - * kiwi watermelon - kiwi watermelon


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

Target: - zebra banana cobra lion - *


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

Target: + blackberry blackberry penguin + -


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

Target: stork - * stork


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

Target: * cobra eagle * eagle strawberry


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

Target: shark - * shark +


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

Target: apple pear shark - =


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

Target: = banana - buffalo blueberry watermelon horse -


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

Target: * watermelon grape peach stork =


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

Target: pear rat pear rat - = *


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

Target: shark - * whale apple


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

Target: * cobra watermelon = penguin blackberry


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

Target: + watermelon - watermelon


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

Target: = stork cobra * watermelon - watermelon


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

Target: + kiwi buffalo + kiwi buffalo


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

Target: pear rat + pear rat + =


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

Target: seal + strawberry strawberry -


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

Target: + - banana banana banana =


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

Target: stork pear strawberry = stork + +


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

Target: rat watermelon penguin = rat watermelon *


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

Target: watermelon blackberry * * watermelon blackberry watermelon blackberry


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

Target: = * seal - seal seal


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

Target: * blackberry rat kiwi blackberry rat *


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

Target: seal grape * horse blackberry * +


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

Target: - kiwi lion + kiwi seal


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

Target: + banana cobra banana cobra + banana apple +


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

Target: blueberry shark = + rat apple rat


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

Target: * blueberry - whale whale =


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

Target: = banana blueberry - seal zebra banana blueberry =


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

Target: pear banana shark = + *


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

Target: peach cobra + = * zebra


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

Target: + zebra cobra zebra cobra = +


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

Target: whale * cobra cobra *


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

Target: penguin pear kiwi * *


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

Target: buffalo horse buffalo + = =


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

Target: + pear lion apple apple +


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

Target: + grape shark cobra kiwi = +


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

Target: * zebra zebra = zebra


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

Target: whale + + + blueberry blackberry


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

Target: * - banana banana *


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

Target: + = peach cobra cobra strawberry +


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

Target: pear * kiwi zebra = =


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

Target: * watermelon = cobra cobra


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

Target: - zebra zebra = banana banana


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

Target: rat apple + zebra blueberry -


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

Target: banana banana = *


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

Target: - whale blueberry whale blueberry *


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

Target: * banana cobra * - stork seal


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

Target: shark whale strawberry shark + apple lion =


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

Target: = whale - - stork grape stork grape


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

Target: buffalo buffalo buffalo buffalo - * -


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

Target: blackberry + blackberry = =


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

Target: seal pear - * buffalo *


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

Target: + - horse * horse kiwi


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

Target: lion + lion strawberry blueberry -


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

Target: grape grape strawberry kiwi * - peach blackberry


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

Target: - buffalo buffalo = buffalo buffalo blueberry


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

Target: banana kiwi eagle + -


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

Target: peach grape watermelon * =


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

Target: = = whale * whale


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

Target: blueberry cobra = * strawberry horse -


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

Target: rat eagle = * seal blueberry +


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

Target: whale rat stork strawberry = = whale rat


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

Target: + strawberry horse apple = = strawberry horse


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

Target: * zebra zebra zebra zebra - + pear watermelon


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

Target: peach apple = * + peach apple


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

Target: - * zebra stork + buffalo


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

Target: lion watermelon + = + horse lion watermelon


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

Target: shark shark kiwi * * *


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

Target: * + kiwi strawberry grape kiwi + kiwi strawberry


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

Target: + zebra eagle eagle =


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

Target: + blueberry banana banana blackberry * +


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

Target: - eagle * eagle


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

Target: + - kiwi + kiwi


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

Target: cobra + - kiwi peach + seal cobra


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

Target: stork banana = =


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

Target: cobra * cobra +


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

Target: = - seal seal - apple


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

Target: + * banana - peach


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

Target: banana kiwi stork stork + =


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

Target: * * apple * peach peach


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

Target: = rat banana banana = banana banana


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

Target: * eagle pear lion - +


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

Target: shark seal - - shark seal


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

Target: apple shark seal * *


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

Target: * grape * kiwi grape -


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

Target: - shark buffalo = banana =


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

Target: rat - + seal pear =


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

Target: shark shark apple + -


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

Target: rat lion = =


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

Target: shark seal * whale - =


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

Target: blackberry lion - blackberry lion seal +


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

Target: - horse horse * penguin -


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

Target: + - kiwi kiwi buffalo zebra *


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

Target: * strawberry grape + strawberry grape -


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

Target: banana - banana watermelon pear =


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

Target: * strawberry pear strawberry pear blueberry - -


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

Target: = = zebra kiwi zebra kiwi


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

Target: banana = = seal seal


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

Target: + stork lion - grape stork lion


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

Target: + pear whale blackberry strawberry lion -


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

Target: + + seal - penguin


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

Target: = blueberry watermelon cobra -


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

Target: - + - seal buffalo seal


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

Target: banana grape banana grape peach banana * - =


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

Target: = * zebra zebra +


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

Target: penguin penguin blackberry buffalo - = blackberry buffalo =


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

Target: = = + whale whale


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

Target: whale * whale * cobra blueberry


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

Target: watermelon apple * * watermelon


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

Target: shark rat blackberry = - rat blackberry -


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

Target: = eagle rat = blueberry rat watermelon cobra


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

Target: grape = peach shark +


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

Target: cobra apple = + * cobra apple


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

Target: * grape * horse


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

Target: stork zebra + whale stork *


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

Target: horse kiwi grape shark grape shark * *


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

Target: * = whale whale -


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

Target: cobra penguin = = banana watermelon =


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

Target: kiwi + - shark shark +


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

Target: - blackberry whale stork grape +


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

Target: * strawberry watermelon stork =


Source: Rules: X X = - Y | Substitutions: X by " rat " , Y by " banana "

Target: rat rat = - banana


Source: Rules: - Y Y + | Substitutions: Y by " seal pear "

Target: - seal pear seal pear +


Source: Rules: * = X Z Y + | Substitutions: X by " strawberry cobra " , Y by " grape " , Z by " apple "

Target: * = strawberry cobra apple grape +


Source: Rules: = = Y X Y = | Substitutions: X by " strawberry apple " , Y by " seal pear "

Target: = = seal pear strawberry apple seal pear =


Source: Rules: - * X Z X | Substitutions: X by " watermelon seal " , Z by " banana buffalo "

Target: - * watermelon seal banana buffalo watermelon seal


Source: Rules: - - X Y | Substitutions: X by " eagle buffalo " , Y by " blueberry watermelon "

Target: - - eagle buffalo blueberry watermelon


Source: Rules: X * = = X | Substitutions: X by " peach "

Target: peach * = = peach


Source: Rules: - - X = Y Y | Substitutions: X by " grape lion " , Y by " zebra "

Target: - - grape lion = zebra zebra


Source: Rules: X - Z * Z | Substitutions: X by " eagle " , Z by " buffalo "

Target: eagle - buffalo * buffalo


Source: Rules: X * * Z | Substitutions: X by " penguin " , Z by " blueberry stork "

Target: penguin * * blueberry stork


Source: Rules: Z = X * * | Substitutions: X by " penguin " , Z by " strawberry blueberry "

Target: strawberry blueberry = penguin * *