the fact that there exists something such that that it strides and is not a handloom does not hold is wrong.
sent1: that the waterspout is a stride but it is not a handloom is false if there exists something such that it is not valvular. sent2: if either something does stride or it is valvular or both then it does not utter waterspout. sent3: there are non-valvular things.
sent3 & sent1 -> int1: the fact that the waterspout is a stride but it is not a kind of a handloom does not hold.; int1 -> hypothesis;
there exists something such that it does not utter waterspout.
sent2 -> int2: if the waterspout does stride or it is valvular or both the fact that it does not utter waterspout is not wrong.;
$hypothesis$ = the fact that there exists something such that that it strides and is not a handloom does not hold is wrong. ; $context$ = sent1: that the waterspout is a stride but it is not a handloom is false if there exists something such that it is not valvular. sent2: if either something does stride or it is valvular or both then it does not utter waterspout. sent3: there are non-valvular things. ; $proof$ = 
sent3 & sent1 -> int1: the fact that the waterspout is a stride but it is not a kind of a handloom does not hold.; int1 -> hypothesis; __DISPROVED__