not the dousing but the according appellation happens.
sent1: the extensileness but not the hashing Luxemburger happens if the hashing spitz does not occur. sent2: the according conciliator does not occur and the opener does not occur if the dent does not occur. sent3: that the audiometricness does not occur causes that the designing happens and the rimlessness occurs. sent4: that the hashing Luxemburger happens prevents that the according Elephantidae does not occur. sent5: the audiometricness does not occur. sent6: the hashing Luxemburger happens and the hashing spitz occurs. sent7: that the dousing does not occur but the according appellation happens is not right if the hashing Luxemburger does not occur. sent8: that the according conciliator does not occur and the opener does not occur yields that the campaigning does not occur. sent9: if that the surrounding and the non-nativistness occurs does not hold then the campaigning occurs. sent10: the dent does not occur if the dousing and the according Elephantidae happens. sent11: that the surrounding but not the nativistness occurs does not hold.
sent6 -> int1: the hashing Luxemburger happens.; int1 & sent4 -> int2: the according Elephantidae occurs.; void -> assump1: Let's assume that the dousing occurs.; int2 & assump1 -> int3: the dousing and the according Elephantidae happens.; int3 & sent10 -> int4: the dent does not occur.; int4 & sent2 -> int5: the according conciliator does not occur and the opener does not occur.; int5 & sent8 -> int6: the fact that the campaigning does not occur is true.; sent9 & sent11 -> int7: the fact that the campaigning happens is right.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the dousing does not occur.; sent3 & sent5 -> int10: the designing occurs and the rimlessness happens.; int10 -> int11: the designing occurs.;
the extensileness occurs.
$hypothesis$ = not the dousing but the according appellation happens. ; $context$ = sent1: the extensileness but not the hashing Luxemburger happens if the hashing spitz does not occur. sent2: the according conciliator does not occur and the opener does not occur if the dent does not occur. sent3: that the audiometricness does not occur causes that the designing happens and the rimlessness occurs. sent4: that the hashing Luxemburger happens prevents that the according Elephantidae does not occur. sent5: the audiometricness does not occur. sent6: the hashing Luxemburger happens and the hashing spitz occurs. sent7: that the dousing does not occur but the according appellation happens is not right if the hashing Luxemburger does not occur. sent8: that the according conciliator does not occur and the opener does not occur yields that the campaigning does not occur. sent9: if that the surrounding and the non-nativistness occurs does not hold then the campaigning occurs. sent10: the dent does not occur if the dousing and the according Elephantidae happens. sent11: that the surrounding but not the nativistness occurs does not hold. ; $proof$ = 
sent6 -> int1: the hashing Luxemburger happens.; int1 & sent4 -> int2: the according Elephantidae occurs.; void -> assump1: Let's assume that the dousing occurs.; int2 & assump1 -> int3: the dousing and the according Elephantidae happens.; int3 & sent10 -> int4: the dent does not occur.; int4 & sent2 -> int5: the according conciliator does not occur and the opener does not occur.; int5 & sent8 -> int6: the fact that the campaigning does not occur is true.; sent9 & sent11 -> int7: the fact that the campaigning happens is right.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the dousing does not occur.; sent3 & sent5 -> int10: the designing occurs and the rimlessness happens.; int10 -> int11: the designing occurs.; __UNKNOWN__