the fact that there is something such that if that it is a salter and it is not irreverent is not correct it does table does not hold.
sent1: something is a table if that that it is both a salter and not irreverent is not incorrect is false.
sent1 -> int1: the oscillation tables if the fact that it is a salter but not irreverent is not correct.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if that it is a salter and it is not irreverent is not correct it does table does not hold. ; $context$ = sent1: something is a table if that that it is both a salter and not irreverent is not incorrect is false. ; $proof$ = 
sent1 -> int1: the oscillation tables if the fact that it is a salter but not irreverent is not correct.; int1 -> hypothesis; __DISPROVED__