the cefuroxime does not jar bronchoscope.
sent1: the culotte does not tire pardoner or is a kind of a phot or both. sent2: that something is neuropsychological thing that is not a kind of a rhenium does not hold if the fact that it telescopes is true. sent3: if that something does urticate kilohertz but it is not a Irishman is false it is not a wretchedness. sent4: something that does jar PTO does regret. sent5: the cefuroxime does telescope. sent6: there exists something such that it does telescope. sent7: the fact that if the nipa does regret then the cyclooxygenase-1 is neuropsychological is right. sent8: if something does jar PTO it is a telescope. sent9: the cyclooxygenase-1 does not telescope if something does not tire pardoner or it is a phot or both. sent10: the cefuroxime does not jar bronchoscope if something does regret. sent11: if something does not tire pardoner then the cyclooxygenase-1 is not a telescope. sent12: the nipa is neuropsychological if something is not a kind of a telescope. sent13: the cyclooxygenase-1 is a kind of a rhenium if there is something such that that it is neuropsychological and is not a kind of a rhenium is not correct. sent14: the bronchoscope does not urticate kilohertz. sent15: the nipa is neuropsychological thing that does jar PTO if there exists something such that it is not a telescope. sent16: if the tombac is not a wretchedness then the nipa does regret or it jars PTO or both.
sent1 -> int1: there is something such that it does not tire pardoner and/or it is a kind of a phot.; int1 & sent9 -> int2: the cyclooxygenase-1 is not a telescope.; int2 -> int3: something is not a telescope.; int3 & sent15 -> int4: the nipa is neuropsychological and jars PTO.; int4 -> int5: the fact that the nipa does jar PTO is not wrong.; sent4 -> int6: if the nipa does jar PTO it regrets.; int5 & int6 -> int7: that that the nipa does not regret is not true is not false.; int7 -> int8: there is something such that it does regret.; int8 & sent10 -> hypothesis;
the cefuroxime does jar bronchoscope.
sent3 -> int9: the tombac is not a wretchedness if the fact that it urticates kilohertz and is not a Irishman is wrong.; sent14 -> int10: there exists something such that it does not urticate kilohertz.;
$hypothesis$ = the cefuroxime does not jar bronchoscope. ; $context$ = sent1: the culotte does not tire pardoner or is a kind of a phot or both. sent2: that something is neuropsychological thing that is not a kind of a rhenium does not hold if the fact that it telescopes is true. sent3: if that something does urticate kilohertz but it is not a Irishman is false it is not a wretchedness. sent4: something that does jar PTO does regret. sent5: the cefuroxime does telescope. sent6: there exists something such that it does telescope. sent7: the fact that if the nipa does regret then the cyclooxygenase-1 is neuropsychological is right. sent8: if something does jar PTO it is a telescope. sent9: the cyclooxygenase-1 does not telescope if something does not tire pardoner or it is a phot or both. sent10: the cefuroxime does not jar bronchoscope if something does regret. sent11: if something does not tire pardoner then the cyclooxygenase-1 is not a telescope. sent12: the nipa is neuropsychological if something is not a kind of a telescope. sent13: the cyclooxygenase-1 is a kind of a rhenium if there is something such that that it is neuropsychological and is not a kind of a rhenium is not correct. sent14: the bronchoscope does not urticate kilohertz. sent15: the nipa is neuropsychological thing that does jar PTO if there exists something such that it is not a telescope. sent16: if the tombac is not a wretchedness then the nipa does regret or it jars PTO or both. ; $proof$ = 
sent1 -> int1: there is something such that it does not tire pardoner and/or it is a kind of a phot.; int1 & sent9 -> int2: the cyclooxygenase-1 is not a telescope.; int2 -> int3: something is not a telescope.; int3 & sent15 -> int4: the nipa is neuropsychological and jars PTO.; int4 -> int5: the fact that the nipa does jar PTO is not wrong.; sent4 -> int6: if the nipa does jar PTO it regrets.; int5 & int6 -> int7: that that the nipa does not regret is not true is not false.; int7 -> int8: there is something such that it does regret.; int8 & sent10 -> hypothesis; __PROVED__