that both the non-expiatoriness and the non-scotomatousness occurs does not hold.
sent1: if that the binucleateness occurs but the inserting does not occur does not hold the expiatoriness does not occur. sent2: the potlatch happens. sent3: if the parietalness occurs the self-fulfillment does not occur but the quest happens. sent4: if the territorial occurs then the non-Newtonianness and/or the gloriousness occurs. sent5: the territorial does not occur and the Newtonian does not occur. sent6: the fact that the fact that the binucleateness occurs and the insert does not occur is right is not right. sent7: the tunelessness does not occur if that the sterileness occurs and the vitiliginousness occurs is incorrect. sent8: if the potlatch occurs the parietalness occurs. sent9: if the Newtonianness does not occur that the sterileness occurs and the vitiliginousness occurs does not hold. sent10: that the scotomatousness happens and the tunelessness does not occur prevents that the self-fulfillment does not occur. sent11: if the non-Newtonianness or the gloriousness or both occurs then the gloriousness occurs.
sent5 -> int1: the fact that the Newtonian does not occur hold.; int1 & sent9 -> int2: the fact that the sterileness and the vitiliginousness happens does not hold.; int2 & sent7 -> int3: the tunelessness does not occur.; void -> assump1: Let's assume that the scotomatousness occurs.; int3 & assump1 -> int4: both the scotomatousness and the tunefulness happens.; int4 & sent10 -> int5: the self-fulfillment happens.; sent8 & sent2 -> int6: the parietalness happens.; sent3 & int6 -> int7: the fact that not the self-fulfillment but the questing occurs is not incorrect.; int7 -> int8: the self-fulfillment does not occur.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the scotomatousness does not occur.; sent1 & sent6 -> int11: the expiatoriness does not occur.; int10 & int11 -> hypothesis;
the gloriousness occurs.
$hypothesis$ = that both the non-expiatoriness and the non-scotomatousness occurs does not hold. ; $context$ = sent1: if that the binucleateness occurs but the inserting does not occur does not hold the expiatoriness does not occur. sent2: the potlatch happens. sent3: if the parietalness occurs the self-fulfillment does not occur but the quest happens. sent4: if the territorial occurs then the non-Newtonianness and/or the gloriousness occurs. sent5: the territorial does not occur and the Newtonian does not occur. sent6: the fact that the fact that the binucleateness occurs and the insert does not occur is right is not right. sent7: the tunelessness does not occur if that the sterileness occurs and the vitiliginousness occurs is incorrect. sent8: if the potlatch occurs the parietalness occurs. sent9: if the Newtonianness does not occur that the sterileness occurs and the vitiliginousness occurs does not hold. sent10: that the scotomatousness happens and the tunelessness does not occur prevents that the self-fulfillment does not occur. sent11: if the non-Newtonianness or the gloriousness or both occurs then the gloriousness occurs. ; $proof$ = 
sent5 -> int1: the fact that the Newtonian does not occur hold.; int1 & sent9 -> int2: the fact that the sterileness and the vitiliginousness happens does not hold.; int2 & sent7 -> int3: the tunelessness does not occur.; void -> assump1: Let's assume that the scotomatousness occurs.; int3 & assump1 -> int4: both the scotomatousness and the tunefulness happens.; int4 & sent10 -> int5: the self-fulfillment happens.; sent8 & sent2 -> int6: the parietalness happens.; sent3 & int6 -> int7: the fact that not the self-fulfillment but the questing occurs is not incorrect.; int7 -> int8: the self-fulfillment does not occur.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the scotomatousness does not occur.; sent1 & sent6 -> int11: the expiatoriness does not occur.; int10 & int11 -> hypothesis; __DISPROVED__