the fact that there exists something such that if it is not a kind of a Phylloscopus the fact that it is not a kind of a lithium hold is not right.
sent1: something is not a lithium if it is not a Phylloscopus. sent2: there is something such that if the fact that it does auspicate is correct then it is not harmless. sent3: there is something such that if it is an informant it is not a Seiurus. sent4: if something is a kind of a Bankia it does not consort radish.
sent1 -> int1: the crucifix is not a lithium if it is not a Phylloscopus.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not a kind of a Phylloscopus the fact that it is not a kind of a lithium hold is not right. ; $context$ = sent1: something is not a lithium if it is not a Phylloscopus. sent2: there is something such that if the fact that it does auspicate is correct then it is not harmless. sent3: there is something such that if it is an informant it is not a Seiurus. sent4: if something is a kind of a Bankia it does not consort radish. ; $proof$ = 
sent1 -> int1: the crucifix is not a lithium if it is not a Phylloscopus.; int1 -> hypothesis; __DISPROVED__