the fact that the scrubland does not forecast hypocorism but it is lethargic is incorrect.
sent1: if something is a modal then the fact that it is an end and Dionysian does not hold. sent2: that the psychiatrist does forecast hypocorism and does forecast Kendall is incorrect. sent3: the scrubland crusts arsenide if the inductor does not compensate goddaughter and it does not crusts arsenide. sent4: the inductor does not crust neckband if something is an end. sent5: that that something does not forecast hypocorism and is lethargic does not hold if the fact that it does not crust arsenide is not incorrect is not wrong. sent6: if there is something such that that it is not an end and it is Dionysian is not correct the inductor does not crust neckband. sent7: there exists something such that that it is a kind of non-apopemptic a Mussorgsky is incorrect. sent8: everything is modal. sent9: if something crusts arsenide then the fact that it does not forecast Kendall and does not crust neckband does not hold. sent10: that the psychiatrist forecasts Kendall and does forecast hypocorism is wrong. sent11: the fact that the scrubland forecasts hypocorism and it is lethargic is wrong if it does not crust arsenide. sent12: the psychiatrist does not forecast Kendall if the fact that the inductor does not crust neckband is correct. sent13: that something is not an end and not non-Dionysian is not correct if it is a kind of a modal. sent14: the inductor does not compensate goddaughter if there is something such that the fact that it is not apopemptic and is a kind of a Mussorgsky is not true. sent15: that the psychiatrist is not an end is not incorrect. sent16: something does not forecast hypocorism and is lethargic if it is not a modal.
sent13 -> int1: if the mud is a modal then that it is both not an end and Dionysian is incorrect.; sent8 -> int2: the mud is modal.; int1 & int2 -> int3: that the mud is not an end but it is Dionysian is incorrect.; int3 -> int4: there exists something such that that it is both not an end and Dionysian does not hold.; int4 & sent6 -> int5: the inductor does not crust neckband.; int5 & sent12 -> int6: the psychiatrist does not forecast Kendall.; sent5 -> int7: if the scrubland does not crust arsenide then the fact that it does not forecast hypocorism and is lethargic is incorrect.;
the scrubland does not forecast hypocorism but it is lethargic.
sent16 -> int8: the scrubland does not forecast hypocorism but it is lethargic if it is not modal.; sent9 -> int9: the fact that the scrubland does not forecast Kendall and does not crust neckband is wrong if it does crust arsenide.; sent7 & sent14 -> int10: the inductor does not compensate goddaughter.;
$hypothesis$ = the fact that the scrubland does not forecast hypocorism but it is lethargic is incorrect. ; $context$ = sent1: if something is a modal then the fact that it is an end and Dionysian does not hold. sent2: that the psychiatrist does forecast hypocorism and does forecast Kendall is incorrect. sent3: the scrubland crusts arsenide if the inductor does not compensate goddaughter and it does not crusts arsenide. sent4: the inductor does not crust neckband if something is an end. sent5: that that something does not forecast hypocorism and is lethargic does not hold if the fact that it does not crust arsenide is not incorrect is not wrong. sent6: if there is something such that that it is not an end and it is Dionysian is not correct the inductor does not crust neckband. sent7: there exists something such that that it is a kind of non-apopemptic a Mussorgsky is incorrect. sent8: everything is modal. sent9: if something crusts arsenide then the fact that it does not forecast Kendall and does not crust neckband does not hold. sent10: that the psychiatrist forecasts Kendall and does forecast hypocorism is wrong. sent11: the fact that the scrubland forecasts hypocorism and it is lethargic is wrong if it does not crust arsenide. sent12: the psychiatrist does not forecast Kendall if the fact that the inductor does not crust neckband is correct. sent13: that something is not an end and not non-Dionysian is not correct if it is a kind of a modal. sent14: the inductor does not compensate goddaughter if there is something such that the fact that it is not apopemptic and is a kind of a Mussorgsky is not true. sent15: that the psychiatrist is not an end is not incorrect. sent16: something does not forecast hypocorism and is lethargic if it is not a modal. ; $proof$ = 
sent13 -> int1: if the mud is a modal then that it is both not an end and Dionysian is incorrect.; sent8 -> int2: the mud is modal.; int1 & int2 -> int3: that the mud is not an end but it is Dionysian is incorrect.; int3 -> int4: there exists something such that that it is both not an end and Dionysian does not hold.; int4 & sent6 -> int5: the inductor does not crust neckband.; int5 & sent12 -> int6: the psychiatrist does not forecast Kendall.; sent5 -> int7: if the scrubland does not crust arsenide then the fact that it does not forecast hypocorism and is lethargic is incorrect.; __UNKNOWN__