if that the exalting Aspidiotus occurs is not incorrect then that the rimlessness does not occur and the Muhammadanness does not occur is not true.
sent1: if the fact that the declarativeness does not occur is correct then both the non-rimlessness and the non-Muhammadanness happens. sent2: the non-rimlessness and the non-Muhammadanness happens. sent3: the fact that both the rimlessness and the non-Muhammadanness happens does not hold. sent4: if the exalting Aspidiotus happens then that the rimlessness does not occur and the Muhammadanness happens is not right. sent5: the fact that the non-rimlessness and the non-Muhammadanness happens is incorrect if the declarativeness does not occur. sent6: if the unidirectionalness happens the tuck occurs. sent7: that the exalting Aspidiotus does not occur is triggered by either the unidirectionalness or that the declarativeness happens or both. sent8: the bibliothecalness does not occur. sent9: the fact that the non-rimlessness and the Muhammadanness happens is false if the declarativeness does not occur.
void -> assump1: Let's assume that the exalting Aspidiotus occurs.; void -> assump2: Let's assume that the fact that the declarativeness does not occur is incorrect.; assump2 -> int1: the unidirectionalness and/or the declarativeness occurs.; sent7 & int1 -> int2: the exalting Aspidiotus does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the declarativeness does not occur.; sent5 & int4 -> int5: that the non-rimlessness and the non-Muhammadanness happens is wrong.; [assump1] & int5 -> hypothesis;
the tucking happens or the scoffing S-shape occurs or both.
$hypothesis$ = if that the exalting Aspidiotus occurs is not incorrect then that the rimlessness does not occur and the Muhammadanness does not occur is not true. ; $context$ = sent1: if the fact that the declarativeness does not occur is correct then both the non-rimlessness and the non-Muhammadanness happens. sent2: the non-rimlessness and the non-Muhammadanness happens. sent3: the fact that both the rimlessness and the non-Muhammadanness happens does not hold. sent4: if the exalting Aspidiotus happens then that the rimlessness does not occur and the Muhammadanness happens is not right. sent5: the fact that the non-rimlessness and the non-Muhammadanness happens is incorrect if the declarativeness does not occur. sent6: if the unidirectionalness happens the tuck occurs. sent7: that the exalting Aspidiotus does not occur is triggered by either the unidirectionalness or that the declarativeness happens or both. sent8: the bibliothecalness does not occur. sent9: the fact that the non-rimlessness and the Muhammadanness happens is false if the declarativeness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the exalting Aspidiotus occurs.; void -> assump2: Let's assume that the fact that the declarativeness does not occur is incorrect.; assump2 -> int1: the unidirectionalness and/or the declarativeness occurs.; sent7 & int1 -> int2: the exalting Aspidiotus does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the declarativeness does not occur.; sent5 & int4 -> int5: that the non-rimlessness and the non-Muhammadanness happens is wrong.; [assump1] & int5 -> hypothesis; __PROVED__