the fact that if the palatalizing Hygrotrama happens then the bubalineness occurs does not hold.
sent1: that both the palatalizing Kachin and the palatalizing Hygrotrama happens prevents the hounding tinker. sent2: if the hounding wink does not occur the grassfire does not occur. sent3: the bubalineness happens and the basidialness happens if the fact that the hounding tinker does not occur is not wrong. sent4: if the hydrophobicness does not occur then the imitativeness but not the Bell occurs. sent5: if the palatalizing Kachin does not occur the fact that the muralness occurs but the grassfire does not occur does not hold. sent6: the beading does not occur. sent7: the grassfire does not occur. sent8: the fact that the muralness and the grassfire occurs is not true. sent9: the toroidalness does not occur if that the palatalizing Hygrotrama does not occur and the palatalizing Kachin does not occur hold. sent10: the mural happens and the grassfire does not occur if the hounding wink does not occur. sent11: if the palatalizing Kachin does not occur the fact that the muralness and the grassfire occurs does not hold. sent12: the hounding wink does not occur. sent13: the hounding tinker happens if not the bubalineness but the basidialness happens. sent14: the bubalineness does not occur but the basidialness occurs if the hounding wink happens.
void -> assump2: Let's assume that the palatalizing Kachin does not occur.; sent5 & assump2 -> int1: that the muralness but not the grassfire occurs is not right.; sent10 & sent12 -> int2: the mural happens but the grassfire does not occur.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the palatalizing Kachin happens.; void -> assump1: Let's assume that that the palatalizing Hygrotrama occurs is not false.; int4 & assump1 -> int5: that both the palatalizing Kachin and the palatalizing Hygrotrama occurs hold.; int5 & sent1 -> int6: the hounding tinker does not occur.; int6 & sent3 -> int7: the bubalineness and the basidialness occurs.; int7 -> int8: the bubalineness occurs.; [assump1] & int8 -> hypothesis;
the toroidalness does not occur.
$hypothesis$ = the fact that if the palatalizing Hygrotrama happens then the bubalineness occurs does not hold. ; $context$ = sent1: that both the palatalizing Kachin and the palatalizing Hygrotrama happens prevents the hounding tinker. sent2: if the hounding wink does not occur the grassfire does not occur. sent3: the bubalineness happens and the basidialness happens if the fact that the hounding tinker does not occur is not wrong. sent4: if the hydrophobicness does not occur then the imitativeness but not the Bell occurs. sent5: if the palatalizing Kachin does not occur the fact that the muralness occurs but the grassfire does not occur does not hold. sent6: the beading does not occur. sent7: the grassfire does not occur. sent8: the fact that the muralness and the grassfire occurs is not true. sent9: the toroidalness does not occur if that the palatalizing Hygrotrama does not occur and the palatalizing Kachin does not occur hold. sent10: the mural happens and the grassfire does not occur if the hounding wink does not occur. sent11: if the palatalizing Kachin does not occur the fact that the muralness and the grassfire occurs does not hold. sent12: the hounding wink does not occur. sent13: the hounding tinker happens if not the bubalineness but the basidialness happens. sent14: the bubalineness does not occur but the basidialness occurs if the hounding wink happens. ; $proof$ = 
void -> assump2: Let's assume that the palatalizing Kachin does not occur.; sent5 & assump2 -> int1: that the muralness but not the grassfire occurs is not right.; sent10 & sent12 -> int2: the mural happens but the grassfire does not occur.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the palatalizing Kachin happens.; void -> assump1: Let's assume that that the palatalizing Hygrotrama occurs is not false.; int4 & assump1 -> int5: that both the palatalizing Kachin and the palatalizing Hygrotrama occurs hold.; int5 & sent1 -> int6: the hounding tinker does not occur.; int6 & sent3 -> int7: the bubalineness and the basidialness occurs.; int7 -> int8: the bubalineness occurs.; [assump1] & int8 -> hypothesis; __DISPROVED__