that there is something such that if the fact that it is a kind of accessible thing that is not a kind of a hob does not hold it is not a pack is incorrect.
sent1: if that something is not inaccessible and it does not hob is incorrect that it is not a pack is not false.
sent1 -> int1: if that the caber is not inaccessible and does not hob is not true then the fact that it does not pack is correct.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if the fact that it is a kind of accessible thing that is not a kind of a hob does not hold it is not a pack is incorrect. ; $context$ = sent1: if that something is not inaccessible and it does not hob is incorrect that it is not a pack is not false. ; $proof$ = 
sent1 -> int1: if that the caber is not inaccessible and does not hob is not true then the fact that it does not pack is correct.; int1 -> hypothesis; __DISPROVED__