the keelson is a purge and a iodoform.
sent1: the step does narrow JDAM and is dumpy. sent2: there exists something such that that it is not depressant and is deductive is false. sent3: if the step is dumpy then the torpedo intrigues. sent4: the fact that if the fact that something does not narrow JDAM and is not dumpy is not right then that it is dumpy is not incorrect is correct. sent5: if there is something such that it is depressant then the Sheetrock is thermoelectric. sent6: if something is not an intriguing the fact that it does not narrow JDAM and is non-dumpy is false. sent7: if the torpedo is an intriguing the keelson is a Semarang. sent8: there are non-depressant things. sent9: the keelson is a Rama. sent10: if that the keelson is thermoelectric is not wrong then it does purge. sent11: if there is something such that the fact that it is both non-depressant and deductive is not right the Sheetrock is not non-thermoelectric. sent12: the fact that the torpedo is an intriguing but it is not a Semarang is false if the step is not a iodoform. sent13: there is something such that that it is a kind of depressant thing that is deductive does not hold. sent14: if that something is a kind of an intriguing that is not a kind of a Semarang is not right then it is not an intriguing. sent15: if the fact that the Sheetrock is thermoelectric is not false then the keelson is thermoelectric.
sent1 -> int1: the step is dumpy.; int1 & sent3 -> int2: the torpedo is a kind of an intriguing.; int2 & sent7 -> int3: the keelson is a Semarang.; sent2 & sent11 -> int4: the Sheetrock is thermoelectric.; sent15 & int4 -> int5: the keelson is thermoelectric.; sent10 & int5 -> int6: the keelson is a kind of a purge.;
the fact that the torpedo is dumpy hold.
sent4 -> int7: if the fact that the torpedo does not narrow JDAM and is non-dumpy does not hold it is non-dumpy.; sent6 -> int8: if the torpedo is not a kind of an intriguing that it does not narrow JDAM and is not dumpy does not hold.; sent14 -> int9: if the fact that the torpedo is an intriguing and not a Semarang does not hold it is not an intriguing.;
$hypothesis$ = the keelson is a purge and a iodoform. ; $context$ = sent1: the step does narrow JDAM and is dumpy. sent2: there exists something such that that it is not depressant and is deductive is false. sent3: if the step is dumpy then the torpedo intrigues. sent4: the fact that if the fact that something does not narrow JDAM and is not dumpy is not right then that it is dumpy is not incorrect is correct. sent5: if there is something such that it is depressant then the Sheetrock is thermoelectric. sent6: if something is not an intriguing the fact that it does not narrow JDAM and is non-dumpy is false. sent7: if the torpedo is an intriguing the keelson is a Semarang. sent8: there are non-depressant things. sent9: the keelson is a Rama. sent10: if that the keelson is thermoelectric is not wrong then it does purge. sent11: if there is something such that the fact that it is both non-depressant and deductive is not right the Sheetrock is not non-thermoelectric. sent12: the fact that the torpedo is an intriguing but it is not a Semarang is false if the step is not a iodoform. sent13: there is something such that that it is a kind of depressant thing that is deductive does not hold. sent14: if that something is a kind of an intriguing that is not a kind of a Semarang is not right then it is not an intriguing. sent15: if the fact that the Sheetrock is thermoelectric is not false then the keelson is thermoelectric. ; $proof$ = 
sent1 -> int1: the step is dumpy.; int1 & sent3 -> int2: the torpedo is a kind of an intriguing.; int2 & sent7 -> int3: the keelson is a Semarang.; sent2 & sent11 -> int4: the Sheetrock is thermoelectric.; sent15 & int4 -> int5: the keelson is thermoelectric.; sent10 & int5 -> int6: the keelson is a kind of a purge.; __UNKNOWN__