the espadrille does fragment LASEK.
sent1: the commando is not run-on. sent2: if that something is uncooperative but it is not a cultism is not right it does not fragment LASEK. sent3: if that something is not a kind of a Sondheim is not wrong then that it is uncooperative and it is not a cultism is wrong. sent4: if the fact that something is motional is not incorrect it does not warn. sent5: if there exists something such that it is not a Sondheim then the applicant is not uncooperative and not a cultism. sent6: if the espadrille is hydric then it is pentecostal. sent7: the commando is motional if the ixodid is not a Sondheim. sent8: the applicant fragments tonnage if that the martinet does not fragments tonnage and is not motional is false. sent9: the espadrille does fragment LASEK if the commando does not warn. sent10: if the martinet does warn then the fact that it does not fragment tonnage and it is not motional is not right. sent11: the martinet is not a cultism. sent12: the cowslip warns. sent13: the fact that the commando is a kind of a latrine is not false. sent14: something does not warn and is not non-motional if it is pentecostal. sent15: if something is not uncooperative and it is not a cultism it does not fragment LASEK. sent16: the commando is not uncooperative. sent17: something that does not warn and is motional is not a Sondheim. sent18: the ixodid is not a Sondheim if the martinet is not a cultism but it is uncooperative. sent19: if the commando is not washable and it is not run-on it is not a Sondheim. sent20: the commando is not washable. sent21: the proconsul is uncooperative. sent22: the ixodid does warn.
sent4 -> int1: the commando does not warn if it is not non-motional.;
the espadrille does not fragment LASEK.
sent2 -> int2: if that the espadrille is both uncooperative and not a cultism is incorrect then the fact that it fragments LASEK is not true.; sent3 -> int3: the fact that the espadrille is uncooperative and is not a cultism is false if it is not a kind of a Sondheim.; sent17 -> int4: the espadrille is not a Sondheim if it does not warn and is motional.; sent14 -> int5: if the espadrille is pentecostal then it does not warn and it is motional.;
$hypothesis$ = the espadrille does fragment LASEK. ; $context$ = sent1: the commando is not run-on. sent2: if that something is uncooperative but it is not a cultism is not right it does not fragment LASEK. sent3: if that something is not a kind of a Sondheim is not wrong then that it is uncooperative and it is not a cultism is wrong. sent4: if the fact that something is motional is not incorrect it does not warn. sent5: if there exists something such that it is not a Sondheim then the applicant is not uncooperative and not a cultism. sent6: if the espadrille is hydric then it is pentecostal. sent7: the commando is motional if the ixodid is not a Sondheim. sent8: the applicant fragments tonnage if that the martinet does not fragments tonnage and is not motional is false. sent9: the espadrille does fragment LASEK if the commando does not warn. sent10: if the martinet does warn then the fact that it does not fragment tonnage and it is not motional is not right. sent11: the martinet is not a cultism. sent12: the cowslip warns. sent13: the fact that the commando is a kind of a latrine is not false. sent14: something does not warn and is not non-motional if it is pentecostal. sent15: if something is not uncooperative and it is not a cultism it does not fragment LASEK. sent16: the commando is not uncooperative. sent17: something that does not warn and is motional is not a Sondheim. sent18: the ixodid is not a Sondheim if the martinet is not a cultism but it is uncooperative. sent19: if the commando is not washable and it is not run-on it is not a Sondheim. sent20: the commando is not washable. sent21: the proconsul is uncooperative. sent22: the ixodid does warn. ; $proof$ = 
sent4 -> int1: the commando does not warn if it is not non-motional.; __UNKNOWN__