the fact that there exists something such that if that it sightsees and is not splintery is wrong then it is psychiatric does not hold.
sent1: there exists something such that if the fact that it does sightsee and it is not non-splintery is wrong then it is psychiatric. sent2: the assignor is psychiatric if the fact that it does sightsee and it is not splintery is incorrect. sent3: there is something such that if it does sightsee and it is not splintery it is psychiatric. sent4: the assignor is psychiatric if it does sightsee and is not splintery. sent5: if the fact that the assignor sightsees and is splintery is not correct it is psychiatric. sent6: there is something such that if that it is splintery hold then that it is psychiatric is true. sent7: the assignor is psychiatric if it does not sightsee.
sent2 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if that it sightsees and is not splintery is wrong then it is psychiatric does not hold. ; $context$ = sent1: there exists something such that if the fact that it does sightsee and it is not non-splintery is wrong then it is psychiatric. sent2: the assignor is psychiatric if the fact that it does sightsee and it is not splintery is incorrect. sent3: there is something such that if it does sightsee and it is not splintery it is psychiatric. sent4: the assignor is psychiatric if it does sightsee and is not splintery. sent5: if the fact that the assignor sightsees and is splintery is not correct it is psychiatric. sent6: there is something such that if that it is splintery hold then that it is psychiatric is true. sent7: the assignor is psychiatric if it does not sightsee. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__