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

Target: = shark blackberry - blackberry +


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

Target: + + watermelon whale watermelon zebra seal


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

Target: strawberry kiwi * strawberry kiwi cobra cobra + -


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

Target: horse * horse = horse =


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

Target: peach * = buffalo -


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

Target: * apple rat blueberry - +


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

Target: - strawberry + apple =


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

Target: seal blueberry whale whale + +


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

Target: * stork * blueberry blueberry


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

Target: * seal - + apple


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

Target: = whale stork apple - =


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

Target: = lion seal whale = penguin penguin -


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

Target: = blackberry zebra - blackberry zebra - blackberry zebra


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

Target: seal blackberry = shark = shark


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

Target: seal - eagle cobra + - eagle cobra


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

Target: = + blueberry zebra = kiwi stork


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

Target: - lion horse blackberry *


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

Target: peach stork - peach whale = blueberry


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

Target: eagle lion seal cobra eagle lion * -


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

Target: horse kiwi * kiwi stork = horse kiwi


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

Target: pear pear - grape *


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

Target: eagle + eagle *


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

Target: shark blueberry * -


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

Target: watermelon = strawberry watermelon - =


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

Target: strawberry = + - shark


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

Target: lion blackberry kiwi + *


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

Target: grape peach * grape =


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

Target: apple + blackberry -


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

Target: = blackberry blackberry - lion


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

Target: watermelon strawberry lion + *


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

Target: - apple pear stork stork apple rat - =


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

Target: kiwi = = blueberry


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

Target: - horse grape kiwi *


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

Target: * zebra * zebra rat


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

Target: = = = cobra eagle pear grape


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

Target: eagle + shark - eagle +


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

Target: watermelon watermelon lion - - watermelon watermelon


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

Target: watermelon strawberry = = watermelon strawberry


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

Target: = = watermelon rat watermelon rat whale lion


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

Target: + + blueberry rat grape buffalo =


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

Target: buffalo watermelon = + = stork


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

Target: - = grape penguin


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

Target: = zebra blackberry peach - stork eagle


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

Target: blackberry banana horse = = eagle


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

Target: eagle eagle eagle * -


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

Target: = eagle eagle - zebra


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

Target: horse strawberry = zebra +


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

Target: - whale stork - blackberry pear


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

Target: - watermelon kiwi + *


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

Target: cobra eagle - - cobra eagle =


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

Target: = peach blackberry lion peach - *


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

Target: cobra strawberry + penguin =


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

Target: peach * * stork


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

Target: * watermelon * * watermelon


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

Target: shark zebra shark zebra * * penguin lion =


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

Target: - cobra banana strawberry *


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

Target: penguin - - - penguin banana


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

Target: - - horse apple blackberry *


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

Target: + - + blackberry blackberry


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

Target: watermelon cobra * banana banana * +


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

Target: watermelon buffalo - strawberry =


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

Target: pear strawberry = = strawberry


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

Target: + blueberry cobra = - kiwi strawberry blueberry cobra


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

Target: - grape cobra grape cobra = * grape cobra


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

Target: rat watermelon * rat watermelon = lion kiwi


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

Target: rat peach kiwi seal - * *


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

Target: apple peach shark strawberry - apple peach *


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

Target: * whale = * whale


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

Target: = cobra horse penguin penguin - penguin penguin


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

Target: = penguin eagle seal * - eagle seal


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

Target: * apple apple + *


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

Target: + cobra apple - * apple


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

Target: strawberry shark = + horse kiwi kiwi


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

Target: whale kiwi + = kiwi =


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

Target: rat grape rat grape - = apple


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

Target: grape kiwi grape kiwi = - seal


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

Target: - = buffalo buffalo


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

Target: = + seal pear + blueberry shark


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

Target: * * watermelon peach eagle -


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

Target: apple + + * kiwi


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

Target: - buffalo horse - buffalo horse


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

Target: stork = peach peach =


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

Target: * penguin penguin zebra blueberry +


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

Target: * = pear blackberry pear seal - pear seal


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

Target: + kiwi whale = kiwi whale


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

Target: blackberry buffalo blackberry buffalo cobra * =


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

Target: * penguin banana eagle * banana eagle


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

Target: = buffalo + shark grape


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

Target: - horse horse -


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

Target: * - shark blackberry =


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

Target: horse rat buffalo strawberry - = +


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

Target: watermelon peach * * = watermelon peach


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

Target: zebra seal - zebra seal + + rat


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

Target: zebra apple - + pear


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

Target: - grape blueberry strawberry +


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

Target: blueberry banana - = - seal stork


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

Target: + watermelon horse * cobra cobra


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

Target: banana horse banana + =


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

Target: - = whale whale whale


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

Target: pear - + apple peach


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

Target: watermelon zebra - banana watermelon +


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

Target: * lion lion horse + +


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

Target: apple seal * = apple seal +


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

Target: blackberry = - penguin blueberry penguin blueberry


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

Target: * * - penguin horse penguin horse


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

Target: strawberry rat buffalo eagle + buffalo eagle *


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

Target: - buffalo watermelon blueberry - zebra


Source: Rules: Z Y + X + | Substitutions: X by " zebra horse " , Y by " apple grape " , Z by " strawberry pear "

Target: strawberry pear apple grape + zebra horse +


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

Target: grape + rat strawberry * grape


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

Target: = banana - - watermelon rat


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

Target: = = penguin eagle * blackberry blackberry


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

Target: - penguin zebra penguin zebra * =


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

Target: pear stork rat stork - *


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

Target: blueberry seal = = horse +


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

Target: * whale apple whale apple * *


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

Target: - blueberry blueberry horse =


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

Target: eagle * peach peach = peach peach *


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

Target: = rat rat -


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

Target: = * - pear zebra pear zebra


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

Target: + banana blueberry -


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

Target: - shark lion peach -


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

Target: * cobra shark + =


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

Target: zebra blueberry = - * seal whale


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

Target: watermelon pear shark shark shark shark - = +


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

Target: * blueberry eagle - +


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

Target: + pear watermelon pear watermelon - +


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

Target: stork kiwi kiwi = -


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

Target: apple eagle + +


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

Target: shark shark * * * pear


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

Target: - seal shark + banana zebra *


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

Target: + stork watermelon - apple lion


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

Target: * watermelon blueberry watermelon blueberry +


Source: Rules: Y * Y = + | Substitutions: Y by " horse seal "

Target: horse seal * horse seal = +


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

Target: + = pear kiwi seal stork whale zebra


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

Target: = + horse rat peach rat peach


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

Target: = eagle = - kiwi eagle


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

Target: zebra horse lion - zebra horse *


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

Target: penguin * = - penguin


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

Target: = - banana banana banana banana


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

Target: * + pear horse - pear horse


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

Target: * = pear seal pear pear


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

Target: + - eagle shark rat banana


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

Target: * eagle buffalo = horse whale


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

Target: horse - rat + horse


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

Target: + peach = kiwi penguin


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

Target: - peach stork * = horse


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

Target: + pear * pear *


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

Target: = * seal + eagle seal


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

Target: = apple pear apple pear penguin * =


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

Target: eagle cobra eagle cobra = strawberry lion +


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

Target: rat * * blackberry apple rat


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

Target: = penguin pear buffalo *


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

Target: blackberry * buffalo + buffalo


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

Target: blackberry blackberry - banana cobra -


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

Target: kiwi whale kiwi whale * horse +


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

Target: grape banana grape banana + blackberry -


Source: Rules: * Z * X | Substitutions: X by " zebra strawberry " , Z by " whale watermelon "

Target: * whale watermelon * zebra strawberry


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

Target: - buffalo watermelon = = banana watermelon


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

Target: banana * penguin eagle -


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

Target: * + strawberry = horse


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

Target: seal - seal =


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

Target: zebra zebra rat * =


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

Target: banana + = pear *


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

Target: - pear lion blueberry rat +


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

Target: kiwi kiwi - + -


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

Target: watermelon grape - buffalo pear watermelon grape - +


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

Target: - = buffalo whale cobra


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

Target: * stork - eagle lion


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

Target: seal = + = stork shark seal


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

Target: = shark - = pear


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

Target: buffalo pear grape buffalo * +


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

Target: - - strawberry whale =


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

Target: - horse horse strawberry horse horse =


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

Target: watermelon apple + - watermelon


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

Target: = seal eagle kiwi - rat


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

Target: whale = stork buffalo -


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

Target: * = peach horse kiwi - blackberry


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

Target: + horse stork whale = *


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

Target: buffalo banana buffalo banana * + +


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

Target: * stork apple pear cobra -


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

Target: = - apple buffalo apple buffalo *


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

Target: apple banana - * + whale blueberry buffalo


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

Target: * stork strawberry apple * =


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

Target: penguin zebra * - eagle


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

Target: - - penguin cobra * penguin cobra buffalo horse


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

Target: peach whale peach whale peach whale = -


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

Target: + - horse + rat stork


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

Target: = shark banana - + shark banana


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

Target: cobra + - - cobra


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

Target: seal banana + = banana =


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

Target: * * whale watermelon penguin *


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

Target: peach peach * - =


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

Target: grape * strawberry cobra -


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

Target: = - horse shark seal


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

Target: = shark pear zebra *


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

Target: pear = + cobra


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

Target: = blackberry seal cobra = grape +


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

Target: * blackberry - * cobra blackberry


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

Target: * * + pear blackberry pear blackberry


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

Target: * eagle = apple banana


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

Target: pear strawberry = buffalo zebra *


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

Target: peach pear = rat -


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

Target: blueberry strawberry * blueberry strawberry = strawberry watermelon


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

Target: blackberry watermelon = = blackberry watermelon


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

Target: stork cobra blackberry peach - -


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

Target: shark shark shark = + *


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

Target: * rat peach rat watermelon pear =


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

Target: grape * - whale


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

Target: zebra zebra + seal horse - buffalo


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

Target: apple penguin - = blackberry apple


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

Target: watermelon penguin watermelon penguin * + watermelon penguin


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

Target: kiwi lion - cobra +


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

Target: lion grape buffalo + + buffalo zebra


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

Target: zebra buffalo - * horse lion


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

Target: zebra lion cobra zebra = - =


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

Target: peach eagle blueberry rat - + peach eagle


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

Target: kiwi penguin + kiwi penguin -


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

Target: blueberry watermelon * = rat -


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

Target: - * cobra cobra


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

Target: shark eagle + blueberry seal * shark eagle =


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

Target: + whale * whale = whale


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

Target: - cobra rat * cobra rat grape +


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

Target: rat + * - watermelon rat


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

Target: - apple penguin = + kiwi


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

Target: seal grape * banana buffalo * banana buffalo +


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

Target: stork = - stork


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

Target: blueberry * blueberry - *


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

Target: blueberry peach = blueberry peach =


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

Target: rat strawberry + = = peach blackberry


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

Target: + zebra watermelon peach peach - +


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

Target: + cobra watermelon * + cobra watermelon


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

Target: * horse pear rat peach - +


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

Target: + - seal eagle = cobra


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

Target: + - seal seal


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

Target: penguin seal banana watermelon = * *


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

Target: horse eagle - - horse eagle =


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

Target: = grape eagle grape -


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

Target: * seal + - stork cobra lion


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

Target: lion blackberry * = + zebra


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

Target: zebra whale * zebra whale + -


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

Target: watermelon blueberry + * - whale banana


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

Target: = banana seal = grape lion


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

Target: eagle - = eagle


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

Target: buffalo zebra + * buffalo watermelon


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

Target: lion eagle banana kiwi * - +


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

Target: pear banana + - grape banana + grape banana


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

Target: - cobra eagle - grape blackberry lion


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

Target: * kiwi grape + *


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

Target: whale kiwi rat rat - * +


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

Target: apple whale * strawberry =


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

Target: whale eagle grape - +


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

Target: whale eagle * + watermelon


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

Target: = banana seal watermelon buffalo blackberry * +


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

Target: seal seal - seal - +


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

Target: + * + horse grape buffalo rat horse grape


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

Target: lion - = peach


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

Target: = = seal lion kiwi +


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

Target: peach + = = peach


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

Target: pear eagle = banana cobra *


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

Target: * kiwi seal lion kiwi +


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

Target: blueberry + blueberry -


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

Target: blueberry penguin rat pear * =


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

Target: * * blueberry blueberry


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

Target: - penguin * zebra apple


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

Target: grape seal + - seal -


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

Target: buffalo banana stork + = = stork


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

Target: blueberry * = = pear blueberry


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

Target: whale strawberry * grape peach penguin * *


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

Target: whale penguin = * eagle cobra


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

Target: = peach penguin watermelon -


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

Target: stork pear + = seal stork


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

Target: - shark shark + horse rat =


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

Target: banana kiwi * + = banana kiwi banana cobra


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

Target: = stork whale * cobra


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

Target: rat - - rat banana blackberry


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

Target: banana - * eagle


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

Target: + blueberry buffalo shark watermelon -


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

Target: horse = zebra grape horse =


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

Target: pear eagle pear seal - - pear eagle *


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

Target: rat blackberry = - rat blackberry rat whale


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

Target: peach grape + peach grape *


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

Target: shark peach watermelon + +


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

Target: grape banana = - kiwi strawberry


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

Target: - = lion penguin penguin


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

Target: + + stork grape apple rat penguin


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

Target: blackberry apple * - kiwi lion


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

Target: apple watermelon apple watermelon * + - eagle cobra


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

Target: banana lion = * rat


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

Target: blackberry buffalo = - blackberry buffalo + apple


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

Target: stork stork - stork -


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

Target: * horse eagle strawberry eagle strawberry - -


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

Target: buffalo cobra + - buffalo cobra


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

Target: * cobra watermelon buffalo banana - -


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

Target: = shark buffalo - * watermelon pear shark buffalo


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

Target: grape zebra - + eagle kiwi = grape zebra


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

Target: pear = * pear


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

Target: * = rat - peach shark peach shark


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

Target: = pear apple + blackberry horse -


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

Target: eagle pear = * + whale peach


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

Target: stork strawberry penguin whale + + + stork strawberry


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

Target: * horse buffalo eagle horse +


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

Target: cobra seal horse = * horse =


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

Target: peach + peach peach -


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

Target: * + whale blueberry whale blueberry


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

Target: = penguin grape + penguin grape


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

Target: eagle horse = watermelon seal watermelon seal = +


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

Target: = + strawberry watermelon watermelon whale buffalo


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

Target: = banana strawberry = banana strawberry *


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

Target: + pear stork peach =


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

Target: shark pear = kiwi watermelon - +


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

Target: blackberry * blackberry blackberry * +


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

Target: pear - whale horse =


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

Target: * pear apple lion cobra - -


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

Target: shark cobra whale = -


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

Target: = penguin zebra horse - -


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

Target: shark banana buffalo + buffalo =


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

Target: * lion horse peach blueberry =


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

Target: = penguin kiwi - penguin kiwi buffalo =


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

Target: kiwi blackberry kiwi blackberry = buffalo grape +


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

Target: zebra shark - zebra horse * whale pear


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

Target: seal - seal lion watermelon =


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

Target: whale horse * pear pear = -


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

Target: - - zebra buffalo penguin *


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

Target: seal shark = + zebra *


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

Target: eagle blueberry eagle blueberry apple watermelon * - -


Source: Rules: X Y = Z = | Substitutions: X by " cobra " , Y by " eagle strawberry " , Z by " stork pear "

Target: cobra eagle strawberry = stork pear =


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

Target: penguin stork - * stork =


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

Target: penguin rat + blueberry whale = penguin rat *


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

Target: blueberry peach - = horse lion


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

Target: - = * stork lion


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

Target: apple blackberry banana lion = apple blackberry +


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

Target: + pear watermelon - * rat


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

Target: + * eagle + buffalo buffalo


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

Target: * lion horse whale - peach -


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

Target: banana blackberry - lion buffalo eagle *


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

Target: + banana stork seal *


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

Target: - grape apple = apple


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

Target: horse - horse * = horse


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

Target: * penguin pear = - penguin pear


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

Target: = blueberry blueberry penguin blackberry *


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

Target: whale eagle whale eagle whale eagle + *


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

Target: horse cobra * * peach *


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

Target: kiwi = + * buffalo zebra horse strawberry


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

Target: - cobra blackberry = zebra peach = zebra peach


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

Target: cobra banana + - peach watermelon


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

Target: - kiwi shark horse blackberry =


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

Target: eagle eagle - * eagle


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

Target: * horse horse banana eagle +


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

Target: * apple apple *


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

Target: peach shark + blackberry *


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

Target: * cobra buffalo pear - cobra buffalo *


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

Target: * - penguin rat =


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

Target: seal apple - - penguin peach seal apple


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

Target: pear blackberry pear + - -


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

Target: watermelon penguin + horse lion = horse lion =


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

Target: - apple banana watermelon peach +


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

Target: = = + pear pear


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

Target: pear * grape buffalo + -


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

Target: * banana watermelon =


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

Target: * = watermelon buffalo eagle


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

Target: watermelon whale watermelon * -


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

Target: kiwi buffalo penguin horse + +


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

Target: * rat whale stork -


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

Target: * cobra * cobra - cobra


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

Target: buffalo + - + buffalo blueberry kiwi


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

Target: cobra rat cobra rat * apple * +


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

Target: peach horse + = -


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

Target: - stork - buffalo -


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

Target: buffalo * = strawberry penguin buffalo


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

Target: eagle watermelon - * buffalo banana


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

Target: eagle - = - shark shark


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

Target: = * watermelon blueberry shark buffalo -


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

Target: = = peach seal peach seal


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

Target: * + rat banana eagle -


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

Target: stork shark zebra shark zebra + + *


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

Target: stork + - = banana


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

Target: + horse * apple strawberry buffalo


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

Target: * + whale stork = whale


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

Target: buffalo banana buffalo banana * shark * *


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

Target: - grape grape grape * *


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

Target: * apple blackberry = apple blackberry apple blackberry


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

Target: stork pear + stork pear eagle cobra -


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

Target: - pear - pear


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

Target: - stork horse blackberry kiwi blackberry kiwi -


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

Target: * - strawberry cobra strawberry cobra


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

Target: = shark blueberry = penguin shark blueberry


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

Target: stork rat * stork rat * stork rat


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

Target: = horse watermelon shark horse - -


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

Target: grape apple * peach buffalo * +


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

Target: - horse kiwi * * seal


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

Target: whale stork strawberry banana + * strawberry banana


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

Target: * * + strawberry blackberry rat strawberry


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

Target: = eagle eagle eagle - =


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

Target: = eagle horse * horse stork


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

Target: - peach whale + cobra horse shark *


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

Target: = lion peach blueberry = *


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

Target: - - lion lion shark banana *


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

Target: - grape grape + cobra shark


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

Target: blackberry lion - + blackberry lion +


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

Target: = = blueberry penguin seal peach seal peach


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

Target: stork rat + - * banana rat shark horse


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

Target: cobra = * cobra cobra +


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

Target: pear pear lion whale - -


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

Target: whale eagle blueberry blueberry = +


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

Target: lion pear horse + =


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

Target: = watermelon stork strawberry blueberry =


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

Target: = penguin banana whale = - banana whale


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

Target: buffalo buffalo + = + buffalo buffalo


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

Target: apple kiwi shark apple = = +


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

Target: - * blueberry kiwi blueberry kiwi blueberry kiwi =


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

Target: + watermelon pear -


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

Target: buffalo kiwi lion - - shark +


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

Target: seal penguin pear - + stork +


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

Target: - blueberry watermelon = blueberry watermelon blueberry watermelon +


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

Target: seal seal - seal =


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

Target: kiwi rat - - zebra =


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

Target: + * lion peach apple +


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

Target: - + lion + shark banana lion


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

Target: - shark banana - apple blueberry -


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

Target: * peach lion zebra + peach lion


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

Target: + horse + blueberry strawberry


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

Target: = stork lion horse =


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

Target: apple banana whale * * -


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

Target: - whale * whale =


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

Target: watermelon watermelon buffalo = watermelon *


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

Target: kiwi buffalo * buffalo = kiwi buffalo


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

Target: * blackberry whale + blackberry whale


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

Target: banana rat - grape whale - * banana rat


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

Target: * + banana banana


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

Target: * seal = apple blueberry =


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

Target: - + zebra stork *


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

Target: apple blueberry pear stork apple blueberry = -


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

Target: - eagle apple * eagle - eagle


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

Target: = penguin seal + stork


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

Target: rat shark * whale whale -


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

Target: cobra stork whale peach cobra * =


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

Target: kiwi watermelon * peach blackberry + -


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

Target: + + + eagle eagle cobra


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

Target: * lion horse lion horse + seal watermelon +


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

Target: = - blackberry blueberry * horse blackberry blueberry apple


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

Target: = = = horse watermelon stork


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

Target: eagle eagle cobra * -


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

Target: buffalo pear * peach = lion


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

Target: watermelon = = + blueberry cobra


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

Target: pear = buffalo blackberry -


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

Target: rat - lion horse = =


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

Target: whale - whale -


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

Target: + apple shark seal eagle peach *


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

Target: shark horse - cobra pear =


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

Target: strawberry blackberry horse horse = -


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

Target: - blueberry blueberry - + banana whale


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

Target: = * + peach blueberry rat blueberry


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

Target: = * apple cobra


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

Target: banana banana = banana *


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

Target: whale + + whale kiwi


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

Target: * = kiwi cobra + kiwi cobra pear banana


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

Target: eagle whale strawberry shark eagle whale - =


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

Target: penguin shark + - apple penguin shark *


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

Target: apple grape grape = + =


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

Target: whale grape whale penguin * + =


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

Target: blueberry zebra * - = stork


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

Target: + penguin penguin penguin penguin + *


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

Target: * strawberry + blueberry


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

Target: grape - + lion


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

Target: + zebra penguin penguin penguin * +


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

Target: pear whale * + rat pear whale


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

Target: * * buffalo buffalo -


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

Target: + whale cobra watermelon - whale cobra


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

Target: + eagle strawberry * eagle strawberry * eagle strawberry


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

Target: penguin * - blackberry +


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

Target: seal seal = +


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

Target: penguin cobra kiwi + * + kiwi


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

Target: peach = * peach apple apple


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

Target: = = grape horse grape


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

Target: apple horse + apple horse * blackberry stork


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

Target: whale - = apple zebra *


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

Target: * buffalo grape - buffalo grape


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

Target: - horse buffalo =


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

Target: zebra blueberry banana = + = banana


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

Target: pear rat - - =


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

Target: shark - * shark =


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

Target: + grape seal = kiwi grape seal -


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

Target: blackberry = kiwi *


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

Target: lion rat lion rat lion rat + +


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

Target: blueberry kiwi * blueberry + * blueberry kiwi


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

Target: * - strawberry + lion


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

Target: + = * apple peach rat


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

Target: + buffalo penguin penguin * -


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

Target: = horse penguin horse penguin strawberry horse +


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

Target: pear rat * -


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

Target: peach kiwi pear banana * + * whale


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

Target: * stork peach + = stork peach


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

Target: blueberry strawberry * + banana *


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

Target: apple blackberry + blueberry seal =


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

Target: stork watermelon banana * - stork -


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

Target: * cobra cobra - =


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

Target: cobra * + * watermelon


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

Target: - - rat rat =


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

Target: * - peach pear peach *


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

Target: zebra zebra stork kiwi - - *


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

Target: pear - pear *


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

Target: stork kiwi + stork kiwi * stork kiwi


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

Target: * * horse buffalo = buffalo


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

Target: - buffalo zebra buffalo zebra + buffalo zebra


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

Target: penguin - penguin -


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

Target: - - seal horse =


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

Target: shark blueberry + = shark blueberry


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

Target: = grape lion - seal *


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

Target: - cobra penguin = seal seal +


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

Target: rat zebra eagle * eagle -


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

Target: + apple banana apple banana *


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

Target: banana shark + zebra blackberry + +


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

Target: banana whale + * eagle


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

Target: - cobra - eagle whale eagle +


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

Target: penguin horse seal penguin - penguin horse -


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

Target: seal - eagle * eagle +


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

Target: seal = - apple apple apple apple


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

Target: * penguin penguin = =


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

Target: = whale kiwi whale kiwi blackberry seal - *


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

Target: stork + banana kiwi - banana kiwi *


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

Target: blackberry blackberry - * peach


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

Target: peach = * = peach


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

Target: penguin - penguin +


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

Target: - apple pear pear - + whale


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

Target: apple - * apple +


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

Target: penguin blackberry - - penguin blackberry peach


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

Target: * watermelon cobra strawberry watermelon - -


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

Target: - apple = apple


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

Target: = pear strawberry blackberry * *


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

Target: apple buffalo grape whale = = grape whale


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

Target: grape eagle grape eagle stork apple = + *


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

Target: = peach kiwi * peach shark


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

Target: = penguin blueberry stork = -


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

Target: pear = eagle shark + -


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

Target: kiwi peach - kiwi peach strawberry zebra -


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

Target: * * horse grape lion penguin


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

Target: peach - * peach + peach


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

Target: + horse horse = horse +


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

Target: kiwi blackberry banana rat banana rat = =


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

Target: pear pear = whale * -


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

Target: grape kiwi = shark seal penguin -


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

Target: * apple lion kiwi grape * +


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

Target: grape horse * horse =


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

Target: - pear penguin * buffalo


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

Target: - banana banana *


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

Target: - shark * cobra blueberry blueberry whale


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

Target: + stork watermelon - cobra blueberry penguin


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

Target: stork = stork - =


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

Target: * cobra + cobra rat penguin


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

Target: rat shark banana horse watermelon = - =


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

Target: + eagle * eagle


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

Target: * + strawberry grape watermelon buffalo strawberry grape


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

Target: blueberry - lion shark * *


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

Target: seal + blackberry = = seal


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

Target: * peach peach +


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

Target: + seal * kiwi apple


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

Target: horse lion - * peach strawberry =


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

Target: seal seal * seal seal + +


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

Target: grape stork + buffalo blueberry - whale


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

Target: rat + * rat


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

Target: zebra rat + zebra rat -


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

Target: shark = shark + *


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

Target: * - blackberry seal blackberry seal *


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

Target: grape rat + grape rat =


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

Target: grape stork eagle - stork eagle -


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

Target: kiwi stork rat - rat - *


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

Target: = - watermelon * watermelon watermelon


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

Target: * + peach penguin watermelon buffalo +


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

Target: pear banana - blueberry -


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

Target: + + + shark penguin seal


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

Target: shark strawberry + apple apple *


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

Target: horse rat + = stork buffalo -


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

Target: penguin blueberry - penguin blueberry + buffalo banana =


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

Target: strawberry rat blueberry - *


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

Target: = - = stork seal stork seal


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

Target: apple eagle rat buffalo = - =


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

Target: = penguin * cobra


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

Target: shark kiwi = penguin - *


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

Target: - peach whale = peach - peach whale


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

Target: apple seal peach - = *


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

Target: apple = apple +


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

Target: * shark eagle + + shark eagle shark eagle


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

Target: banana buffalo * buffalo *


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

Target: cobra + * cobra


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

Target: peach peach * = peach +


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

Target: pear - = whale banana


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

Target: watermelon lion - - - blackberry shark


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

Target: = blackberry stork whale * blackberry stork


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

Target: - pear blackberry * apple kiwi


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

Target: penguin apple = buffalo apple penguin -


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

Target: - = buffalo horse grape grape


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

Target: blueberry = + apple


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

Target: = peach grape peach shark +


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

Target: blackberry blueberry blackberry blueberry + +


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

Target: + grape + grape = eagle


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

Target: rat rat = =


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

Target: pear * * pear


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

Target: - blackberry blackberry + * blackberry


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

Target: + shark zebra + * kiwi lion kiwi lion


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

Target: - peach peach horse shark - +


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

Target: zebra zebra * =


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

Target: - + pear watermelon buffalo - pear


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

Target: whale kiwi whale kiwi * shark - =


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

Target: + cobra penguin = cobra penguin cobra penguin


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

Target: * - pear watermelon pear watermelon grape kiwi


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

Target: - whale blueberry rat buffalo *


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

Target: banana = rat *


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

Target: penguin penguin * penguin horse *


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

Target: + = watermelon grape =


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

Target: strawberry lion - - strawberry lion


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

Target: * shark zebra + zebra =


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

Target: * blackberry + strawberry blueberry


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

Target: - rat grape * apple rat seal rat *


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

Target: peach + peach * * peach


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

Target: * = horse pear horse pear grape


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

Target: kiwi * = kiwi cobra zebra


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

Target: + * - pear banana pear banana seal


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

Target: + blueberry blueberry * - blueberry


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

Target: = shark banana whale banana whale *


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

Target: horse cobra horse cobra = = blackberry pear +


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

Target: watermelon - - lion


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

Target: stork watermelon * strawberry lion =


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

Target: * strawberry cobra strawberry cobra -


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

Target: strawberry watermelon = * strawberry watermelon


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

Target: grape - whale watermelon =


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

Target: kiwi rat strawberry kiwi rat + *


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

Target: peach rat + =


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

Target: cobra cobra * cobra +


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

Target: * kiwi horse - peach


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

Target: + stork seal apple blueberry apple blueberry * =


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

Target: peach * kiwi eagle =


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

Target: blueberry blueberry * + blueberry


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

Target: stork * * = blueberry whale


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

Target: pear pear eagle = +


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

Target: = - whale * pear


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

Target: rat = = lion


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

Target: * - shark penguin apple pear


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

Target: - + + seal seal


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

Target: blackberry blackberry watermelon - =


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

Target: * watermelon stork strawberry kiwi = watermelon


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

Target: = grape shark - seal peach *


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

Target: kiwi zebra + +


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

Target: * strawberry blueberry + eagle


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

Target: seal horse shark shark * =


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

Target: - * kiwi penguin kiwi penguin kiwi penguin


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

Target: = = buffalo peach buffalo peach *


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

Target: peach strawberry = peach banana *


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

Target: - * seal banana + seal banana


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

Target: kiwi - peach buffalo = =


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

Target: - whale whale + blueberry


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

Target: zebra zebra + * * peach penguin


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

Target: * + peach banana lion * banana lion


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

Target: + penguin = blackberry


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

Target: * - watermelon banana watermelon banana


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

Target: = - rat grape grape *


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

Target: apple + rat seal =


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

Target: horse peach - * horse peach horse peach +


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

Target: * = kiwi penguin peach blueberry


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

Target: * whale whale + =


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

Target: * = blueberry blueberry cobra kiwi


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

Target: * rat - rat rat


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

Target: blackberry blackberry + penguin =


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

Target: grape eagle * -


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

Target: * - = shark shark


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

Target: = - banana banana pear


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

Target: penguin penguin = - penguin


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

Target: watermelon = rat shark - -


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

Target: blackberry seal = - blackberry seal +


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

Target: stork - * strawberry cobra stork


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

Target: stork blackberry buffalo stork blackberry + +


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

Target: * eagle * buffalo whale cobra -


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

Target: = = horse seal = penguin apple


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

Target: = watermelon - banana


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

Target: eagle apple * - eagle apple eagle apple +


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

Target: - = = apple buffalo penguin blackberry


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

Target: lion peach - - +


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

Target: + zebra + penguin blackberry


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

Target: horse rat horse rat stork banana - -


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

Target: shark seal = kiwi + kiwi


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

Target: * penguin * banana +


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

Target: - * penguin grape = penguin grape zebra


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

Target: = = - blueberry stork blueberry stork


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

Target: seal pear whale - pear grape *


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

Target: + + - watermelon blueberry strawberry


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

Target: apple eagle strawberry + * =


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

Target: = + + watermelon kiwi kiwi


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

Target: = peach blackberry zebra + *


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

Target: = = lion apple lion apple * lion apple


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

Target: = peach * + rat rat


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

Target: + penguin buffalo strawberry = strawberry peach =


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

Target: - - * grape grape


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

Target: lion shark + - cobra kiwi lion shark


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

Target: = rat buffalo zebra -


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

Target: penguin penguin * penguin * =


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

Target: + seal = seal * seal


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

Target: - = = kiwi zebra kiwi zebra


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

Target: penguin strawberry shark shark = + *


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

Target: = lion - * lion grape


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

Target: blueberry buffalo blueberry buffalo = * seal


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

Target: = + blackberry * blackberry


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

Target: shark buffalo = blackberry *


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

Target: grape apple apple banana = =


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

Target: blueberry whale + penguin lion + penguin lion


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

Target: eagle stork + -


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

Target: - cobra rat rat -


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

Target: + shark watermelon shark watermelon + = seal strawberry


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

Target: pear grape kiwi = -


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

Target: * kiwi - buffalo watermelon kiwi


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

Target: rat watermelon - buffalo -


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

Target: * watermelon blueberry - - eagle


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

Target: cobra whale + - cobra whale + banana peach


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

Target: apple whale = * apple whale stork apple


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

Target: horse lion + = * lion


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

Target: * penguin + peach banana


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

Target: - * grape seal peach -


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

Target: horse cobra = - horse cobra


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

Target: + = kiwi grape horse banana eagle


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

Target: + * penguin peach horse cobra


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

Target: whale blackberry = + apple


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

Target: * pear shark + seal pear shark


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

Target: + peach banana +


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

Target: peach = - = penguin


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

Target: peach blueberry - * peach blueberry + penguin stork


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

Target: + zebra lion +


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

Target: * buffalo eagle peach banana buffalo eagle = +


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

Target: blueberry - + + blueberry


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

Target: + seal seal - seal seal -


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

Target: - * watermelon penguin buffalo


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

Target: - kiwi blackberry blackberry *


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

Target: = whale eagle buffalo =


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

Target: * = grape peach =


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

Target: grape grape + -


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

Target: - penguin * horse horse +


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

Target: = apple shark = apple shark -


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

Target: whale + - blackberry whale *


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

Target: + + shark grape blueberry grape blueberry


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

Target: * grape strawberry = eagle eagle =


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

Target: = + = rat kiwi stork watermelon


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

Target: zebra penguin cobra + * + lion


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

Target: blueberry whale blueberry * +


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

Target: - * banana rat - blueberry shark blueberry shark


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

Target: * apple seal banana = banana -


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

Target: eagle = watermelon * -


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

Target: * blackberry + kiwi


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

Target: cobra cobra * rat horse + *


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

Target: cobra eagle - seal lion + - buffalo


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

Target: watermelon kiwi stork buffalo + + +


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

Target: + eagle stork + eagle stork lion


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

Target: shark - = watermelon grape


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

Target: peach buffalo * - banana grape


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

Target: * - kiwi zebra kiwi zebra =


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

Target: = zebra * strawberry zebra zebra


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

Target: + - + strawberry strawberry


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

Target: eagle - eagle =


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

Target: - - + stork apple whale rat whale


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

Target: blueberry apple * seal shark buffalo = *


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

Target: lion strawberry - whale + + whale


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

Target: seal pear - = + seal


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

Target: + * buffalo rat shark shark


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

Target: + seal seal apple *


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

Target: + stork penguin blackberry zebra =


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

Target: * blueberry cobra blueberry cobra cobra zebra *


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

Target: + banana penguin - cobra banana


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

Target: + = cobra kiwi pear =


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

Target: - apple shark + +


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

Target: blueberry * rat = - blueberry


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

Target: = peach peach peach * -


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

Target: * = grape watermelon rat


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

Target: * strawberry blueberry +


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

Target: kiwi kiwi * -


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

Target: grape * + grape


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

Target: grape grape pear grape grape * - +


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

Target: watermelon seal = watermelon *


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

Target: - kiwi lion whale seal +


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

Target: - + kiwi penguin - kiwi penguin


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

Target: = - pear banana zebra apple


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

Target: horse zebra * = horse zebra *


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

Target: strawberry stork blackberry * -


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

Target: + pear penguin * pear -


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

Target: kiwi banana eagle + =


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

Target: * seal zebra * lion -


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

Target: - apple + watermelon


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

Target: = * = penguin seal buffalo


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

Target: * = buffalo blueberry +


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

Target: - * + penguin pear watermelon pear seal eagle


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

Target: + * penguin = lion


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

Target: horse horse = = =


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

Target: buffalo + - whale peach - seal zebra


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

Target: eagle watermelon - - stork cobra eagle watermelon +


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

Target: * shark peach shark peach +


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

Target: + buffalo blueberry pear blueberry pear +


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

Target: + * whale whale * pear grape


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

Target: zebra blueberry + buffalo buffalo +


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

Target: banana grape watermelon - - banana


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

Target: shark banana shark banana + - shark banana


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

Target: + shark + + strawberry


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

Target: strawberry = penguin zebra banana *


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

Target: zebra - * shark =


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

Target: seal = banana seal * +


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

Target: = - zebra seal seal


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

Target: zebra horse penguin pear + strawberry = *


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

Target: horse buffalo * zebra -


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

Target: blueberry apple blueberry apple * +


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

Target: = + shark horse apple horse *


Source: Rules: - + Y X | Substitutions: X by " rat grape " , Y by " kiwi "

Target: - + kiwi rat grape


Source: Rules: Z + = * Z X | Substitutions: X by " banana " , Z by " apple "

Target: apple + = * apple banana


Source: Rules: Y * + Z Y - | Substitutions: Y by " grape " , Z by " blackberry banana "

Target: grape * + blackberry banana grape -


Source: Rules: - Y X + + | Substitutions: X by " pear apple " , Y by " blueberry "

Target: - blueberry pear apple + +


Source: Rules: - Z - - X Z | Substitutions: X by " grape " , Z by " shark "

Target: - shark - - grape shark


Source: Rules: - Z + X | Substitutions: X by " horse lion " , Z by " banana "

Target: - banana + horse lion


Source: Rules: + X Z * + | Substitutions: X by " buffalo " , Z by " blueberry "

Target: + buffalo blueberry * +


Source: Rules: + Y Z Z * | Substitutions: Y by " pear " , Z by " seal whale "

Target: + pear seal whale seal whale *


Source: Rules: Y Y - * Z | Substitutions: Y by " rat whale " , Z by " seal grape "

Target: rat whale rat whale - * seal grape


Source: Rules: + X X Z + | Substitutions: X by " shark " , Z by " banana "

Target: + shark shark banana +


Source: Rules: Z Y - = | Substitutions: Y by " seal " , Z by " rat grape "

Target: rat grape seal - =


Source: Rules: * Y * X | Substitutions: X by " apple " , Y by " strawberry "

Target: * strawberry * apple


Source: Rules: * Y * * X | Substitutions: X by " blueberry " , Y by " whale cobra "

Target: * whale cobra * * blueberry


Source: Rules: = Y Y - Z | Substitutions: Y by " shark " , Z by " seal horse "

Target: = shark shark - seal horse


Source: Rules: + X = * Y | Substitutions: X by " rat " , Y by " eagle grape "

Target: + rat = * eagle grape


Source: Rules: Z Z Y + - | Substitutions: Y by " apple " , Z by " grape blackberry "

Target: grape blackberry grape blackberry apple + -


Source: Rules: - Y - Y | Substitutions: Y by " penguin "

Target: - penguin - penguin


Source: Rules: Z = - * Y | Substitutions: Y by " seal " , Z by " rat blueberry "

Target: rat blueberry = - * seal


Source: Rules: Y * - Z + | Substitutions: Y by " lion " , Z by " peach stork "

Target: lion * - peach stork +