the choler does prepare and it is a kind of a pressure.
sent1: if that the choler does not signalize is not false it is a kind of a Dusseldorf. sent2: the mods is a kind of a Eugenia and represses Shiite. sent3: The Shiite does not repress butanone. sent4: the robber is a kind of infrequent thing that does not tick patient. sent5: the butanone does not repress Shiite. sent6: if something is infrequent but it is not ecclesiastical then the Shiite does not want. sent7: the robber is infrequent but it is not ecclesiastical if the flunky is not infrequent. sent8: the fact that the choler does prepare and is a Dusseldorf is not wrong if it does not signalize. sent9: if something wants the fact that the emeritus ticks patient and it is infrequent is not right. sent10: something wants if it is ecclesiastical. sent11: if the butanone does not repress Shiite then the emeritus does not tick patient. sent12: something uplifts if it does not want. sent13: the emeritus ticks patient if that the flunky is infrequent is correct. sent14: the choler does not signalize. sent15: if that that the emeritus ticks patient and is infrequent is incorrect is true the flunky is not a pressure.
void -> assump1: Let's assume that the flunky is infrequent.; sent13 & assump1 -> int1: the emeritus does tick patient.; sent11 & sent5 -> int2: the emeritus does not tick patient.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the flunky is not infrequent.; int4 & sent7 -> int5: the robber is infrequent but it is non-ecclesiastical.; int5 -> int6: there is something such that it is not frequent but non-ecclesiastical.; int6 & sent6 -> int7: the Shiite does not want.; sent12 -> int8: if the Shiite does not want it uplifts.; int7 & int8 -> int9: the fact that the Shiite is an uplifting is not incorrect.; sent8 & sent14 -> int10: the choler prepares and it is a Dusseldorf.; int10 -> int11: the choler prepares.;
the fact that the choler does prepare and is a pressure does not hold.
sent10 -> int12: if the robber is ecclesiastical then it wants.;
$hypothesis$ = the choler does prepare and it is a kind of a pressure. ; $context$ = sent1: if that the choler does not signalize is not false it is a kind of a Dusseldorf. sent2: the mods is a kind of a Eugenia and represses Shiite. sent3: The Shiite does not repress butanone. sent4: the robber is a kind of infrequent thing that does not tick patient. sent5: the butanone does not repress Shiite. sent6: if something is infrequent but it is not ecclesiastical then the Shiite does not want. sent7: the robber is infrequent but it is not ecclesiastical if the flunky is not infrequent. sent8: the fact that the choler does prepare and is a Dusseldorf is not wrong if it does not signalize. sent9: if something wants the fact that the emeritus ticks patient and it is infrequent is not right. sent10: something wants if it is ecclesiastical. sent11: if the butanone does not repress Shiite then the emeritus does not tick patient. sent12: something uplifts if it does not want. sent13: the emeritus ticks patient if that the flunky is infrequent is correct. sent14: the choler does not signalize. sent15: if that that the emeritus ticks patient and is infrequent is incorrect is true the flunky is not a pressure. ; $proof$ = 
void -> assump1: Let's assume that the flunky is infrequent.; sent13 & assump1 -> int1: the emeritus does tick patient.; sent11 & sent5 -> int2: the emeritus does not tick patient.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the flunky is not infrequent.; int4 & sent7 -> int5: the robber is infrequent but it is non-ecclesiastical.; int5 -> int6: there is something such that it is not frequent but non-ecclesiastical.; int6 & sent6 -> int7: the Shiite does not want.; sent12 -> int8: if the Shiite does not want it uplifts.; int7 & int8 -> int9: the fact that the Shiite is an uplifting is not incorrect.; sent8 & sent14 -> int10: the choler prepares and it is a Dusseldorf.; int10 -> int11: the choler prepares.; __UNKNOWN__