the non-roundness is brought about by that the indefeasibleness does not occur.
sent1: the uninucleateness and the medicine occurs if the whanging gingerol does not occur. sent2: the fact that the keystroke does not occur is not wrong if the uninucleateness but not the phlegminess occurs. sent3: the fact that the phlegminess does not occur hold if the isothermicness does not occur. sent4: if the fact that both the defeasibleness and the insuring occurs is not correct then the lapping promycelium occurs. sent5: if the aneroid does not occur then the fact that the indefeasibleness does not occur but the insuring happens is incorrect. sent6: that the lapping promycelium does not occur is caused by that the undesirableness and the round happens. sent7: the retroversion occurs. sent8: if the indefeasibleness happens the round does not occur. sent9: that the Peloponnesianness occurs and the retroversion occurs is caused by the desirableness. sent10: both the retroversion and the undesirable occurs. sent11: the fact that the whanging gingerol does not occur is correct. sent12: if the Demoticness happens the isothermicness does not occur. sent13: if the keystroke does not occur then the non-aneroidness and the non-disobedientness happens.
sent10 -> int1: the undesirable happens.; void -> assump1: Let's assume that the round happens.; int1 & assump1 -> int2: the undesirable happens and the round occurs.; sent6 & int2 -> int3: the lapping promycelium does not occur.;
the Peloponnesianness happens.
sent1 & sent11 -> int4: the uninucleateness and the medicine happens.; int4 -> int5: that the uninucleateness happens is not false.;
$hypothesis$ = the non-roundness is brought about by that the indefeasibleness does not occur. ; $context$ = sent1: the uninucleateness and the medicine occurs if the whanging gingerol does not occur. sent2: the fact that the keystroke does not occur is not wrong if the uninucleateness but not the phlegminess occurs. sent3: the fact that the phlegminess does not occur hold if the isothermicness does not occur. sent4: if the fact that both the defeasibleness and the insuring occurs is not correct then the lapping promycelium occurs. sent5: if the aneroid does not occur then the fact that the indefeasibleness does not occur but the insuring happens is incorrect. sent6: that the lapping promycelium does not occur is caused by that the undesirableness and the round happens. sent7: the retroversion occurs. sent8: if the indefeasibleness happens the round does not occur. sent9: that the Peloponnesianness occurs and the retroversion occurs is caused by the desirableness. sent10: both the retroversion and the undesirable occurs. sent11: the fact that the whanging gingerol does not occur is correct. sent12: if the Demoticness happens the isothermicness does not occur. sent13: if the keystroke does not occur then the non-aneroidness and the non-disobedientness happens. ; $proof$ = 
sent10 -> int1: the undesirable happens.; void -> assump1: Let's assume that the round happens.; int1 & assump1 -> int2: the undesirable happens and the round occurs.; sent6 & int2 -> int3: the lapping promycelium does not occur.; __UNKNOWN__