the fact that if the impenetrableness does not occur then not the diaphoretic but the coloring shambles happens is not true.
sent1: that the indexing guru does not occur leads to that the coloring shambles and the mitralness occurs. sent2: the daisylikeness occurs if the coloring organist happens. sent3: the coloring organist occurs or the blackingness occurs or both. sent4: if the fact that not the culturing Sinologist but the indexing cytostome occurs is not right the diaphoretic does not occur. sent5: if the indexing cytostome and/or the haploid occurs then the ballet does not occur. sent6: the daisylikeness occurs if the blackingness occurs. sent7: the double but not the indexing guru happens if the daisylikeness occurs. sent8: that the ballet does not occur triggers that not the coloring varicosity but the impenetrableness occurs.
void -> assump1: Let's assume that not the culturing Sinologist but the indexing cytostome occurs.; assump1 -> int1: that the indexing cytostome occurs is not wrong.; int1 -> int2: either the indexing cytostome happens or the haploidness happens or both.; int2 & sent5 -> int3: the ballet does not occur.; int3 & sent8 -> int4: the coloring varicosity does not occur but the impenetrableness happens.; int4 -> int5: the impenetrableness occurs.; void -> assump2: Let's assume that the impenetrableness does not occur.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the culturing Sinologist does not occur and the indexing cytostome happens is not right.; int7 & sent4 -> int8: that the diaphoretic does not occur is right.; sent3 & sent2 & sent6 -> int9: the daisylikeness occurs.; sent7 & int9 -> int10: the doubling but not the indexing guru occurs.; int10 -> int11: that the indexing guru occurs is not true.; sent1 & int11 -> int12: the coloring shambles and the mitralness happens.; int12 -> int13: that the coloring shambles happens is not incorrect.; int8 & int13 -> int14: that the non-diaphoreticness and the coloring shambles happens is not wrong.; [assump2] & int14 -> hypothesis;
$hypothesis$ = the fact that if the impenetrableness does not occur then not the diaphoretic but the coloring shambles happens is not true. ; $context$ = sent1: that the indexing guru does not occur leads to that the coloring shambles and the mitralness occurs. sent2: the daisylikeness occurs if the coloring organist happens. sent3: the coloring organist occurs or the blackingness occurs or both. sent4: if the fact that not the culturing Sinologist but the indexing cytostome occurs is not right the diaphoretic does not occur. sent5: if the indexing cytostome and/or the haploid occurs then the ballet does not occur. sent6: the daisylikeness occurs if the blackingness occurs. sent7: the double but not the indexing guru happens if the daisylikeness occurs. sent8: that the ballet does not occur triggers that not the coloring varicosity but the impenetrableness occurs. ; $proof$ = 
void -> assump1: Let's assume that not the culturing Sinologist but the indexing cytostome occurs.; assump1 -> int1: that the indexing cytostome occurs is not wrong.; int1 -> int2: either the indexing cytostome happens or the haploidness happens or both.; int2 & sent5 -> int3: the ballet does not occur.; int3 & sent8 -> int4: the coloring varicosity does not occur but the impenetrableness happens.; int4 -> int5: the impenetrableness occurs.; void -> assump2: Let's assume that the impenetrableness does not occur.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the culturing Sinologist does not occur and the indexing cytostome happens is not right.; int7 & sent4 -> int8: that the diaphoretic does not occur is right.; sent3 & sent2 & sent6 -> int9: the daisylikeness occurs.; sent7 & int9 -> int10: the doubling but not the indexing guru occurs.; int10 -> int11: that the indexing guru occurs is not true.; sent1 & int11 -> int12: the coloring shambles and the mitralness happens.; int12 -> int13: that the coloring shambles happens is not incorrect.; int8 & int13 -> int14: that the non-diaphoreticness and the coloring shambles happens is not wrong.; [assump2] & int14 -> hypothesis; __DISPROVED__