the crape dedicates.
sent1: if the deoxyguanosine mummifies chamberlain the pentazocine is not a kind of a sodomy. sent2: something is not a cramp and it does not stink if it is a sodomy. sent3: that the otoscope is not a toss and it is not an imperative is not correct. sent4: that the deoxyguanosine does mummify chamberlain and does not cramp is correct. sent5: if something does not damp Dominican then the fact that it does not mummify nympholept and it is not a kind of a suggestibility is not right. sent6: if the otoscope does toss it is a kind of an imperative and it is not a sodomy. sent7: something does not stink if it does toss. sent8: the pentazocine is a kind of a toss if that the otoscope is both not a toss and not an imperative is not true. sent9: if the subordinate does crow satirist then the otoscope is a toss. sent10: the fact that the gynobase does not mummify nympholept is not incorrect if the fact that the vulgarian does not mummify nympholept and it is not a kind of a suggestibility is not true. sent11: if something does not cramp then the fact that it does dedicate and mummifies chamberlain is false. sent12: everything does not damp Dominican. sent13: the subordinate is a toss or it does crow satirist or both if there is something such that it does not imbibe. sent14: if the subordinate does toss then the otoscope does toss. sent15: the deoxyguanosine is a kind of a sodomy if the pentazocine is a kind of a sodomy. sent16: the fact that the crape does not cramp is not false if the deoxyguanosine does not cramp and it does not stink. sent17: the fact that if the otoscope is an imperative that is not a sodomy then the pentazocine is a sodomy hold. sent18: the crape dedicates if something that does not stink is not a sodomy.
sent4 -> int1: the deoxyguanosine does mummify chamberlain.; int1 & sent1 -> int2: the pentazocine is not a sodomy.; sent7 -> int3: the pentazocine does not stink if it tosses.; sent8 & sent3 -> int4: the fact that the pentazocine tosses hold.; int3 & int4 -> int5: the pentazocine does not stink.; int2 & int5 -> int6: the pentazocine does not stink and it is not a kind of a sodomy.; int6 -> int7: something does not stink and it is not a kind of a sodomy.; int7 & sent18 -> hypothesis;
the crape does not dedicate.
sent11 -> int8: the fact that the fact that the crape does dedicate and it mummifies chamberlain is correct is not right if it does not cramp.; sent2 -> int9: if the deoxyguanosine is a sodomy it is not a kind of a cramp and does not stink.; sent5 -> int10: the fact that the guarantor does not mummify nympholept and it is not a suggestibility does not hold if it does not damp Dominican.; sent12 -> int11: the guarantor does not damp Dominican.; int10 & int11 -> int12: that the guarantor does not mummify nympholept and it is not a suggestibility is not true.; int12 -> int13: there is nothing that does not mummify nympholept and is not a suggestibility.; int13 -> int14: the fact that the vulgarian does not mummify nympholept and is not a suggestibility is false.; sent10 & int14 -> int15: the gynobase does not mummify nympholept.;
$hypothesis$ = the crape dedicates. ; $context$ = sent1: if the deoxyguanosine mummifies chamberlain the pentazocine is not a kind of a sodomy. sent2: something is not a cramp and it does not stink if it is a sodomy. sent3: that the otoscope is not a toss and it is not an imperative is not correct. sent4: that the deoxyguanosine does mummify chamberlain and does not cramp is correct. sent5: if something does not damp Dominican then the fact that it does not mummify nympholept and it is not a kind of a suggestibility is not right. sent6: if the otoscope does toss it is a kind of an imperative and it is not a sodomy. sent7: something does not stink if it does toss. sent8: the pentazocine is a kind of a toss if that the otoscope is both not a toss and not an imperative is not true. sent9: if the subordinate does crow satirist then the otoscope is a toss. sent10: the fact that the gynobase does not mummify nympholept is not incorrect if the fact that the vulgarian does not mummify nympholept and it is not a kind of a suggestibility is not true. sent11: if something does not cramp then the fact that it does dedicate and mummifies chamberlain is false. sent12: everything does not damp Dominican. sent13: the subordinate is a toss or it does crow satirist or both if there is something such that it does not imbibe. sent14: if the subordinate does toss then the otoscope does toss. sent15: the deoxyguanosine is a kind of a sodomy if the pentazocine is a kind of a sodomy. sent16: the fact that the crape does not cramp is not false if the deoxyguanosine does not cramp and it does not stink. sent17: the fact that if the otoscope is an imperative that is not a sodomy then the pentazocine is a sodomy hold. sent18: the crape dedicates if something that does not stink is not a sodomy. ; $proof$ = 
sent4 -> int1: the deoxyguanosine does mummify chamberlain.; int1 & sent1 -> int2: the pentazocine is not a sodomy.; sent7 -> int3: the pentazocine does not stink if it tosses.; sent8 & sent3 -> int4: the fact that the pentazocine tosses hold.; int3 & int4 -> int5: the pentazocine does not stink.; int2 & int5 -> int6: the pentazocine does not stink and it is not a kind of a sodomy.; int6 -> int7: something does not stink and it is not a kind of a sodomy.; int7 & sent18 -> hypothesis; __PROVED__