the supermarketer does not sleep Hexagrammidae.
sent1: something does not sleep Hexagrammidae if the fact that it is not a ordinariness and is not a restraint is false. sent2: if the hero does not sleep supermarketer and means hero then it is a restraint. sent3: the hero does not sleep supermarketer and does mean hero. sent4: if that the hero is a restraint hold that the supermarketer is both not a ordinariness and not a restraint is not correct.
sent2 & sent3 -> int1: that the hero is a restraint is not wrong.; int1 & sent4 -> int2: that the supermarketer is not a ordinariness and not a restraint does not hold.; sent1 -> int3: if that the supermarketer is not a ordinariness and it is not a restraint is false it does not sleep Hexagrammidae.; int2 & int3 -> hypothesis;
$hypothesis$ = the supermarketer does not sleep Hexagrammidae. ; $context$ = sent1: something does not sleep Hexagrammidae if the fact that it is not a ordinariness and is not a restraint is false. sent2: if the hero does not sleep supermarketer and means hero then it is a restraint. sent3: the hero does not sleep supermarketer and does mean hero. sent4: if that the hero is a restraint hold that the supermarketer is both not a ordinariness and not a restraint is not correct. ; $proof$ = 
sent2 & sent3 -> int1: that the hero is a restraint is not wrong.; int1 & sent4 -> int2: that the supermarketer is not a ordinariness and not a restraint does not hold.; sent1 -> int3: if that the supermarketer is not a ordinariness and it is not a restraint is false it does not sleep Hexagrammidae.; int2 & int3 -> hypothesis; __PROVED__