the orderly is exilic.
sent1: the fact that the whippoorwill is exilic is correct. sent2: if the fusilier is not a kind of a Monomorium but it is dull the whippoorwill is not dull. sent3: if there exists something such that the fact that it is a frappe and it does lob NYSE does not hold the carbonara is not a Slovenian. sent4: if there is something such that it does not suborn immunosuppression the whippoorwill is not a rickrack. sent5: there exists something such that it is not unpatriotic. sent6: something suborns immunosuppression but it is not Thoreauvian if it is not a Slovenian. sent7: there exists something such that that it is a frappe and it lobs NYSE is wrong. sent8: something is a creation and is a kind of a fit if it does not fetter danaid. sent9: if something that does not lob roisterer does not dull the whippoorwill does not lob hackee. sent10: the roisterer does not suborn immunosuppression if the carbonara does suborn immunosuppression but it is not Thoreauvian. sent11: if the fact that something is unpatriotic and it does fetter danaid is incorrect it does not fetter danaid. sent12: something does not lob roisterer and it is not dull. sent13: the watercolorist is exilic. sent14: that the orderly is exilic and does lob hackee if the whippoorwill does not lob roisterer is true. sent15: if a non-exilic thing lobs hackee then it does lob roisterer. sent16: something does not lob hackee and is not exilic. sent17: if something is a creation then it is not a Monomorium and it dulls. sent18: that the whippoorwill lobs hackee hold if the orderly is exilic. sent19: something does not lob roisterer if it is not a rickrack and is not dull.
void -> assump1: Let's assume that the orderly is exilic.; sent18 & assump1 -> int1: the whippoorwill lobs hackee.; sent12 & sent9 -> int2: the whippoorwill does not lob hackee.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the orderly is exilic.
sent19 -> int4: the whippoorwill does not lob roisterer if it is not a rickrack and not dull.; sent6 -> int5: the carbonara suborns immunosuppression but it is not Thoreauvian if it is not a Slovenian.; sent7 & sent3 -> int6: the carbonara is not Slovenian.; int5 & int6 -> int7: the carbonara suborns immunosuppression and is not Thoreauvian.; sent10 & int7 -> int8: the fact that the roisterer does not suborn immunosuppression is not false.; int8 -> int9: there exists something such that it does not suborn immunosuppression.; int9 & sent4 -> int10: the whippoorwill is not a kind of a rickrack.; sent17 -> int11: if the fusilier is a creation it is not a Monomorium and it dulls.; sent8 -> int12: if the fusilier does not fetter danaid then it is a creation that is fit.; sent11 -> int13: that the fusilier does not fetter danaid hold if that it is unpatriotic and it fetter danaid is incorrect.;
$hypothesis$ = the orderly is exilic. ; $context$ = sent1: the fact that the whippoorwill is exilic is correct. sent2: if the fusilier is not a kind of a Monomorium but it is dull the whippoorwill is not dull. sent3: if there exists something such that the fact that it is a frappe and it does lob NYSE does not hold the carbonara is not a Slovenian. sent4: if there is something such that it does not suborn immunosuppression the whippoorwill is not a rickrack. sent5: there exists something such that it is not unpatriotic. sent6: something suborns immunosuppression but it is not Thoreauvian if it is not a Slovenian. sent7: there exists something such that that it is a frappe and it lobs NYSE is wrong. sent8: something is a creation and is a kind of a fit if it does not fetter danaid. sent9: if something that does not lob roisterer does not dull the whippoorwill does not lob hackee. sent10: the roisterer does not suborn immunosuppression if the carbonara does suborn immunosuppression but it is not Thoreauvian. sent11: if the fact that something is unpatriotic and it does fetter danaid is incorrect it does not fetter danaid. sent12: something does not lob roisterer and it is not dull. sent13: the watercolorist is exilic. sent14: that the orderly is exilic and does lob hackee if the whippoorwill does not lob roisterer is true. sent15: if a non-exilic thing lobs hackee then it does lob roisterer. sent16: something does not lob hackee and is not exilic. sent17: if something is a creation then it is not a Monomorium and it dulls. sent18: that the whippoorwill lobs hackee hold if the orderly is exilic. sent19: something does not lob roisterer if it is not a rickrack and is not dull. ; $proof$ = 
void -> assump1: Let's assume that the orderly is exilic.; sent18 & assump1 -> int1: the whippoorwill lobs hackee.; sent12 & sent9 -> int2: the whippoorwill does not lob hackee.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__