the weathercock interposes horsepower.
sent1: the fact that the weathercock does interpose malodor is true. sent2: something that is a kind of a hemagglutination that does arrive message does not interpose horsepower. sent3: if something that does not arrive message is not electromechanical then it is not a hemagglutination. sent4: if the weathercock is sacral the counterterrorist does not arrive message. sent5: either the counterterrorist is a hemagglutination or it is sacral or both. sent6: if the fact that something arrives message and/or is not a kind of a hemagglutination does not hold it does interpose horsepower. sent7: the translator arrives checkerbloom or it is not a Ham or both. sent8: if something is not a moiety and does not interpose malodor then it does not interpose horsepower. sent9: if the bridge does not interpose horsepower then the weathercock does not arrive message. sent10: if the weathercock is a kind of a Ham the translator does interpose horsepower. sent11: the sideroblast does arrive checkerbloom. sent12: the bridge is electromechanical. sent13: the translator is not sacral if the counterterrorist either is a Ham or is electromechanical or both. sent14: if the bridge either is a kind of a hemagglutination or arrives message or both then the counterterrorist is not a moiety. sent15: something is not electromechanical if it is not a kind of a moiety and it does not interpose malodor. sent16: if the translator arrives checkerbloom the counterterrorist does not interpose malodor. sent17: if the translator is not a kind of a Ham then the counterterrorist does not interpose malodor. sent18: if the weathercock does not arrive checkerbloom then the translator does arrive checkerbloom and arrives message. sent19: the translator is not a kind of a hemagglutination. sent20: the weathercock does arrive message and it does interpose horsepower if the bridge does not arrive message. sent21: that the translator does not arrive checkerbloom is not false if it is not a kind of a hemagglutination and does not arrive message. sent22: the counterterrorist is a kind of electromechanical thing that is sacral. sent23: the translator is both not profitable and not a hemagglutination. sent24: the hipbone is sacral. sent25: the counterterrorist does not interpose horsepower if the weathercock is sacral. sent26: the weathercock is not sacral.
void -> assump1: Let's assume that the bridge does arrive message.; assump1 -> int1: the bridge either is a hemagglutination or arrives message or both.; int1 & sent14 -> int2: the fact that the counterterrorist is not a kind of a moiety is right.; sent7 & sent16 & sent17 -> int3: the counterterrorist does not interpose malodor.; int2 & int3 -> int4: the counterterrorist is not a kind of a moiety and it does not interpose malodor.; sent15 -> int5: the counterterrorist is not electromechanical if it is not a moiety and it does not interpose malodor.; int4 & int5 -> int6: the counterterrorist is not electromechanical.; sent22 -> int7: the counterterrorist is electromechanical.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the bridge does not arrive message.; int9 & sent20 -> int10: the weathercock does arrive message and interposes horsepower.; int10 -> hypothesis;
the weathercock does not interpose horsepower.
sent6 -> int11: the bridge does interpose horsepower if the fact that either it does arrive message or it is not a hemagglutination or both is not right.;
$hypothesis$ = the weathercock interposes horsepower. ; $context$ = sent1: the fact that the weathercock does interpose malodor is true. sent2: something that is a kind of a hemagglutination that does arrive message does not interpose horsepower. sent3: if something that does not arrive message is not electromechanical then it is not a hemagglutination. sent4: if the weathercock is sacral the counterterrorist does not arrive message. sent5: either the counterterrorist is a hemagglutination or it is sacral or both. sent6: if the fact that something arrives message and/or is not a kind of a hemagglutination does not hold it does interpose horsepower. sent7: the translator arrives checkerbloom or it is not a Ham or both. sent8: if something is not a moiety and does not interpose malodor then it does not interpose horsepower. sent9: if the bridge does not interpose horsepower then the weathercock does not arrive message. sent10: if the weathercock is a kind of a Ham the translator does interpose horsepower. sent11: the sideroblast does arrive checkerbloom. sent12: the bridge is electromechanical. sent13: the translator is not sacral if the counterterrorist either is a Ham or is electromechanical or both. sent14: if the bridge either is a kind of a hemagglutination or arrives message or both then the counterterrorist is not a moiety. sent15: something is not electromechanical if it is not a kind of a moiety and it does not interpose malodor. sent16: if the translator arrives checkerbloom the counterterrorist does not interpose malodor. sent17: if the translator is not a kind of a Ham then the counterterrorist does not interpose malodor. sent18: if the weathercock does not arrive checkerbloom then the translator does arrive checkerbloom and arrives message. sent19: the translator is not a kind of a hemagglutination. sent20: the weathercock does arrive message and it does interpose horsepower if the bridge does not arrive message. sent21: that the translator does not arrive checkerbloom is not false if it is not a kind of a hemagglutination and does not arrive message. sent22: the counterterrorist is a kind of electromechanical thing that is sacral. sent23: the translator is both not profitable and not a hemagglutination. sent24: the hipbone is sacral. sent25: the counterterrorist does not interpose horsepower if the weathercock is sacral. sent26: the weathercock is not sacral. ; $proof$ = 
void -> assump1: Let's assume that the bridge does arrive message.; assump1 -> int1: the bridge either is a hemagglutination or arrives message or both.; int1 & sent14 -> int2: the fact that the counterterrorist is not a kind of a moiety is right.; sent7 & sent16 & sent17 -> int3: the counterterrorist does not interpose malodor.; int2 & int3 -> int4: the counterterrorist is not a kind of a moiety and it does not interpose malodor.; sent15 -> int5: the counterterrorist is not electromechanical if it is not a moiety and it does not interpose malodor.; int4 & int5 -> int6: the counterterrorist is not electromechanical.; sent22 -> int7: the counterterrorist is electromechanical.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the bridge does not arrive message.; int9 & sent20 -> int10: the weathercock does arrive message and interposes horsepower.; int10 -> hypothesis; __PROVED__