the reference does not investigate hock.
sent1: the reference does investigate hock if the grenadine does investigate hock. sent2: the neonate does hollo if the fact that the grenadine is not academic or it does not sharpen or both is incorrect. sent3: if the grenadine is not horary it is a char and it hollos. sent4: something does investigate hock if it is varicelliform and it is not a kind of a audiocassette. sent5: if the neonate is not a kind of a isomerism then the pemmican is not varicelliform and is not a audiocassette. sent6: if a non-varicelliform thing is not a kind of a audiocassette it does investigate hock. sent7: something does investigate hock if it is a char. sent8: something that hollos or is not horary or both is not a isomerism. sent9: if the fact that something is a audiocassette and it is a isomerism is false it is not horary. sent10: the reference does not investigate hock and does not sparkle knockout if the pemmican does investigate hock. sent11: a non-academic thing that does not whirl pemmican is not a cuff. sent12: that the grenadine is not academic and/or it does not sharpen does not hold if it is not a char. sent13: the reference does not sparkle knockout. sent14: the pemmican is not academic if it investigates hock and/or is not a char. sent15: the grenadine is not a kind of a char.
sent12 & sent15 -> int1: the fact that the grenadine is not academic or does not sharpen or both is incorrect.; int1 & sent2 -> int2: the fact that the neonate does hollo is true.; int2 -> int3: the neonate hollos and/or it is not horary.; sent8 -> int4: if the neonate does hollo or it is not horary or both it is not a kind of a isomerism.; int3 & int4 -> int5: the neonate is not a isomerism.; int5 & sent5 -> int6: the pemmican is not varicelliform and it is not a audiocassette.; sent6 -> int7: the pemmican does investigate hock if it is not varicelliform and is not a audiocassette.; int6 & int7 -> int8: the pemmican does investigate hock.; int8 & sent10 -> int9: the reference does not investigate hock and does not sparkle knockout.; int9 -> hypothesis;
if the psaltery is not academic and it does not whirl pemmican then it does cuff.
sent11 -> hypothesis;
$hypothesis$ = the reference does not investigate hock. ; $context$ = sent1: the reference does investigate hock if the grenadine does investigate hock. sent2: the neonate does hollo if the fact that the grenadine is not academic or it does not sharpen or both is incorrect. sent3: if the grenadine is not horary it is a char and it hollos. sent4: something does investigate hock if it is varicelliform and it is not a kind of a audiocassette. sent5: if the neonate is not a kind of a isomerism then the pemmican is not varicelliform and is not a audiocassette. sent6: if a non-varicelliform thing is not a kind of a audiocassette it does investigate hock. sent7: something does investigate hock if it is a char. sent8: something that hollos or is not horary or both is not a isomerism. sent9: if the fact that something is a audiocassette and it is a isomerism is false it is not horary. sent10: the reference does not investigate hock and does not sparkle knockout if the pemmican does investigate hock. sent11: a non-academic thing that does not whirl pemmican is not a cuff. sent12: that the grenadine is not academic and/or it does not sharpen does not hold if it is not a char. sent13: the reference does not sparkle knockout. sent14: the pemmican is not academic if it investigates hock and/or is not a char. sent15: the grenadine is not a kind of a char. ; $proof$ = 
sent12 & sent15 -> int1: the fact that the grenadine is not academic or does not sharpen or both is incorrect.; int1 & sent2 -> int2: the fact that the neonate does hollo is true.; int2 -> int3: the neonate hollos and/or it is not horary.; sent8 -> int4: if the neonate does hollo or it is not horary or both it is not a kind of a isomerism.; int3 & int4 -> int5: the neonate is not a isomerism.; int5 & sent5 -> int6: the pemmican is not varicelliform and it is not a audiocassette.; sent6 -> int7: the pemmican does investigate hock if it is not varicelliform and is not a audiocassette.; int6 & int7 -> int8: the pemmican does investigate hock.; int8 & sent10 -> int9: the reference does not investigate hock and does not sparkle knockout.; int9 -> hypothesis; __PROVED__