that the standpipe is not a kind of a nondescript hold.
sent1: that if something is not an initiate then it does impersonate eggbeater or it is not a nondescript or both is not wrong. sent2: there is something such that it is ammoniac. sent3: the standpipe is not an initiate if something is not a phone-in and is not a classic. sent4: that something is ammoniac thing that does not spiel Lund is false if it does not impersonate eggbeater. sent5: the Mohican initiates and does impersonate eggbeater. sent6: if that the standpipe is not a ammoniac is incorrect then it glows. sent7: the Mohican is not a phone-in and it is not a classic. sent8: either everything is not a kind of a phone-in or it is not an initiate or both. sent9: something spiels Lund if the fact that it is not a nondescript is not false. sent10: the Mohican does spiel Lund if something is a ammoniac. sent11: the Mohican does initiate. sent12: if something that impersonates eggbeater spiels Lund the standpipe is not a nondescript. sent13: something does impersonate eggbeater. sent14: there is something such that it spiels Lund. sent15: there is something such that that it is a vermouth is not incorrect. sent16: the eggbeater is a vertebrate if there exists something such that it is an initiate.
sent2 & sent10 -> int1: the Mohican does spiel Lund.; sent5 -> int2: the Mohican does impersonate eggbeater.; int1 & int2 -> int3: the Mohican impersonates eggbeater and it spiels Lund.; int3 -> int4: something does impersonate eggbeater and spiels Lund.; int4 & sent12 -> hypothesis;
the standpipe does spiel Lund and does glow.
sent1 -> int5: if the standpipe does not initiate it impersonates eggbeater or is not a nondescript or both.; sent7 -> int6: there exists something such that it is not a kind of a phone-in and it is not a classic.; int6 & sent3 -> int7: the standpipe is not an initiate.; int5 & int7 -> int8: either the standpipe impersonates eggbeater or it is not a nondescript or both.; sent9 -> int9: if the standpipe is not a kind of a nondescript then it spiels Lund.;
$hypothesis$ = that the standpipe is not a kind of a nondescript hold. ; $context$ = sent1: that if something is not an initiate then it does impersonate eggbeater or it is not a nondescript or both is not wrong. sent2: there is something such that it is ammoniac. sent3: the standpipe is not an initiate if something is not a phone-in and is not a classic. sent4: that something is ammoniac thing that does not spiel Lund is false if it does not impersonate eggbeater. sent5: the Mohican initiates and does impersonate eggbeater. sent6: if that the standpipe is not a ammoniac is incorrect then it glows. sent7: the Mohican is not a phone-in and it is not a classic. sent8: either everything is not a kind of a phone-in or it is not an initiate or both. sent9: something spiels Lund if the fact that it is not a nondescript is not false. sent10: the Mohican does spiel Lund if something is a ammoniac. sent11: the Mohican does initiate. sent12: if something that impersonates eggbeater spiels Lund the standpipe is not a nondescript. sent13: something does impersonate eggbeater. sent14: there is something such that it spiels Lund. sent15: there is something such that that it is a vermouth is not incorrect. sent16: the eggbeater is a vertebrate if there exists something such that it is an initiate. ; $proof$ = 
sent2 & sent10 -> int1: the Mohican does spiel Lund.; sent5 -> int2: the Mohican does impersonate eggbeater.; int1 & int2 -> int3: the Mohican impersonates eggbeater and it spiels Lund.; int3 -> int4: something does impersonate eggbeater and spiels Lund.; int4 & sent12 -> hypothesis; __PROVED__