there is something such that if it is not adhesive but a chisel then it is not a fell.
sent1: if something is not adhesive but it chisels the fact that it does not fall is true. sent2: if the groover is both not adhesive and a chisel it is a fell. sent3: if the groover is adhesive and it is a kind of a chisel it is not a fell. sent4: there is something such that if that it is not an adhesive and it does chisel is not false then it does fall.
sent1 -> int1: the groover is not a fell if it is not a kind of an adhesive and chisels.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not adhesive but a chisel then it is not a fell. ; $context$ = sent1: if something is not adhesive but it chisels the fact that it does not fall is true. sent2: if the groover is both not adhesive and a chisel it is a fell. sent3: if the groover is adhesive and it is a kind of a chisel it is not a fell. sent4: there is something such that if that it is not an adhesive and it does chisel is not false then it does fall. ; $proof$ = 
sent1 -> int1: the groover is not a fell if it is not a kind of an adhesive and chisels.; int1 -> hypothesis; __PROVED__