there is something such that if it is not distal then that it is not a Hitchcock and does not convoy interestedness is not correct.
sent1: the fact that something is not a Hitchcock and does not convoy interestedness is wrong if it is not distal.
sent1 -> int1: the fact that the drawer is not a Hitchcock and it does not convoy interestedness is not correct if that it is not distal is correct.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not distal then that it is not a Hitchcock and does not convoy interestedness is not correct. ; $context$ = sent1: the fact that something is not a Hitchcock and does not convoy interestedness is wrong if it is not distal. ; $proof$ = 
sent1 -> int1: the fact that the drawer is not a Hitchcock and it does not convoy interestedness is not correct if that it is not distal is correct.; int1 -> hypothesis; __PROVED__