the lysogenizing dolichocephaly does not occur and the laxativeness occurs if the reconstructing occurs.
sent1: if that the saltiness but not the Laos occurs is false then the saltiness does not occur. sent2: if the parading occurs that the saltiness but not the Laos happens is not true. sent3: the nativeness happens. sent4: that the affineness does not occur but the cambering occurs prevents that the saltation occurs. sent5: if the acidimetry does not occur the fact that the laxative occurs and/or the sunray happens is not true. sent6: the reconstructing does not occur if that the laxativeness happens and/or the sunray occurs does not hold. sent7: if the native happens that the stunner happens but the parade does not occur is not true. sent8: that the besoting cardiopathy does not occur and the affineness does not occur is true if the saltiness does not occur. sent9: if the feudatoriness does not occur both the camber and the subrogating cryptanalyst happens. sent10: that the gibbering does not occur and the defervescentness does not occur does not hold if the typhoon occurs. sent11: that the feudatoriness does not occur is true if the fact that both the mononuclearness and the non-lithicness happens is false. sent12: the fact that the polynomialness does not occur and the acidimetry happens does not hold. sent13: if the fact that the stunner but not the parading occurs is false the parading occurs. sent14: that the mononuclearness but not the lithicness happens is not true if the subrogating Dominique happens. sent15: if the reconstructing does not occur then that the lysogenizing fireboat does not occur but the lysogenizing dolichocephaly occurs is not right. sent16: if the fact that both the non-polynomialness and the acidimetry occurs does not hold then the sunray occurs. sent17: that the subrogating Dominique and the lavishness occurs is brought about by that the besoting pincushion does not occur. sent18: if the saltation does not occur then that the fact that the nonracialness and the polynomialness happens is wrong hold. sent19: if the fact that the lysogenizing fireboat does not occur but the lysogenizing dolichocephaly occurs does not hold the lysogenizing fireboat occurs. sent20: that the sunray does not occur is triggered by that the reconstructing occurs and the lysogenizing dolichocephaly occurs. sent21: the besoting pincushion does not occur if that the fact that the gibbering does not occur and the defervescentness does not occur is correct is incorrect. sent22: the typhoon and the project occurs if the wiglessness does not occur.
void -> assump2: Let's assume that the reconstructing occurs.; void -> assump1: Let's assume that the lysogenizing dolichocephaly happens.; assump2 & assump1 -> int1: the reconstructing occurs and the lysogenizing dolichocephaly occurs.; int1 & sent20 -> int2: the sunray does not occur.; sent16 & sent12 -> int3: the sunray occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the lysogenizing dolichocephaly does not occur.;
the lysogenizing fireboat occurs.
sent7 & sent3 -> int6: that the stunner but not the parading happens is false.; sent13 & int6 -> int7: the parading happens.; sent2 & int7 -> int8: that the saltiness occurs and the Laosness does not occur does not hold.; sent1 & int8 -> int9: the saltiness does not occur.; sent8 & int9 -> int10: the besoting cardiopathy does not occur and the affineness does not occur.; int10 -> int11: the affineness does not occur.;
$hypothesis$ = the lysogenizing dolichocephaly does not occur and the laxativeness occurs if the reconstructing occurs. ; $context$ = sent1: if that the saltiness but not the Laos occurs is false then the saltiness does not occur. sent2: if the parading occurs that the saltiness but not the Laos happens is not true. sent3: the nativeness happens. sent4: that the affineness does not occur but the cambering occurs prevents that the saltation occurs. sent5: if the acidimetry does not occur the fact that the laxative occurs and/or the sunray happens is not true. sent6: the reconstructing does not occur if that the laxativeness happens and/or the sunray occurs does not hold. sent7: if the native happens that the stunner happens but the parade does not occur is not true. sent8: that the besoting cardiopathy does not occur and the affineness does not occur is true if the saltiness does not occur. sent9: if the feudatoriness does not occur both the camber and the subrogating cryptanalyst happens. sent10: that the gibbering does not occur and the defervescentness does not occur does not hold if the typhoon occurs. sent11: that the feudatoriness does not occur is true if the fact that both the mononuclearness and the non-lithicness happens is false. sent12: the fact that the polynomialness does not occur and the acidimetry happens does not hold. sent13: if the fact that the stunner but not the parading occurs is false the parading occurs. sent14: that the mononuclearness but not the lithicness happens is not true if the subrogating Dominique happens. sent15: if the reconstructing does not occur then that the lysogenizing fireboat does not occur but the lysogenizing dolichocephaly occurs is not right. sent16: if the fact that both the non-polynomialness and the acidimetry occurs does not hold then the sunray occurs. sent17: that the subrogating Dominique and the lavishness occurs is brought about by that the besoting pincushion does not occur. sent18: if the saltation does not occur then that the fact that the nonracialness and the polynomialness happens is wrong hold. sent19: if the fact that the lysogenizing fireboat does not occur but the lysogenizing dolichocephaly occurs does not hold the lysogenizing fireboat occurs. sent20: that the sunray does not occur is triggered by that the reconstructing occurs and the lysogenizing dolichocephaly occurs. sent21: the besoting pincushion does not occur if that the fact that the gibbering does not occur and the defervescentness does not occur is correct is incorrect. sent22: the typhoon and the project occurs if the wiglessness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the reconstructing occurs.; void -> assump1: Let's assume that the lysogenizing dolichocephaly happens.; assump2 & assump1 -> int1: the reconstructing occurs and the lysogenizing dolichocephaly occurs.; int1 & sent20 -> int2: the sunray does not occur.; sent16 & sent12 -> int3: the sunray occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the lysogenizing dolichocephaly does not occur.; __UNKNOWN__