the immortalizing Orly causes that the premiere but not the cross-culturalness happens.
sent1: the premiere occurs if the diabeticness does not occur. sent2: if the permeableness occurs and the Djiboutian happens the deducing permanence does not occur. sent3: that the quiz happens and the glacialness does not occur is triggered by that the grazing does not occur. sent4: if the accounting does not occur then both the diabeticness and the Rembrandtesqueness happens. sent5: the breathlessness occurs. sent6: the immortalizing Orly does not occur if the diabetic occurs and the accounting happens. sent7: the checkmating mumble occurs. sent8: that the fisheyeness does not occur hold. sent9: that the accounting happens is not false. sent10: both the premiere and the cross-culturalness happens if the immortalizing Orly happens. sent11: if the immortalizing Orly happens the fact that the premiere occurs is not false. sent12: the prewarness occurs and the muchness happens. sent13: the unemotionalness and the knocking occurs. sent14: the toot happens. sent15: the badminton brings about that the immortalizing dhole but not the immortalizing crank occurs. sent16: the immortalizing Epidendrum happens. sent17: the Sovietness happens. sent18: both the premiere and the cross-culturalness occurs if the diabeticness does not occur.
void -> assump2: Let's assume that the immortalizing Orly happens.; void -> assump1: Let's assume that the diabetic happens.; assump1 & sent9 -> int1: the diabeticness and the accounting happens.; sent6 & int1 -> int2: the immortalizing Orly does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the diabetic does not occur.;
the Rembrandtesqueness occurs.
$hypothesis$ = the immortalizing Orly causes that the premiere but not the cross-culturalness happens. ; $context$ = sent1: the premiere occurs if the diabeticness does not occur. sent2: if the permeableness occurs and the Djiboutian happens the deducing permanence does not occur. sent3: that the quiz happens and the glacialness does not occur is triggered by that the grazing does not occur. sent4: if the accounting does not occur then both the diabeticness and the Rembrandtesqueness happens. sent5: the breathlessness occurs. sent6: the immortalizing Orly does not occur if the diabetic occurs and the accounting happens. sent7: the checkmating mumble occurs. sent8: that the fisheyeness does not occur hold. sent9: that the accounting happens is not false. sent10: both the premiere and the cross-culturalness happens if the immortalizing Orly happens. sent11: if the immortalizing Orly happens the fact that the premiere occurs is not false. sent12: the prewarness occurs and the muchness happens. sent13: the unemotionalness and the knocking occurs. sent14: the toot happens. sent15: the badminton brings about that the immortalizing dhole but not the immortalizing crank occurs. sent16: the immortalizing Epidendrum happens. sent17: the Sovietness happens. sent18: both the premiere and the cross-culturalness occurs if the diabeticness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the immortalizing Orly happens.; void -> assump1: Let's assume that the diabetic happens.; assump1 & sent9 -> int1: the diabeticness and the accounting happens.; sent6 & int1 -> int2: the immortalizing Orly does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the diabetic does not occur.; __UNKNOWN__