the fact that there is something such that if the fact that either it is not polygonal or it is not a cutback or both is false it is not an incumbent is not correct.
sent1: something is an incumbent if the fact that it is not polygonal and/or is not a cutback does not hold. sent2: if that something is either not polygonal or not a cutback or both does not hold it is not an incumbent. sent3: if that something is not a kibibit and/or does not exult modern is not correct then it does not claw scroll. sent4: there is something such that if the fact that it is polygonal or it is not a cutback or both is not right it is not a kind of an incumbent. sent5: if the fact that the bust is polygonal or it is not a cutback or both is not correct then the fact that it is not an incumbent is not wrong.
sent2 -> int1: the bust is not a kind of an incumbent if the fact that it is not polygonal and/or is not a cutback is wrong.; int1 -> hypothesis;
there is something such that if the fact that it either is not a kibibit or does not exult modern or both is wrong then it does not claw scroll.
sent3 -> int2: the poon does not claw scroll if that it is not a kibibit and/or it does not exult modern is not right.; int2 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that either it is not polygonal or it is not a cutback or both is false it is not an incumbent is not correct. ; $context$ = sent1: something is an incumbent if the fact that it is not polygonal and/or is not a cutback does not hold. sent2: if that something is either not polygonal or not a cutback or both does not hold it is not an incumbent. sent3: if that something is not a kibibit and/or does not exult modern is not correct then it does not claw scroll. sent4: there is something such that if the fact that it is polygonal or it is not a cutback or both is not right it is not a kind of an incumbent. sent5: if the fact that the bust is polygonal or it is not a cutback or both is not correct then the fact that it is not an incumbent is not wrong. ; $proof$ = 
sent2 -> int1: the bust is not a kind of an incumbent if the fact that it is not polygonal and/or is not a cutback is wrong.; int1 -> hypothesis; __DISPROVED__