there is something such that if the fact that it is not a divide and is a kind of a plimsoll is not right it does not dominate tournament.
sent1: if that the Rwandan does not beat Abukir but it is ducal does not hold then it is a divide. sent2: if that something is not catoptric but it is insatiate is false it does not obsess. sent3: if the fact that the Rwandan is not a divide but it is a plimsoll is not correct it does not dominate tournament. sent4: there is something such that if that it is a divide and it is a plimsoll is false then that it does not dominate tournament hold. sent5: if the fact that the shallu is not a kind of a plimsoll but it is a kind of a diversion does not hold it is not sexy.
sent3 -> hypothesis;
there exists something such that if the fact that it is not catoptric but insatiate is wrong the fact that it does not obsess is true.
sent2 -> int1: the stylite does not obsess if that the fact that it is not catoptric and it is insatiate is right is not correct.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is not a divide and is a kind of a plimsoll is not right it does not dominate tournament. ; $context$ = sent1: if that the Rwandan does not beat Abukir but it is ducal does not hold then it is a divide. sent2: if that something is not catoptric but it is insatiate is false it does not obsess. sent3: if the fact that the Rwandan is not a divide but it is a plimsoll is not correct it does not dominate tournament. sent4: there is something such that if that it is a divide and it is a plimsoll is false then that it does not dominate tournament hold. sent5: if the fact that the shallu is not a kind of a plimsoll but it is a kind of a diversion does not hold it is not sexy. ; $proof$ = 
sent3 -> hypothesis; __PROVED__