the fact that there is something such that if it does not ridicule kat it is indestructible and a billy is incorrect.
sent1: there exists something such that if it does not ridicule kat then it is a billy. sent2: something is a kind of indestructible thing that is a billy if it does not ridicule kat. sent3: the fact that the kat is a kind of the duodenum and it is benign if the kat is a Eurylaimidae hold. sent4: there exists something such that if it does not contemn deoxyadenosine it does ridicule femtovolt and is prolusory.
sent2 -> int1: if the kat does not ridicule kat it is indestructible and it is a billy.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it does not ridicule kat it is indestructible and a billy is incorrect. ; $context$ = sent1: there exists something such that if it does not ridicule kat then it is a billy. sent2: something is a kind of indestructible thing that is a billy if it does not ridicule kat. sent3: the fact that the kat is a kind of the duodenum and it is benign if the kat is a Eurylaimidae hold. sent4: there exists something such that if it does not contemn deoxyadenosine it does ridicule femtovolt and is prolusory. ; $proof$ = 
sent2 -> int1: if the kat does not ridicule kat it is indestructible and it is a billy.; int1 -> hypothesis; __DISPROVED__