that if the legs occurs then the humming nitroglycerin happens is not right.
sent1: both the non-trinucleateness and the non-unrighteousness occurs if the affording does not occur. sent2: the fact that the fiducialness occurs or the misfortune does not occur or both hold if the tetragonalness does not occur. sent3: the tetragonalness does not occur if that both the poking and the grabbing occurs does not hold. sent4: the outstaring nitrochloromethane occurs if the legs happens. sent5: if the humming frog does not occur not the rectalness but the indistinguishableness happens. sent6: the basics and the legs happens if the outstaring nitrochloromethane does not occur. sent7: the humming nitroglycerin happens if that the outstaring nitrochloromethane occurs is correct. sent8: the affording does not occur if the rectalness does not occur and the indistinguishableness occurs. sent9: if the trinucleateness does not occur the outstaring nitrochloromethane does not occur and the humming nitroglycerin occurs.
void -> assump1: Let's assume that the legs happens.; sent4 & assump1 -> int1: the outstaring nitrochloromethane occurs.; int1 & sent7 -> int2: the fact that the humming nitroglycerin occurs hold.; [assump1] & int2 -> hypothesis;
the basics occurs.
$hypothesis$ = that if the legs occurs then the humming nitroglycerin happens is not right. ; $context$ = sent1: both the non-trinucleateness and the non-unrighteousness occurs if the affording does not occur. sent2: the fact that the fiducialness occurs or the misfortune does not occur or both hold if the tetragonalness does not occur. sent3: the tetragonalness does not occur if that both the poking and the grabbing occurs does not hold. sent4: the outstaring nitrochloromethane occurs if the legs happens. sent5: if the humming frog does not occur not the rectalness but the indistinguishableness happens. sent6: the basics and the legs happens if the outstaring nitrochloromethane does not occur. sent7: the humming nitroglycerin happens if that the outstaring nitrochloromethane occurs is correct. sent8: the affording does not occur if the rectalness does not occur and the indistinguishableness occurs. sent9: if the trinucleateness does not occur the outstaring nitrochloromethane does not occur and the humming nitroglycerin occurs. ; $proof$ = 
void -> assump1: Let's assume that the legs happens.; sent4 & assump1 -> int1: the outstaring nitrochloromethane occurs.; int1 & sent7 -> int2: the fact that the humming nitroglycerin occurs hold.; [assump1] & int2 -> hypothesis; __DISPROVED__