the fact that there exists something such that if it is non-guilty then it memorializes Microcentrum and it is a savin is not true.
sent1: something that is not guilty does memorialize Microcentrum and is a savin. sent2: if the tabun is not guilty then it is a savin. sent3: there exists something such that if it does not blue tau then it blues ununtrium. sent4: if something is not guilty then it is a savin.
sent1 -> int1: if the tabun is not guilty it does memorialize Microcentrum and it is a kind of a savin.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is non-guilty then it memorializes Microcentrum and it is a savin is not true. ; $context$ = sent1: something that is not guilty does memorialize Microcentrum and is a savin. sent2: if the tabun is not guilty then it is a savin. sent3: there exists something such that if it does not blue tau then it blues ununtrium. sent4: if something is not guilty then it is a savin. ; $proof$ = 
sent1 -> int1: if the tabun is not guilty it does memorialize Microcentrum and it is a kind of a savin.; int1 -> hypothesis; __DISPROVED__