the plasminogen is nonintellectual.
sent1: if the axolotl does not clump the click does clump or it is a boxer or both. sent2: the axolotl does not clump if the fact that it is horticultural hold. sent3: the fact that the axolotl does headquarter Lermontov and it is horticultural is not right. sent4: if the click is a boxer the plasminogen is nonintellectual. sent5: the fact that the axolotl is horticultural but it does not clump does not hold if something is not a boxer. sent6: something is a stodge. sent7: the fact that the plasminogen is not a kind of a male is right. sent8: the click is not nonintellectual. sent9: there exists something such that it headquarters indentation. sent10: if the fact that the axolotl clumps and does not headquarter Lermontov is not true then the fact that it is not a boxer is true. sent11: the axolotl is not a kind of a boxer if the fact that it is horticultural and it does not headquarter Lermontov is not right. sent12: there exists something such that it is a boxer. sent13: there exists something such that it does not wharf. sent14: there is something such that it does not govern Europe. sent15: something does not headquarter Lermontov if the fact that it governs Europe and is not horticultural is not right. sent16: the indentation is a boxer. sent17: if the fact that something is a kind of nonintellectual thing that headquarters Lermontov is incorrect it is not nonintellectual. sent18: if the fact that something headquarters Lermontov but it is not horticultural does not hold it does not clump. sent19: if there is something such that it does not govern Europe that the axolotl headquarters Lermontov but it is not horticultural does not hold. sent20: the plasminogen is nonintellectual if the click clumps. sent21: something does not clump if it is horticultural. sent22: there is something such that it does govern Europe. sent23: there are nonintellectual things. sent24: that the axolotl does headquarter Lermontov and it is horticultural does not hold if something does not govern Europe. sent25: if something does not headquarter Lermontov the fact that it is not a boxer is true.
sent14 & sent19 -> int1: the fact that the axolotl does headquarter Lermontov but it is not horticultural is not right.; sent18 -> int2: the axolotl does not clump if that it headquarters Lermontov and is not horticultural is incorrect.; int1 & int2 -> int3: the axolotl does not clump.; int3 & sent1 -> int4: the click clumps or is a boxer or both.; int4 & sent20 & sent4 -> hypothesis;
the plasminogen is not nonintellectual.
sent17 -> int5: if the fact that that the plasminogen is nonintellectual and does headquarter Lermontov is false hold then it is not nonintellectual.; sent15 -> int6: the axolotl does not headquarter Lermontov if the fact that it governs Europe and is not horticultural is false.;
$hypothesis$ = the plasminogen is nonintellectual. ; $context$ = sent1: if the axolotl does not clump the click does clump or it is a boxer or both. sent2: the axolotl does not clump if the fact that it is horticultural hold. sent3: the fact that the axolotl does headquarter Lermontov and it is horticultural is not right. sent4: if the click is a boxer the plasminogen is nonintellectual. sent5: the fact that the axolotl is horticultural but it does not clump does not hold if something is not a boxer. sent6: something is a stodge. sent7: the fact that the plasminogen is not a kind of a male is right. sent8: the click is not nonintellectual. sent9: there exists something such that it headquarters indentation. sent10: if the fact that the axolotl clumps and does not headquarter Lermontov is not true then the fact that it is not a boxer is true. sent11: the axolotl is not a kind of a boxer if the fact that it is horticultural and it does not headquarter Lermontov is not right. sent12: there exists something such that it is a boxer. sent13: there exists something such that it does not wharf. sent14: there is something such that it does not govern Europe. sent15: something does not headquarter Lermontov if the fact that it governs Europe and is not horticultural is not right. sent16: the indentation is a boxer. sent17: if the fact that something is a kind of nonintellectual thing that headquarters Lermontov is incorrect it is not nonintellectual. sent18: if the fact that something headquarters Lermontov but it is not horticultural does not hold it does not clump. sent19: if there is something such that it does not govern Europe that the axolotl headquarters Lermontov but it is not horticultural does not hold. sent20: the plasminogen is nonintellectual if the click clumps. sent21: something does not clump if it is horticultural. sent22: there is something such that it does govern Europe. sent23: there are nonintellectual things. sent24: that the axolotl does headquarter Lermontov and it is horticultural does not hold if something does not govern Europe. sent25: if something does not headquarter Lermontov the fact that it is not a boxer is true. ; $proof$ = 
sent14 & sent19 -> int1: the fact that the axolotl does headquarter Lermontov but it is not horticultural is not right.; sent18 -> int2: the axolotl does not clump if that it headquarters Lermontov and is not horticultural is incorrect.; int1 & int2 -> int3: the axolotl does not clump.; int3 & sent1 -> int4: the click clumps or is a boxer or both.; int4 & sent20 & sent4 -> hypothesis; __PROVED__