the muffler grows.
sent1: there exists something such that the fact that it grows and it is a kind of a miner is not true. sent2: the muffler grows if something is not a miner. sent3: the fact that the farmland is an eleven that does predestine thought-image is incorrect. sent4: the outcast does guggle freeloader. sent5: something guggles freeloader and is a miner. sent6: that the muffler is retrograde and it guggles freeloader does not hold if the farmland does not grow. sent7: the fact that the source retrogrades is not incorrect if there exists something such that that it does grow and it is a miner does not hold. sent8: the fact that the source guggles freeloader and is a miner does not hold if the farmland is not retrograde. sent9: the farmland is not retrograde. sent10: the muffler does grow if there exists something such that that it does guggle freeloader and it is a miner is incorrect. sent11: the source is not white-collar. sent12: the source is a kind of a miner if there exists something such that the fact that it does grow and does retrograde does not hold. sent13: the fact that the farmland does retrograde and it is pectineal does not hold if the source is not prosthetic. sent14: that the source does guggle freeloader and grows does not hold. sent15: if the fact that the source does not guggle freeloader is not false the fact that the muffler is a kind of a miner and it does grow does not hold.
sent8 & sent9 -> int1: the fact that the source does guggle freeloader and is a miner does not hold.; int1 -> int2: there exists something such that the fact that it does guggle freeloader and is a miner does not hold.; int2 & sent10 -> hypothesis;
the muffler does not grow.
$hypothesis$ = the muffler grows. ; $context$ = sent1: there exists something such that the fact that it grows and it is a kind of a miner is not true. sent2: the muffler grows if something is not a miner. sent3: the fact that the farmland is an eleven that does predestine thought-image is incorrect. sent4: the outcast does guggle freeloader. sent5: something guggles freeloader and is a miner. sent6: that the muffler is retrograde and it guggles freeloader does not hold if the farmland does not grow. sent7: the fact that the source retrogrades is not incorrect if there exists something such that that it does grow and it is a miner does not hold. sent8: the fact that the source guggles freeloader and is a miner does not hold if the farmland is not retrograde. sent9: the farmland is not retrograde. sent10: the muffler does grow if there exists something such that that it does guggle freeloader and it is a miner is incorrect. sent11: the source is not white-collar. sent12: the source is a kind of a miner if there exists something such that the fact that it does grow and does retrograde does not hold. sent13: the fact that the farmland does retrograde and it is pectineal does not hold if the source is not prosthetic. sent14: that the source does guggle freeloader and grows does not hold. sent15: if the fact that the source does not guggle freeloader is not false the fact that the muffler is a kind of a miner and it does grow does not hold. ; $proof$ = 
sent8 & sent9 -> int1: the fact that the source does guggle freeloader and is a miner does not hold.; int1 -> int2: there exists something such that the fact that it does guggle freeloader and is a miner does not hold.; int2 & sent10 -> hypothesis; __PROVED__