the fact that there exists something such that if that that it does not lease and it is a kind of a Fijian is correct is not true then it is an executive is not right.
sent1: if that something is not anginal but a ream is false it is replaceable. sent2: the shingle is an executive if the fact that it is a kind of a lease that is a Fijian is not right. sent3: there exists something such that if that it does lease and it is a Fijian is not correct then it is executive. sent4: that the shingle is an executive hold if that it is not a lease and it is Fijian is incorrect.
sent4 -> hypothesis;
there exists something such that if that it is not anginal and it is a kind of a ream does not hold then it is replaceable.
sent1 -> int1: if the fact that the arytenoid is not anginal and is a kind of a ream is incorrect it is replaceable.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if that that it does not lease and it is a kind of a Fijian is correct is not true then it is an executive is not right. ; $context$ = sent1: if that something is not anginal but a ream is false it is replaceable. sent2: the shingle is an executive if the fact that it is a kind of a lease that is a Fijian is not right. sent3: there exists something such that if that it does lease and it is a Fijian is not correct then it is executive. sent4: that the shingle is an executive hold if that it is not a lease and it is Fijian is incorrect. ; $proof$ = 
sent4 -> hypothesis; __DISPROVED__