the fact that there is something such that if that it vacates caranday and it is not a kind of a testament is not true it vacates REM is incorrect.
sent1: the Tudor vacates REM if the fact that it does vacate caranday and is not a testament is not true.
sent1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if that it vacates caranday and it is not a kind of a testament is not true it vacates REM is incorrect. ; $context$ = sent1: the Tudor vacates REM if the fact that it does vacate caranday and is not a testament is not true. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__