the Manichaean happens.
sent1: if that the bettering Corneille does not occur and the flood happens is false then the flood does not occur. sent2: that that both the nuzzling and the suddenness occurs does not hold is not wrong. sent3: the interlobularness does not occur if the Gambianness and the nuzzling happens. sent4: the moneran does not occur and the non-metricness does not occur. sent5: that the bettering Corneille does not occur but the flooding occurs does not hold. sent6: the nuzzling occurs if the Manichaean happens. sent7: if that both the nuzzling and the suddenness happens is incorrect then the suddenness does not occur. sent8: that the non-non-metricness and the non-interlobularness happens prevents that the flood does not occur. sent9: the Gambian and the civicsness occurs.
void -> assump1: Let's assume that the Manichaean happens.; sent6 & assump1 -> int1: the nuzzling occurs.; sent9 -> int2: the Gambian happens.; int1 & int2 -> int3: the Gambianness and the nuzzling occurs.; int3 & sent3 -> int4: the interlobularness does not occur.; sent4 -> int5: the fact that the non-metricness does not occur is correct.; int4 & int5 -> int6: both the non-non-metricness and the non-interlobularness occurs.; int6 & sent8 -> int7: the flooding happens.; sent1 & sent5 -> int8: the flood does not occur.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the suddenness does not occur and the officiation does not occur.
sent7 & sent2 -> int10: the suddenness does not occur.;
$hypothesis$ = the Manichaean happens. ; $context$ = sent1: if that the bettering Corneille does not occur and the flood happens is false then the flood does not occur. sent2: that that both the nuzzling and the suddenness occurs does not hold is not wrong. sent3: the interlobularness does not occur if the Gambianness and the nuzzling happens. sent4: the moneran does not occur and the non-metricness does not occur. sent5: that the bettering Corneille does not occur but the flooding occurs does not hold. sent6: the nuzzling occurs if the Manichaean happens. sent7: if that both the nuzzling and the suddenness happens is incorrect then the suddenness does not occur. sent8: that the non-non-metricness and the non-interlobularness happens prevents that the flood does not occur. sent9: the Gambian and the civicsness occurs. ; $proof$ = 
void -> assump1: Let's assume that the Manichaean happens.; sent6 & assump1 -> int1: the nuzzling occurs.; sent9 -> int2: the Gambian happens.; int1 & int2 -> int3: the Gambianness and the nuzzling occurs.; int3 & sent3 -> int4: the interlobularness does not occur.; sent4 -> int5: the fact that the non-metricness does not occur is correct.; int4 & int5 -> int6: both the non-non-metricness and the non-interlobularness occurs.; int6 & sent8 -> int7: the flooding happens.; sent1 & sent5 -> int8: the flood does not occur.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __DISPROVED__