the American does not chug.
sent1: if something that does hobnob quivers shortness it does not compromise Lysenko. sent2: the bandtail hobnobs if there exists something such that that it is meningeal or it is a safehold or both does not hold. sent3: the superhighway chugs if there exists something such that that either it is meningeal or it compromises Lysenko or both is not correct. sent4: if something that does not compromise Lysenko is not a pennycress it does quiver shortness. sent5: The shortness does quiver bandtail. sent6: everything is not meningeal. sent7: the bristlegrass is not meningeal. sent8: the fact that the lysis is a chug is not false. sent9: the American is not a chug if the fact that the superhighway is a pennycress and it compromises Lysenko is not correct. sent10: the American is a kind of a chug if the bandtail does not chug and quivers shortness. sent11: the superhighway does hobnob if there exists something such that it quivers shortness. sent12: there is nothing that is meningeal or a safehold or both. sent13: the fact that the superhighway is a kind of a pennycress and compromises Lysenko does not hold if the bandtail does not compromises Lysenko. sent14: the American does not compromise Lysenko and it is not a kind of a pennycress if something chugs. sent15: something is not meningeal. sent16: if the superhighway is not a pennycress the fact that the American is not a chug is not false. sent17: if something does not hobnob then it is not a kind of a chug and it does quiver shortness. sent18: the bandtail does quiver shortness.
sent12 -> int1: that the bristlegrass is meningeal and/or is a kind of a safehold is false.; int1 -> int2: there is something such that that either it is meningeal or it is a safehold or both does not hold.; int2 & sent2 -> int3: the bandtail hobnobs.; int3 & sent18 -> int4: the bandtail hobnobs and it does quiver shortness.; sent1 -> int5: the bandtail does not compromise Lysenko if it hobnobs and it quivers shortness.; int4 & int5 -> int6: the fact that the bandtail does not compromise Lysenko is not false.; int6 & sent13 -> int7: that the superhighway is a pennycress and it does compromise Lysenko is incorrect.; int7 & sent9 -> hypothesis;
the American does chug.
sent17 -> int8: if the fact that the bandtail does not hobnob is right then it is not a chug and it quivers shortness.;
$hypothesis$ = the American does not chug. ; $context$ = sent1: if something that does hobnob quivers shortness it does not compromise Lysenko. sent2: the bandtail hobnobs if there exists something such that that it is meningeal or it is a safehold or both does not hold. sent3: the superhighway chugs if there exists something such that that either it is meningeal or it compromises Lysenko or both is not correct. sent4: if something that does not compromise Lysenko is not a pennycress it does quiver shortness. sent5: The shortness does quiver bandtail. sent6: everything is not meningeal. sent7: the bristlegrass is not meningeal. sent8: the fact that the lysis is a chug is not false. sent9: the American is not a chug if the fact that the superhighway is a pennycress and it compromises Lysenko is not correct. sent10: the American is a kind of a chug if the bandtail does not chug and quivers shortness. sent11: the superhighway does hobnob if there exists something such that it quivers shortness. sent12: there is nothing that is meningeal or a safehold or both. sent13: the fact that the superhighway is a kind of a pennycress and compromises Lysenko does not hold if the bandtail does not compromises Lysenko. sent14: the American does not compromise Lysenko and it is not a kind of a pennycress if something chugs. sent15: something is not meningeal. sent16: if the superhighway is not a pennycress the fact that the American is not a chug is not false. sent17: if something does not hobnob then it is not a kind of a chug and it does quiver shortness. sent18: the bandtail does quiver shortness. ; $proof$ = 
sent12 -> int1: that the bristlegrass is meningeal and/or is a kind of a safehold is false.; int1 -> int2: there is something such that that either it is meningeal or it is a safehold or both does not hold.; int2 & sent2 -> int3: the bandtail hobnobs.; int3 & sent18 -> int4: the bandtail hobnobs and it does quiver shortness.; sent1 -> int5: the bandtail does not compromise Lysenko if it hobnobs and it quivers shortness.; int4 & int5 -> int6: the fact that the bandtail does not compromise Lysenko is not false.; int6 & sent13 -> int7: that the superhighway is a pennycress and it does compromise Lysenko is incorrect.; int7 & sent9 -> hypothesis; __PROVED__