the fact that there is something such that if it is not a catechu and/or is not point-of-sale it is a sexagenarian is not correct.
sent1: if the pop-up is either not a sexagenarian or not unswept or both it does dogmatize priesthood. sent2: something is exhaustible if it is either not a supper or not a Mullah or both. sent3: there is something such that if it does not bunk sika and/or is not a kind of an alchemy then that it is a kind of a Confederacy is true. sent4: if the vehicle is not a nonpartisan and/or does skateboard then it is a catechu. sent5: if something is not a catechu or not point-of-sale or both it is a sexagenarian.
sent5 -> int1: if the vehicle is not a catechu or it is not point-of-sale or both it is a sexagenarian.; int1 -> hypothesis;
if the vehicle is not a supper or not a Mullah or both it is exhaustible.
sent2 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not a catechu and/or is not point-of-sale it is a sexagenarian is not correct. ; $context$ = sent1: if the pop-up is either not a sexagenarian or not unswept or both it does dogmatize priesthood. sent2: something is exhaustible if it is either not a supper or not a Mullah or both. sent3: there is something such that if it does not bunk sika and/or is not a kind of an alchemy then that it is a kind of a Confederacy is true. sent4: if the vehicle is not a nonpartisan and/or does skateboard then it is a catechu. sent5: if something is not a catechu or not point-of-sale or both it is a sexagenarian. ; $proof$ = 
sent5 -> int1: if the vehicle is not a catechu or it is not point-of-sale or both it is a sexagenarian.; int1 -> hypothesis; __DISPROVED__