the flood is not menopausal but it does follow axolemma.
sent1: that the Fox does blaspheme CD-R and it is a kind of a cucumber is incorrect. sent2: there is something such that the fact that it is a fat is true. sent3: if the fact that either the proteosome does not surprise Hawthorne or it is not a fat or both does not hold then the dermatologist does not surprise Hawthorne. sent4: the fact that the dermatologist is nonexempt is right if that there is something such that it is both not non-Calcuttan and fat is not false. sent5: if the dermatologist does not exempt then that the proteosome is not menopausal hold. sent6: something that does not surprise Hawthorne is canonic and does blaspheme Volgaic. sent7: if something is canonic it is a kind of a fat. sent8: if that the Fox does blaspheme CD-R and it is a cucumber is not true then it does not surprise Hawthorne. sent9: if something is not exempt and is Calcuttan then it is not canonic. sent10: if something is not non-bacteriolytic then that it is not exempt and it is Calcuttan is not wrong. sent11: the fact that the flood is not menopausal and follows axolemma does not hold if the Fox does not blaspheme Volgaic. sent12: the Fox does not blaspheme Volgaic if the dermatologist does not surprise Hawthorne. sent13: if something is resolute then it is bacteriolytic. sent14: the flood is a kind of non-menopausal thing that does follow axolemma if the proteosome is not non-menopausal.
sent8 & sent1 -> int1: the Fox does not surprise Hawthorne.; sent6 -> int2: the Fox is canonic thing that does blaspheme Volgaic if that it does not surprise Hawthorne is not wrong.; int1 & int2 -> int3: the Fox is canonic thing that blasphemes Volgaic.; int3 -> int4: the Fox is canonic.; sent7 -> int5: if the Fox is canonic it is a fat.; int4 & int5 -> int6: the fact that the Fox is a kind of a fat hold.;
that the fact that the flood is not menopausal but it follows axolemma does not hold is not incorrect.
sent9 -> int7: if the CD-R does not exempt but it is Calcuttan it is not canonic.; sent10 -> int8: the CD-R does not exempt but it is Calcuttan if it is bacteriolytic.; sent13 -> int9: the CD-R is bacteriolytic if it is resolute.;
$hypothesis$ = the flood is not menopausal but it does follow axolemma. ; $context$ = sent1: that the Fox does blaspheme CD-R and it is a kind of a cucumber is incorrect. sent2: there is something such that the fact that it is a fat is true. sent3: if the fact that either the proteosome does not surprise Hawthorne or it is not a fat or both does not hold then the dermatologist does not surprise Hawthorne. sent4: the fact that the dermatologist is nonexempt is right if that there is something such that it is both not non-Calcuttan and fat is not false. sent5: if the dermatologist does not exempt then that the proteosome is not menopausal hold. sent6: something that does not surprise Hawthorne is canonic and does blaspheme Volgaic. sent7: if something is canonic it is a kind of a fat. sent8: if that the Fox does blaspheme CD-R and it is a cucumber is not true then it does not surprise Hawthorne. sent9: if something is not exempt and is Calcuttan then it is not canonic. sent10: if something is not non-bacteriolytic then that it is not exempt and it is Calcuttan is not wrong. sent11: the fact that the flood is not menopausal and follows axolemma does not hold if the Fox does not blaspheme Volgaic. sent12: the Fox does not blaspheme Volgaic if the dermatologist does not surprise Hawthorne. sent13: if something is resolute then it is bacteriolytic. sent14: the flood is a kind of non-menopausal thing that does follow axolemma if the proteosome is not non-menopausal. ; $proof$ = 
sent8 & sent1 -> int1: the Fox does not surprise Hawthorne.; sent6 -> int2: the Fox is canonic thing that does blaspheme Volgaic if that it does not surprise Hawthorne is not wrong.; int1 & int2 -> int3: the Fox is canonic thing that blasphemes Volgaic.; int3 -> int4: the Fox is canonic.; sent7 -> int5: if the Fox is canonic it is a fat.; int4 & int5 -> int6: the fact that the Fox is a kind of a fat hold.; __UNKNOWN__