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

Target: horse pear + horse *


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

Target: blackberry cobra + blackberry cobra +


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

Target: = - + zebra zebra zebra zebra


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

Target: + blackberry strawberry strawberry cobra =


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

Target: rat watermelon + banana - +


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

Target: + horse blueberry - rat seal rat seal


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

Target: cobra peach = blackberry cobra * kiwi penguin


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

Target: shark cobra lion strawberry * = lion strawberry


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

Target: + blueberry lion + zebra - grape buffalo


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

Target: strawberry shark - whale watermelon = strawberry shark


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

Target: * * zebra penguin lion apple


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

Target: kiwi grape kiwi grape + * *


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

Target: = buffalo = - stork


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

Target: strawberry seal - strawberry seal blackberry =


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

Target: - + - rat rat


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

Target: grape grape rat + rat - +


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

Target: + + banana penguin banana


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

Target: = blackberry pear * buffalo banana


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

Target: * seal whale +


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

Target: + - horse blackberry horse blackberry


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

Target: rat shark penguin = =


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

Target: * - - shark shark


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

Target: = eagle kiwi = + cobra strawberry


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

Target: = horse blackberry cobra peach *


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

Target: eagle - - + kiwi blueberry


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

Target: cobra + watermelon banana -


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

Target: penguin + penguin = penguin


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

Target: + zebra = buffalo zebra


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

Target: rat banana - rat banana rat grape *


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

Target: = blackberry grape seal peach - =


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

Target: = strawberry strawberry =


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

Target: * seal seal + -


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

Target: - rat kiwi grape rat - grape rat


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

Target: * horse horse * banana =


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

Target: grape apple + grape apple zebra blackberry -


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

Target: * lion peach zebra +


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

Target: penguin * stork stork = +


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

Target: - * stork + stork


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

Target: - pear cobra = watermelon pear cobra


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

Target: kiwi zebra strawberry * - strawberry


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

Target: * eagle banana + = eagle banana


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

Target: * = penguin whale penguin whale


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

Target: * - apple apple +


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

Target: buffalo grape + -


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

Target: horse horse * horse horse - - whale


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

Target: banana lion * = buffalo +


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

Target: - stork penguin horse +


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

Target: * blackberry kiwi + cobra blackberry kiwi *


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

Target: * peach buffalo blueberry - buffalo blueberry


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

Target: blackberry penguin eagle * blackberry +


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

Target: * lion * lion lion -


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

Target: = strawberry = rat horse +


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

Target: eagle - eagle = stork horse


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

Target: penguin stork * blackberry zebra =


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

Target: banana lion = grape apple banana lion + *


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

Target: grape whale buffalo - = =


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

Target: + * - horse grape


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

Target: = = blackberry penguin


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

Target: = shark cobra shark + =


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

Target: - blackberry shark = *


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

Target: blueberry = + * horse whale


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

Target: - peach + peach


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

Target: = strawberry - apple strawberry apple strawberry *


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

Target: = = blueberry penguin = lion penguin


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

Target: pear = kiwi grape = -


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

Target: = whale zebra lion - =


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

Target: whale peach + - = stork eagle


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

Target: blueberry peach = - blueberry peach grape


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

Target: = peach blueberry grape lion * strawberry blackberry


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

Target: + kiwi lion rat stork *


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

Target: - blackberry + blackberry banana strawberry


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

Target: penguin buffalo pear + * *


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

Target: kiwi rat kiwi rat + kiwi peach +


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

Target: blueberry rat + *


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

Target: - eagle apple = cobra


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

Target: + zebra zebra = zebra


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

Target: + * kiwi buffalo kiwi


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

Target: - banana pear banana pear = +


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

Target: peach horse zebra * + -


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

Target: blueberry stork banana - +


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

Target: + cobra banana = cobra *


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

Target: - - buffalo stork * buffalo stork rat stork


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

Target: banana shark = banana shark = =


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

Target: eagle horse = eagle horse -


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

Target: - eagle blueberry peach - eagle blueberry


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

Target: = + blackberry zebra banana eagle blackberry zebra


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

Target: + * apple apple


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

Target: blackberry blackberry - - blackberry


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

Target: + shark apple = pear


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

Target: whale + buffalo -


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

Target: cobra * grape = *


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

Target: lion stork - watermelon stork + * kiwi eagle


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

Target: horse horse + * horse


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

Target: blackberry horse peach * *


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

Target: + + banana watermelon buffalo watermelon buffalo


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

Target: - = zebra apple rat apple rat


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

Target: strawberry kiwi apple - strawberry kiwi *


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

Target: buffalo rat buffalo rat + *


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

Target: = apple horse eagle = +


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

Target: + eagle * = blackberry seal


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

Target: - banana - banana banana +


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

Target: lion grape + = banana lion


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

Target: whale cobra banana kiwi apple * =


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

Target: - zebra horse watermelon = zebra


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

Target: + seal seal + * seal watermelon


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

Target: - - horse horse blueberry blueberry


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

Target: apple apple = - watermelon *


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

Target: kiwi = + * kiwi kiwi


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

Target: strawberry watermelon strawberry watermelon - + * cobra


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

Target: = * buffalo - grape blackberry grape blackberry


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

Target: + whale strawberry watermelon = - seal penguin


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

Target: - = rat buffalo rat


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

Target: * apple blackberry - apple apple =


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

Target: shark whale lion * + +


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

Target: strawberry = = = strawberry strawberry


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

Target: buffalo rat strawberry penguin strawberry penguin - +


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

Target: cobra lion buffalo strawberry cobra lion + +


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

Target: horse horse - = = peach apple penguin


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

Target: = buffalo peach = seal blueberry


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

Target: + + blackberry eagle blackberry eagle =


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

Target: - cobra + cobra - apple


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

Target: eagle = shark shark shark shark - *


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

Target: shark kiwi shark stork shark kiwi * = =


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

Target: banana blueberry seal pear + * banana blueberry -


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

Target: * - whale lion


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

Target: peach grape seal rat seal * * -


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

Target: eagle horse eagle horse = - *


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

Target: cobra strawberry - - - cobra strawberry


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

Target: shark apple = lion stork - shark apple -


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

Target: = + zebra whale kiwi


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

Target: strawberry pear pear pear + = zebra


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

Target: zebra apple zebra apple blueberry rat + =


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

Target: = + shark stork shark stork


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

Target: + seal buffalo = * cobra buffalo cobra buffalo


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

Target: * * pear pear penguin stork


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

Target: + blueberry = blueberry rat shark =


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

Target: watermelon * = - watermelon buffalo apple


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

Target: + + lion strawberry strawberry


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

Target: - zebra watermelon zebra zebra =


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

Target: * cobra stork cobra = cobra stork


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

Target: eagle * = blackberry eagle


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

Target: blackberry - blackberry kiwi cobra -


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

Target: kiwi grape penguin watermelon - - + penguin watermelon


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

Target: = seal strawberry + + stork stork


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

Target: penguin + blueberry *


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

Target: + - apple banana peach lion apple banana


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

Target: + blackberry blackberry =


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

Target: strawberry whale * watermelon =


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

Target: - watermelon watermelon -


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

Target: - cobra + kiwi watermelon


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

Target: zebra = blueberry zebra - +


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

Target: strawberry buffalo - = blueberry


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

Target: = pear blackberry pear - =


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

Target: - * strawberry zebra strawberry zebra -


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

Target: * banana lion blueberry - cobra strawberry


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

Target: watermelon buffalo penguin * seal banana *


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

Target: grape = grape rat *


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

Target: + buffalo buffalo shark whale grape *


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

Target: blackberry = * strawberry - cobra


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

Target: shark blackberry * peach eagle - pear shark +


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

Target: + grape grape +


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

Target: zebra + lion zebra -


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

Target: banana banana = = *


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

Target: cobra penguin apple = -


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

Target: buffalo kiwi - -


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

Target: * whale whale seal - -


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

Target: pear stork * rat -


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

Target: buffalo peach buffalo + * +


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

Target: - + shark shark * kiwi grape


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

Target: banana shark + banana shark = seal grape


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

Target: + grape strawberry + grape strawberry


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

Target: = + shark strawberry + penguin


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

Target: + + = rat seal banana


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

Target: - penguin seal * + penguin seal


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

Target: seal = seal peach grape *


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

Target: + * - shark kiwi banana shark shark kiwi


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

Target: + = seal cobra peach shark seal cobra


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

Target: = peach * * peach


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

Target: + + watermelon peach kiwi


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

Target: eagle * watermelon zebra +


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

Target: * blueberry lion - - banana


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

Target: - strawberry strawberry =


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

Target: - buffalo buffalo + =


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

Target: + horse cobra banana = *


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

Target: peach watermelon shark - = blackberry shark -


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

Target: + horse strawberry * zebra


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

Target: - + * shark rat pear


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

Target: * blackberry - blackberry stork


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

Target: rat * - strawberry zebra rat


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

Target: blueberry blueberry - banana zebra +


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

Target: - horse - strawberry


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

Target: - - kiwi lion kiwi *


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

Target: cobra zebra - stork * stork


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

Target: - seal buffalo - = eagle penguin seal buffalo


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

Target: pear lion buffalo kiwi - * = pear lion


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

Target: horse seal + apple = * rat


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

Target: * blackberry shark apple blackberry * lion


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

Target: + + strawberry banana apple cobra


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

Target: - - cobra - strawberry shark


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

Target: eagle = * buffalo eagle


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

Target: banana blueberry seal seal + *


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

Target: apple buffalo * + * zebra


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

Target: kiwi strawberry seal + whale *


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

Target: + penguin lion penguin lion penguin lion *


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

Target: peach peach + =


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

Target: * lion grape * lion grape =


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

Target: blueberry rat blueberry rat * blueberry rat =


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

Target: eagle shark + =


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

Target: strawberry penguin = + = shark strawberry penguin


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

Target: horse strawberry = kiwi cobra = -


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

Target: whale - banana banana -


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

Target: - watermelon watermelon +


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

Target: seal apple peach - +


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

Target: - watermelon banana = watermelon banana


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

Target: blueberry * blueberry buffalo rat * =


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

Target: horse + horse *


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

Target: = buffalo - seal =


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

Target: zebra stork grape + whale whale +


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

Target: cobra stork - zebra = stork cobra


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

Target: lion - * - lion


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

Target: kiwi blueberry kiwi blueberry = + buffalo =


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

Target: = + - penguin penguin penguin


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

Target: stork = peach -


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

Target: * stork = stork


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

Target: grape + * grape


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

Target: penguin banana blueberry watermelon watermelon watermelon * *


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

Target: blackberry blackberry - = +


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

Target: = = - kiwi blueberry lion blackberry grape


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

Target: + whale horse + - whale horse


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

Target: whale peach * whale peach whale peach *


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

Target: + buffalo cobra - penguin penguin


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

Target: penguin penguin * lion blackberry = =


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

Target: + = strawberry strawberry


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

Target: * * kiwi stork


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

Target: zebra * zebra * blueberry


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

Target: zebra strawberry = rat penguin zebra strawberry +


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

Target: strawberry stork = strawberry - * strawberry


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

Target: stork cobra - * apple penguin


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

Target: + seal pear -


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

Target: = + horse pear horse pear


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

Target: + zebra grape peach peach -


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

Target: blueberry strawberry + seal +


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

Target: peach whale = shark - -


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

Target: stork kiwi + + + stork kiwi


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

Target: shark lion strawberry grape - grape apple *


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

Target: * * whale seal banana strawberry + whale seal


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

Target: - peach cobra = zebra penguin peach cobra -


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

Target: pear + shark grape =


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

Target: - = - blueberry cobra blackberry grape blackberry grape


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

Target: = - * horse whale peach


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

Target: blueberry + lion cobra blueberry *


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

Target: = = horse zebra stork penguin


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

Target: blueberry + = - peach peach pear horse


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

Target: * strawberry shark * * lion


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

Target: + penguin - penguin banana


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

Target: * - cobra whale whale


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

Target: + blackberry peach pear watermelon banana cobra + *


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

Target: zebra blackberry + * seal zebra blackberry *


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

Target: + stork pear stork * +


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

Target: * * seal watermelon seal lion


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

Target: - eagle penguin = * strawberry buffalo


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

Target: blackberry penguin penguin penguin penguin = + -


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

Target: strawberry penguin watermelon horse - + -


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

Target: + whale strawberry + * banana kiwi


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

Target: + rat banana apple - rat


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

Target: stork penguin eagle whale + -


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

Target: horse blueberry - * horse blueberry seal +


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

Target: blueberry buffalo pear + + =


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

Target: horse blueberry = kiwi eagle * *


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

Target: - horse zebra horse zebra +


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

Target: - seal seal whale cobra seal seal =


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

Target: shark banana = * = shark


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

Target: = = * horse cobra apple


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

Target: apple grape seal * + =


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

Target: eagle lion eagle lion eagle lion = = +


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

Target: strawberry * = strawberry -


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

Target: rat + = stork blueberry *


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

Target: = watermelon watermelon *


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

Target: banana - cobra = stork


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

Target: = + penguin horse rat - seal


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

Target: + + = whale watermelon whale watermelon


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

Target: rat shark peach peach + * =


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

Target: lion apple lion + *


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

Target: - cobra horse kiwi = -


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

Target: - - lion lion


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

Target: = banana + shark +


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

Target: seal - seal seal -


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

Target: + rat - banana rat rat *


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

Target: = lion pear blackberry + + banana


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

Target: stork + stork -


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

Target: * * seal apple * buffalo blueberry seal apple


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

Target: buffalo - - + stork apple rat zebra


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

Target: whale rat + * whale rat


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

Target: shark rat shark rat shark whale - + -


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

Target: seal peach horse + seal peach + +


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

Target: horse strawberry - banana apple * *


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

Target: stork kiwi + - stork kiwi cobra


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

Target: = eagle = eagle


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

Target: = seal + penguin penguin -


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

Target: = whale blackberry kiwi seal * =


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

Target: kiwi eagle whale * *


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

Target: strawberry blueberry * = strawberry blueberry kiwi rat


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

Target: rat banana + + * grape


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

Target: strawberry penguin penguin + - +


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

Target: = seal seal watermelon = seal watermelon -


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

Target: - = watermelon watermelon -


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

Target: * = buffalo zebra buffalo zebra


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

Target: lion horse blueberry lion lion horse - =


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

Target: zebra whale * banana stork * =


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

Target: + peach whale - + kiwi whale


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

Target: - lion horse * grape


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

Target: cobra + cobra stork - +


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

Target: kiwi peach = = peach +


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

Target: - + = pear watermelon zebra banana


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

Target: strawberry shark strawberry banana = = -


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

Target: + buffalo - * penguin apple


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

Target: * * strawberry penguin


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

Target: blueberry shark pear + +


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

Target: stork stork pear peach * blackberry -


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

Target: = grape * = rat apple


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

Target: penguin rat banana + rat banana + *


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

Target: blueberry stork - cobra whale = cobra whale


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

Target: seal blackberry + banana - seal blackberry =


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

Target: = watermelon - shark


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

Target: seal eagle apple eagle apple = = =


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

Target: = = shark apple


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

Target: * cobra whale *


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

Target: * grape blackberry * grape blackberry blackberry


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

Target: stork lion * stork lion *


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

Target: stork blackberry blackberry * + =


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

Target: eagle banana stork + * eagle


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

Target: = * + stork stork penguin blueberry


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

Target: buffalo + * kiwi lion -


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

Target: + - whale peach whale peach whale peach


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

Target: = + stork apple whale watermelon


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

Target: - penguin rat blueberry +


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

Target: blackberry eagle cobra * =


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

Target: - blueberry penguin zebra zebra * -


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

Target: seal peach - banana +


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

Target: * pear pear banana - whale seal -


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

Target: eagle buffalo eagle buffalo + = -


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

Target: = horse horse apple blackberry * *


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

Target: zebra penguin shark seal cobra * +


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

Target: apple apple = apple apple + -


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

Target: - penguin stork + penguin stork


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

Target: + watermelon * grape watermelon +


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

Target: - peach * apple cobra * peach


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

Target: - banana apple banana apple buffalo -


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

Target: kiwi - kiwi -


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

Target: lion watermelon lion watermelon * = -


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

Target: penguin blackberry * - buffalo kiwi * penguin blackberry


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

Target: watermelon * + buffalo buffalo +


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

Target: banana buffalo cobra + * banana +


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

Target: zebra strawberry - zebra strawberry + +


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

Target: = zebra banana blueberry * *


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

Target: * stork peach shark =


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

Target: kiwi stork - =


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

Target: - * peach blueberry peach


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

Target: blueberry banana blueberry banana * - penguin


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

Target: + = shark - shark shark


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

Target: whale cobra + - whale cobra *


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

Target: kiwi whale + - kiwi whale =


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

Target: zebra peach seal + zebra * +


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

Target: - shark shark = shark


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

Target: blueberry blackberry + zebra whale blueberry blackberry =


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

Target: whale blackberry pear + =


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

Target: = rat = rat rat peach +


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

Target: + = apple horse banana watermelon


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

Target: whale whale = - +


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

Target: = grape grape horse = +


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

Target: + pear - blueberry buffalo eagle -


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

Target: blackberry - = - lion


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

Target: eagle apple eagle apple * - grape watermelon *


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

Target: seal kiwi blueberry + * +


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

Target: = = penguin grape rat shark penguin grape -


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

Target: + + horse shark stork stork


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

Target: grape peach = shark * -


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

Target: * stork buffalo rat - *


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

Target: = + stork + buffalo whale


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

Target: strawberry rat eagle - -


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

Target: + - apple shark


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

Target: - - pear shark zebra


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

Target: * banana banana -


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

Target: lion apple - + pear kiwi -


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

Target: * = seal buffalo + grape grape


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

Target: - horse banana = banana =


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

Target: pear blackberry * = pear blackberry *


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

Target: = - seal zebra


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

Target: stork buffalo buffalo shark + + stork buffalo -


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

Target: = apple pear eagle whale = =


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

Target: cobra = + rat +


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

Target: = penguin pear + horse watermelon


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

Target: * rat blueberry blackberry =


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

Target: + - - banana rat penguin


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

Target: - strawberry watermelon peach + =


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

Target: pear grape + blackberry lion = = pear grape


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

Target: seal penguin watermelon * penguin watermelon -


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

Target: + lion whale blackberry kiwi rat strawberry -


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

Target: + horse * horse


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

Target: * = - kiwi seal eagle


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

Target: = shark horse shark - -


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

Target: eagle watermelon = - eagle =


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

Target: horse * zebra watermelon =


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

Target: pear shark banana + *


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

Target: eagle pear eagle pear * =


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

Target: = eagle = = rat


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

Target: shark rat shark pear * = lion strawberry


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

Target: horse blueberry - horse blueberry -


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

Target: horse blueberry * +


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

Target: - stork cobra =


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

Target: + - - stork cobra rat


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

Target: stork * = cobra zebra


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

Target: * peach seal + peach seal *


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

Target: penguin watermelon whale * = * whale


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

Target: kiwi - zebra penguin zebra penguin - *


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

Target: * pear penguin pear penguin kiwi watermelon + *


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

Target: + whale whale * *


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

Target: - apple apple * -


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

Target: whale lion whale lion = zebra strawberry * *


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

Target: watermelon * strawberry + +


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

Target: watermelon * - watermelon +


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

Target: shark buffalo * - + whale


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

Target: = - horse buffalo horse buffalo


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

Target: = + banana zebra seal


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

Target: - rat whale + rat whale


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

Target: - grape stork grape stork = watermelon


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

Target: kiwi apple horse = - =


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

Target: = = seal seal


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

Target: + blueberry blueberry -


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

Target: lion lion blackberry = *


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

Target: * + + apple cobra apple cobra apple cobra


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

Target: + cobra pear rat *


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

Target: = = buffalo grape buffalo grape


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

Target: * lion grape strawberry whale + *


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

Target: banana stork zebra strawberry = = *


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

Target: = - strawberry watermelon buffalo -


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

Target: = blackberry kiwi whale *


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

Target: + horse penguin = cobra horse


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

Target: cobra grape cobra grape = =


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

Target: * * strawberry penguin penguin watermelon


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

Target: penguin + penguin = strawberry +


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

Target: - * banana lion blackberry *


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

Target: = - grape grape watermelon shark


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

Target: + rat + pear seal rat +


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

Target: * whale lion pear stork =


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

Target: buffalo + buffalo shark =


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

Target: = = stork watermelon - eagle


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

Target: apple shark + - + peach


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

Target: * - zebra kiwi zebra *


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

Target: lion zebra whale * = zebra whale =


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

Target: eagle * eagle +


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

Target: seal + watermelon peach -


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

Target: whale buffalo - whale buffalo =


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

Target: apple = * zebra whale


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

Target: - + buffalo pear - whale


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

Target: stork pear lion + + lion


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

Target: = penguin watermelon + penguin watermelon apple =


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

Target: apple = eagle apple = apple


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

Target: - - pear * blueberry lion


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

Target: + grape horse * lion shark stork


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

Target: = * grape kiwi + horse buffalo horse buffalo


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

Target: rat zebra + strawberry peach * watermelon +


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

Target: = = horse eagle blueberry +


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

Target: grape penguin shark cobra zebra eagle * =


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

Target: watermelon horse - penguin = penguin


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

Target: buffalo whale + pear eagle buffalo whale +


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

Target: kiwi horse = * kiwi horse - kiwi horse


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

Target: - * seal watermelon rat zebra *


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

Target: = * watermelon penguin watermelon penguin * stork horse


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

Target: rat kiwi * whale watermelon +


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

Target: = pear shark =


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

Target: + = buffalo seal apple stork *


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

Target: peach grape + + - penguin


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

Target: * + peach stork watermelon


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

Target: + + rat - apple strawberry apple strawberry


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

Target: horse + + horse +


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

Target: = blackberry peach * blackberry peach


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

Target: zebra = + + zebra zebra


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

Target: = * strawberry strawberry +


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

Target: grape stork pear = grape - +


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

Target: - = stork stork stork stork


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

Target: + blueberry - * whale


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

Target: blueberry stork = blueberry stork buffalo +


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

Target: eagle * grape horse *


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

Target: kiwi eagle * seal *


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

Target: horse - horse - +


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

Target: * * kiwi pear blackberry grape


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

Target: - penguin eagle rat eagle = rat eagle +


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

Target: peach peach stork apple seal - =


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

Target: - zebra penguin + strawberry =


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

Target: pear * = strawberry cobra


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

Target: = + kiwi peach kiwi peach blackberry


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

Target: peach * * horse horse + horse horse


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

Target: banana - = = pear


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

Target: blackberry blackberry whale peach = +


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

Target: cobra lion * horse =


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

Target: seal seal = eagle rat * *


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

Target: + * seal rat pear * blackberry


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

Target: peach apple shark * + +


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

Target: blueberry * + * horse


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

Target: cobra + horse *


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

Target: whale - * = buffalo apple


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

Target: blueberry blueberry strawberry - -


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

Target: strawberry strawberry = =


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

Target: lion blackberry kiwi strawberry * =


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

Target: pear * pear +


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

Target: lion - - buffalo lion


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

Target: = apple + strawberry shark strawberry shark *


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

Target: + = grape whale = lion pear


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

Target: kiwi stork grape strawberry = + =


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

Target: blackberry apple penguin apple + * penguin apple =


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

Target: apple buffalo apple buffalo - * horse zebra =


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

Target: pear stork pear stork * whale lion +


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

Target: blueberry * blueberry = = strawberry


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

Target: + banana blueberry kiwi +


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

Target: - + stork horse apple - stork horse


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

Target: * blueberry grape = lion strawberry


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

Target: + peach + * whale whale


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

Target: rat - + rat seal banana


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

Target: cobra - cobra * blueberry apple


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

Target: * kiwi cobra = stork whale stork whale


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

Target: * stork stork horse shark =


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

Target: shark penguin apple - * +


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

Target: - whale grape eagle -


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

Target: rat pear - peach =


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

Target: = shark shark * penguin lion


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

Target: eagle rat * eagle rat eagle rat =


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

Target: seal banana + watermelon banana * * seal banana


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

Target: lion penguin * penguin penguin - +


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

Target: zebra zebra - = banana


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

Target: * zebra buffalo zebra buffalo =


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

Target: * + lion buffalo lion


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

Target: shark = = rat -


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

Target: + zebra = peach peach peach peach


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

Target: + peach seal - = shark


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

Target: - buffalo * * whale


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

Target: banana zebra = = banana zebra


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

Target: * * penguin grape banana =


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

Target: = - buffalo eagle buffalo eagle -


Source: Rules: X Z Y + + | Substitutions: X by " strawberry " , Y by " blackberry banana " , Z by " watermelon horse "

Target: strawberry watermelon horse blackberry banana + +


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

Target: watermelon = - rat * horse penguin


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

Target: shark rat * - shark rat


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

Target: * seal banana * * strawberry whale


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

Target: = pear grape blackberry +


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

Target: cobra = * * whale


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

Target: = stork shark = + stork shark rat rat


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

Target: eagle peach * kiwi eagle + kiwi eagle =


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

Target: watermelon - penguin cobra lion - =


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

Target: = * watermelon = lion


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

Target: buffalo horse * + buffalo eagle blackberry *


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

Target: + + - cobra cobra penguin


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

Target: = = eagle buffalo - lion


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

Target: shark whale + blackberry buffalo +


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

Target: blackberry - + pear blackberry


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

Target: seal stork cobra + - =


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

Target: * + + banana whale banana whale stork shark


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

Target: = watermelon whale = banana


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

Target: + zebra lion peach peach =


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

Target: + * shark shark =


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

Target: watermelon rat + * watermelon rat *


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

Target: shark blackberry stork * = shark blackberry -


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

Target: - kiwi pear * rat banana rat banana


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

Target: - whale = seal shark whale


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

Target: zebra zebra + +


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

Target: * + lion rat zebra +


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

Target: zebra watermelon zebra watermelon - - zebra watermelon +


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

Target: penguin kiwi = horse penguin kiwi +


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

Target: blackberry peach + horse -


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

Target: blueberry whale * * penguin *


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

Target: - apple peach - eagle


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

Target: + = zebra seal kiwi


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

Target: eagle blueberry eagle blueberry = eagle blueberry * +


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

Target: - eagle = eagle banana seal


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

Target: banana strawberry = + - blackberry cobra


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

Target: - horse whale eagle + horse *


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

Target: * * = apple penguin apple penguin


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

Target: * penguin blueberry - penguin blueberry shark


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

Target: peach - strawberry - +


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

Target: lion shark watermelon grape - *


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

Target: zebra - * zebra + banana


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

Target: grape = * blackberry


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

Target: penguin cobra - = - watermelon peach


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

Target: - pear apple * penguin zebra


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

Target: - cobra buffalo = = banana


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

Target: peach horse = - horse -


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

Target: + + lion zebra lion zebra lion zebra


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

Target: eagle = - = strawberry horse


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

Target: eagle blueberry - * eagle blueberry +


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

Target: whale = apple blackberry whale +


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

Target: zebra peach kiwi banana = zebra peach -


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

Target: = - kiwi grape whale


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

Target: - * seal stork stork


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

Target: + strawberry watermelon = strawberry watermelon zebra


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

Target: + seal + - peach peach blueberry


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

Target: - eagle seal eagle =


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

Target: whale cobra - - seal zebra


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

Target: * pear + stork cobra =


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

Target: * + watermelon watermelon


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

Target: - - buffalo buffalo *


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

Target: horse cobra horse cobra horse cobra * = *


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

Target: zebra * zebra -


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

Target: pear + + buffalo


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

Target: peach kiwi peach kiwi * *


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

Target: * penguin seal + penguin seal


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

Target: rat + banana blueberry + banana blueberry


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

Target: apple pear apple pear blackberry = *


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

Target: - + stork whale + banana blueberry peach stork


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

Target: * cobra + stork rat


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

Target: penguin zebra buffalo + - penguin


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

Target: - shark + grape cobra


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

Target: + = pear blueberry apple + kiwi


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

Target: cobra seal * * cobra grape cobra grape


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

Target: - kiwi cobra kiwi cobra = +


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

Target: + pear blueberry - = blueberry


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

Target: + pear lion rat * rat


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

Target: - * lion lion *


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

Target: = - - stork pear stork pear stork pear


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

Target: buffalo grape = - = grape


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

Target: - + shark = buffalo banana buffalo banana


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

Target: = + penguin + horse cobra


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

Target: seal pear - * seal = watermelon peach


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

Target: - eagle pear * blackberry peach *


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

Target: * = watermelon + kiwi seal


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

Target: * eagle stork rat =


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

Target: buffalo horse kiwi * =


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

Target: stork - stork - - rat buffalo


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

Target: * blueberry banana grape blueberry banana + -


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

Target: = * eagle + pear peach


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

Target: = whale + - whale


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

Target: * pear blueberry =


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

Target: strawberry cobra + lion banana - strawberry cobra *


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

Target: = peach = apple peach =


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

Target: pear penguin = - - pear penguin


Source: Rules: X = Y Z = | Substitutions: X by " zebra rat " , Y by " horse " , Z by " lion peach "

Target: zebra rat = horse lion peach =


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

Target: * blueberry horse *


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

Target: - penguin penguin = penguin


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

Target: = * grape horse pear eagle


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

Target: kiwi penguin = blackberry cobra +


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

Target: = pear = pear pear *


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

Target: blueberry watermelon - = peach


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

Target: - = seal strawberry


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

Target: - * buffalo stork watermelon -


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

Target: - blueberry - * whale


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

Target: = = kiwi strawberry strawberry +


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

Target: + rat watermelon - rat watermelon - rat watermelon


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

Target: shark watermelon - shark +


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

Target: shark banana grape * +


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

Target: + whale buffalo banana - +


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

Target: - = blackberry seal = blackberry seal


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

Target: + + blueberry stork horse + blueberry stork


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

Target: apple apple apple * + =


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

Target: horse horse * buffalo = *


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

Target: seal seal - seal seal buffalo lion *


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

Target: peach banana - = - watermelon grape


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

Target: buffalo zebra pear buffalo zebra * +


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

Target: buffalo eagle whale + +


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

Target: seal kiwi + - stork blueberry


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

Target: = = rat cobra kiwi penguin


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

Target: shark + lion +


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

Target: grape penguin * - -


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

Target: banana whale - + zebra watermelon -


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

Target: * shark * zebra shark


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

Target: buffalo apple = + watermelon blueberry


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

Target: cobra + = cobra =


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

Target: rat = - + rat eagle


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

Target: pear whale = = - grape kiwi


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

Target: cobra blueberry cobra blueberry = - blackberry


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

Target: * horse whale * horse whale


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

Target: shark * shark * shark +


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

Target: = kiwi stork kiwi stork pear *


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

Target: * + shark grape strawberry strawberry


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

Target: * lion + - lion lion


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

Target: eagle kiwi + = banana cobra


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

Target: = - shark cobra shark cobra


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

Target: + kiwi banana - kiwi banana


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

Target: peach grape grape * - whale seal -


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

Target: seal * grape strawberry = *


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

Target: * + apple strawberry lion apple strawberry +


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

Target: peach - peach *


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

Target: * peach eagle - peach eagle rat buffalo


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

Target: = - penguin eagle watermelon


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

Target: * = zebra peach rat blueberry -


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

Target: banana grape lion + * +


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

Target: kiwi - kiwi * + kiwi grape


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

Target: + * * stork blackberry stork


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

Target: = penguin = kiwi watermelon *


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

Target: = shark shark * +


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

Target: banana banana banana kiwi = - banana banana


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

Target: + eagle - eagle


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

Target: * - - cobra penguin strawberry rat


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

Target: = = = buffalo horse stork penguin stork penguin


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

Target: - * strawberry peach lion


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

Target: grape + grape + cobra penguin +


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

Target: * = + lion lion


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

Target: - lion strawberry lion strawberry banana stork -


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

Target: * + penguin lion stork whale apple penguin


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

Target: horse lion horse lion grape + *


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

Target: pear buffalo * - pear


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

Target: peach rat stork * + rat stork


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

Target: + blueberry rat whale -


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

Target: - rat rat stork =


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

Target: * blackberry cobra - banana *


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

Target: stork = stork - *


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

Target: blueberry apple = apple horse watermelon *


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

Target: horse - + eagle = eagle


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

Target: watermelon buffalo + + watermelon buffalo -


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

Target: + = kiwi - pear apple


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

Target: * kiwi penguin + = zebra


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

Target: watermelon watermelon - *


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

Target: + kiwi - - stork stork


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

Target: zebra stork zebra stork * shark watermelon -


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

Target: - apple kiwi * rat shark +


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

Target: - buffalo strawberry zebra horse = whale


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

Target: = whale kiwi grape rat +


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

Target: + = seal = seal


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

Target: = horse grape - = blackberry


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

Target: * = whale rat + whale rat


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

Target: - = blackberry = whale lion


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

Target: * banana stork + blackberry


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

Target: watermelon = pear + watermelon +


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

Target: + - buffalo lion buffalo lion


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

Target: + = rat + rat


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

Target: rat kiwi - - rat kiwi whale


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

Target: + kiwi peach kiwi peach - strawberry


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

Target: pear = pear peach peach + -


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

Target: = - = whale watermelon whale watermelon


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

Target: whale pear * *


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

Target: - * pear rat = blueberry zebra


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

Target: * = grape grape rat watermelon =


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

Target: + * rat zebra whale kiwi =


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

Target: strawberry apple - + strawberry apple


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

Target: * pear whale * seal zebra


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

Target: = penguin - cobra


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

Target: whale kiwi - whale -


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

Target: - = shark watermelon strawberry strawberry


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

Target: cobra grape lion zebra * + *


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

Target: + seal kiwi + * seal kiwi


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

Target: watermelon shark + + zebra zebra


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

Target: * + grape banana


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

Target: + horse - blueberry horse


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

Target: = = penguin kiwi


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

Target: grape buffalo = strawberry lion + + strawberry lion


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

Target: - + strawberry shark * apple


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

Target: seal peach - strawberry zebra + -


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

Target: * - whale buffalo peach blueberry =


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

Target: peach - peach - -


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

Target: cobra banana banana = +


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

Target: - penguin apple blackberry = penguin apple


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

Target: zebra penguin apple * watermelon * =


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

Target: buffalo buffalo buffalo buffalo = *


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

Target: * * grape whale - shark strawberry


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

Target: blueberry buffalo = peach *


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

Target: = zebra grape + = blueberry grape


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

Target: penguin * lion lion *


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

Target: watermelon peach - = = horse


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

Target: blackberry whale * blackberry whale =


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

Target: - blackberry * * grape apple


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

Target: kiwi + * + shark whale shark whale


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

Target: = cobra = blueberry cobra


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

Target: pear blueberry = apple pear apple pear *


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

Target: - buffalo = + buffalo buffalo strawberry


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

Target: - penguin * penguin


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

Target: peach rat = = zebra


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

Target: penguin peach * shark kiwi + -


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

Target: - grape cobra - strawberry


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

Target: + = watermelon = buffalo whale


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

Target: buffalo penguin - buffalo penguin kiwi cobra -


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

Target: * buffalo kiwi + - horse


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

Target: shark shark = +


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

Target: eagle horse - buffalo seal eagle horse =


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

Target: + - penguin strawberry - strawberry


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

Target: = strawberry cobra apple * + apple


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

Target: strawberry * seal seal + *


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

Target: lion penguin * + blueberry horse =


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

Target: blackberry banana blackberry banana + * *


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

Target: watermelon horse * =


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

Target: * whale zebra banana seal strawberry * =


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

Target: = penguin * penguin blackberry apple eagle


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

Target: kiwi shark grape apple grape apple + *


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

Target: stork seal + stork seal * blackberry apple


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

Target: = buffalo strawberry = strawberry +


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

Target: zebra cobra - = grape rat seal penguin


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

Target: + = banana banana +


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

Target: * eagle eagle -


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

Target: + watermelon seal pear pear +


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

Target: * - apple zebra whale rat - whale rat


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

Target: rat * * penguin eagle penguin eagle


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

Target: kiwi = + kiwi penguin penguin


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

Target: blueberry rat = - blueberry rat


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

Target: whale + + eagle whale whale


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

Target: lion kiwi + eagle lion kiwi +


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

Target: pear shark * pear shark + =


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

Target: = zebra peach shark -


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

Target: whale strawberry * lion strawberry * whale strawberry


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

Target: buffalo buffalo + *


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

Target: strawberry penguin apple = strawberry *


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

Target: * * seal zebra pear +


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

Target: = + eagle apple +


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

Target: + + kiwi peach stork +


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

Target: stork penguin apple grape stork penguin * *


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

Target: watermelon watermelon - +


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

Target: * whale cobra + whale cobra


Source: Rules: Y * Z = + | Substitutions: Y by " kiwi " , Z by " peach "

Target: kiwi * peach = +


Source: Rules: * X * * Y Y | Substitutions: X by " rat " , Y by " blackberry "

Target: * rat * * blackberry blackberry


Source: Rules: - Y + Y | Substitutions: Y by " banana "

Target: - banana + banana


Source: Rules: + + Y = Z | Substitutions: Y by " shark blackberry " , Z by " cobra kiwi "

Target: + + shark blackberry = cobra kiwi


Source: Rules: Y X * + | Substitutions: X by " cobra " , Y by " stork grape "

Target: stork grape cobra * +


Source: Rules: = X + Z X | Substitutions: X by " penguin " , Z by " stork stork "

Target: = penguin + stork stork penguin


Source: Rules: X + = + Z | Substitutions: X by " kiwi blackberry " , Z by " banana "

Target: kiwi blackberry + = + banana


Source: Rules: Y * + Z - Z | Substitutions: Y by " penguin grape " , Z by " buffalo zebra "

Target: penguin grape * + buffalo zebra - buffalo zebra


Source: Rules: + X X = Y = | Substitutions: X by " blueberry rat " , Y by " penguin seal "

Target: + blueberry rat blueberry rat = penguin seal =


Source: Rules: Z * - Z - Z | Substitutions: Z by " kiwi "

Target: kiwi * - kiwi - kiwi


Source: Rules: Z Y * - | Substitutions: Y by " shark kiwi " , Z by " stork banana "

Target: stork banana shark kiwi * -


Source: Rules: X + * X * | Substitutions: X by " lion blueberry "

Target: lion blueberry + * lion blueberry *


Source: Rules: = Y * X * | Substitutions: X by " banana eagle " , Y by " buffalo "

Target: = buffalo * banana eagle *


Source: Rules: Y + + * X | Substitutions: X by " grape " , Y by " cobra "

Target: cobra + + * grape


Source: Rules: * Y * Z Y + | Substitutions: Y by " zebra " , Z by " horse "

Target: * zebra * horse zebra +


Source: Rules: * - = X Z | Substitutions: X by " blackberry whale " , Z by " peach "

Target: * - = blackberry whale peach


Source: Rules: Z * Z - Y | Substitutions: Y by " whale stork " , Z by " peach "

Target: peach * peach - whale stork


Source: Rules: Y - X + | Substitutions: X by " blueberry " , Y by " kiwi watermelon "

Target: kiwi watermelon - blueberry +