the grinner consolidates arytenoid.
sent1: there exists something such that it sniffs airstream. sent2: if the fact that the surfeit either is not an overdrive or does empty Bowery or both does not hold then the surrogate does not consolidate Mycenae. sent3: if the favorite does not empty Bowery then the surfeit empty Bowery. sent4: the postmistress is an overdrive if the surfboat is an overdrive. sent5: the surrogate is a grainfield or it is not a fatigability or both. sent6: something that is not a kind of a grainfield or is not a fatigability or both does not overdrive. sent7: if there exists something such that it is not an overdrive the fact that the surfboat does consolidate Mycenae and it empties Bowery is incorrect. sent8: if the surrogate is a grainfield then that it consolidates Mycenae is true. sent9: the grinner does consolidate arytenoid if the surfboat is a amatungulu. sent10: the surfboat does sniff airstream. sent11: if the favorite does not empty Bowery the fact that that the surfeit is not an overdrive or does not empty Bowery or both does not hold is not false. sent12: the fact that something is a kind of a amatungulu but it does not empty Bowery does not hold if it overdrives. sent13: the tucker does not consolidate Mycenae. sent14: the favorite is not a grainfield and/or it is not a fatigability. sent15: something is a amatungulu but it does not consolidate arytenoid if it does not empty Bowery. sent16: the surrogate consolidates Mycenae if it is not a fatigability. sent17: if the fact that the surfeit either is not a kind of an overdrive or does not empty Bowery or both is incorrect the surrogate does not consolidate Mycenae. sent18: the surfboat sniffs airstream if it is not a amatungulu. sent19: the surfboat enters and does sniff airstream if it is not a kind of a amatungulu. sent20: the surfeit empties Bowery. sent21: something enters. sent22: the favorite does not empty Bowery if something that does enter does sniff airstream.
void -> assump1: Let's assume that the surfboat is not a amatungulu.; sent19 & assump1 -> int1: the surfboat does enter and does sniff airstream.; int1 -> int2: something enters and sniffs airstream.; int2 & sent22 -> int3: the favorite does not empty Bowery.; int3 & sent11 -> int4: that the surfeit is not an overdrive and/or it does not empty Bowery is not correct.; int4 & sent17 -> int5: the surrogate does not consolidate Mycenae.; sent5 & sent8 & sent16 -> int6: that the surrogate does consolidate Mycenae hold.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the surfboat is a amatungulu.; int8 & sent9 -> hypothesis;
the grinner does not consolidate arytenoid.
sent15 -> int9: if the fact that the grinner does not empty Bowery hold then it is a amatungulu and does not consolidate arytenoid.; sent6 -> int10: the favorite does not overdrive if it is not a grainfield and/or it is not a fatigability.; int10 & sent14 -> int11: the favorite does not overdrive.; int11 -> int12: there is something such that it does not overdrive.; int12 & sent7 -> int13: the fact that that the surfboat does consolidate Mycenae and does empty Bowery is false is not false.; int13 -> int14: there is something such that the fact that it does consolidate Mycenae and does empty Bowery does not hold.;
$hypothesis$ = the grinner consolidates arytenoid. ; $context$ = sent1: there exists something such that it sniffs airstream. sent2: if the fact that the surfeit either is not an overdrive or does empty Bowery or both does not hold then the surrogate does not consolidate Mycenae. sent3: if the favorite does not empty Bowery then the surfeit empty Bowery. sent4: the postmistress is an overdrive if the surfboat is an overdrive. sent5: the surrogate is a grainfield or it is not a fatigability or both. sent6: something that is not a kind of a grainfield or is not a fatigability or both does not overdrive. sent7: if there exists something such that it is not an overdrive the fact that the surfboat does consolidate Mycenae and it empties Bowery is incorrect. sent8: if the surrogate is a grainfield then that it consolidates Mycenae is true. sent9: the grinner does consolidate arytenoid if the surfboat is a amatungulu. sent10: the surfboat does sniff airstream. sent11: if the favorite does not empty Bowery the fact that that the surfeit is not an overdrive or does not empty Bowery or both does not hold is not false. sent12: the fact that something is a kind of a amatungulu but it does not empty Bowery does not hold if it overdrives. sent13: the tucker does not consolidate Mycenae. sent14: the favorite is not a grainfield and/or it is not a fatigability. sent15: something is a amatungulu but it does not consolidate arytenoid if it does not empty Bowery. sent16: the surrogate consolidates Mycenae if it is not a fatigability. sent17: if the fact that the surfeit either is not a kind of an overdrive or does not empty Bowery or both is incorrect the surrogate does not consolidate Mycenae. sent18: the surfboat sniffs airstream if it is not a amatungulu. sent19: the surfboat enters and does sniff airstream if it is not a kind of a amatungulu. sent20: the surfeit empties Bowery. sent21: something enters. sent22: the favorite does not empty Bowery if something that does enter does sniff airstream. ; $proof$ = 
void -> assump1: Let's assume that the surfboat is not a amatungulu.; sent19 & assump1 -> int1: the surfboat does enter and does sniff airstream.; int1 -> int2: something enters and sniffs airstream.; int2 & sent22 -> int3: the favorite does not empty Bowery.; int3 & sent11 -> int4: that the surfeit is not an overdrive and/or it does not empty Bowery is not correct.; int4 & sent17 -> int5: the surrogate does not consolidate Mycenae.; sent5 & sent8 & sent16 -> int6: that the surrogate does consolidate Mycenae hold.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the surfboat is a amatungulu.; int8 & sent9 -> hypothesis; __PROVED__