the fact that there exists something such that if it is disintegrative that it is a kind of an institute that is not algorithmic is wrong is not true.
sent1: if the mechanist is disintegrative that it is an institute and it is not algorithmic is incorrect. sent2: the mechanist is an institute but it is not algorithmic if it is disintegrative. sent3: there exists something such that if it is disintegrative that it is an institute and it is algorithmic is not right.
sent1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is disintegrative that it is a kind of an institute that is not algorithmic is wrong is not true. ; $context$ = sent1: if the mechanist is disintegrative that it is an institute and it is not algorithmic is incorrect. sent2: the mechanist is an institute but it is not algorithmic if it is disintegrative. sent3: there exists something such that if it is disintegrative that it is an institute and it is algorithmic is not right. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__