that there is something such that if the fact that it interrelates Luxor and is a pose is not correct that it is not restless hold does not hold.
sent1: if that the Yquem interrelates Luxor and it poses is wrong then it is restless. sent2: if the fact that the fact that the Yquem does interrelate Luxor and poses does not hold hold it is not restless. sent3: there is something such that if it is not a pose it is not restless. sent4: the Yquem is not restless if it does not interrelate Luxor.
sent2 -> hypothesis;
$hypothesis$ = that there is something such that if the fact that it interrelates Luxor and is a pose is not correct that it is not restless hold does not hold. ; $context$ = sent1: if that the Yquem interrelates Luxor and it poses is wrong then it is restless. sent2: if the fact that the fact that the Yquem does interrelate Luxor and poses does not hold hold it is not restless. sent3: there is something such that if it is not a pose it is not restless. sent4: the Yquem is not restless if it does not interrelate Luxor. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__