the fact that there exists something such that if it is not backward that it is a viscometer and cormous does not hold is not true.
sent1: the fact that something is both a viscometer and cormous is wrong if it is not backward. sent2: the jabot is a viscometer and it is cormous if it is not backward. sent3: there exists something such that if it is astrocytic that it is bibliotics and it is cytogenetic does not hold.
sent1 -> int1: the fact that the jabot is a viscometer and it is cormous is not correct if it is not backward.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not backward that it is a viscometer and cormous does not hold is not true. ; $context$ = sent1: the fact that something is both a viscometer and cormous is wrong if it is not backward. sent2: the jabot is a viscometer and it is cormous if it is not backward. sent3: there exists something such that if it is astrocytic that it is bibliotics and it is cytogenetic does not hold. ; $proof$ = 
sent1 -> int1: the fact that the jabot is a viscometer and it is cormous is not correct if it is not backward.; int1 -> hypothesis; __DISPROVED__