the stop does not mask foreman.
sent1: if the navicular masks foreman then it does not mask dilation. sent2: if the credence is lucky and is Noachian the prancer does not mask dilation. sent3: if the prancer does not mask dilation then that the navicular is a kind of non-Mauritanian thing that does not mask dilation is false. sent4: if that the stop is a kind of non-Noachian thing that is not a Rosidae does not hold that it does not mask foreman is correct. sent5: if there is something such that it is a hallelujah then the rowel is a hallelujah and/or it is cardiopulmonary. sent6: if the rowel is cardiopulmonary the navicular is a Neptune. sent7: the prancer is Mauritanian thing that is not a Rosidae if there is something such that it is Chilean. sent8: the fact that the prancer does not mask dilation and it is not lucky does not hold. sent9: something is a brave or lucky or both if that it is not Noachian hold. sent10: if something is a kind of a brave it does mask foreman. sent11: if the rowel is a hallelujah the fact that the navicular is a kind of a Neptune hold. sent12: the credence masks dilation if the prancer is a Mauritanian that is not a Rosidae. sent13: the credence is lucky and is brave. sent14: if something does impend then it is a Chilean. sent15: the horsecar is a hallelujah and is an embodiment. sent16: the stop is not Noachian if the credence masks dilation. sent17: that that the stop is not Noachian and it is not a Rosidae is not correct is not incorrect if the credence is not Noachian. sent18: if something is a kind of a Neptune then it does impend.
sent13 -> int1: the credence is lucky.; void -> assump1: Let's assume that that the credence is Noachian hold.; int1 & assump1 -> int2: the credence is a kind of lucky thing that is Noachian.; int2 & sent2 -> int3: the prancer does not mask dilation.; int3 & sent3 -> int4: the fact that the navicular is not a Mauritanian and it does not mask dilation is not true.;
the stop does mask foreman.
sent9 -> int5: either the stop is a brave or it is lucky or both if it is not Noachian.; sent14 -> int6: if the navicular impends then the fact that it is a kind of a Chilean is true.; sent18 -> int7: the navicular does impend if it is a kind of a Neptune.; sent15 -> int8: the horsecar is a hallelujah.; int8 -> int9: there is something such that it is a kind of a hallelujah.; int9 & sent5 -> int10: the rowel is a hallelujah and/or it is cardiopulmonary.; int10 & sent11 & sent6 -> int11: the navicular is a Neptune.; int7 & int11 -> int12: the navicular does impend.; int6 & int12 -> int13: the navicular is Chilean.; int13 -> int14: there exists something such that it is a Chilean.; int14 & sent7 -> int15: the prancer is a Mauritanian but it is not a Rosidae.; sent12 & int15 -> int16: the credence masks dilation.; sent16 & int16 -> int17: the stop is not Noachian.; int5 & int17 -> int18: either the stop is a brave or it is lucky or both.; sent10 -> int19: if the stop is a brave the fact that it does not mask foreman does not hold.;
$hypothesis$ = the stop does not mask foreman. ; $context$ = sent1: if the navicular masks foreman then it does not mask dilation. sent2: if the credence is lucky and is Noachian the prancer does not mask dilation. sent3: if the prancer does not mask dilation then that the navicular is a kind of non-Mauritanian thing that does not mask dilation is false. sent4: if that the stop is a kind of non-Noachian thing that is not a Rosidae does not hold that it does not mask foreman is correct. sent5: if there is something such that it is a hallelujah then the rowel is a hallelujah and/or it is cardiopulmonary. sent6: if the rowel is cardiopulmonary the navicular is a Neptune. sent7: the prancer is Mauritanian thing that is not a Rosidae if there is something such that it is Chilean. sent8: the fact that the prancer does not mask dilation and it is not lucky does not hold. sent9: something is a brave or lucky or both if that it is not Noachian hold. sent10: if something is a kind of a brave it does mask foreman. sent11: if the rowel is a hallelujah the fact that the navicular is a kind of a Neptune hold. sent12: the credence masks dilation if the prancer is a Mauritanian that is not a Rosidae. sent13: the credence is lucky and is brave. sent14: if something does impend then it is a Chilean. sent15: the horsecar is a hallelujah and is an embodiment. sent16: the stop is not Noachian if the credence masks dilation. sent17: that that the stop is not Noachian and it is not a Rosidae is not correct is not incorrect if the credence is not Noachian. sent18: if something is a kind of a Neptune then it does impend. ; $proof$ = 
sent13 -> int1: the credence is lucky.; void -> assump1: Let's assume that that the credence is Noachian hold.; int1 & assump1 -> int2: the credence is a kind of lucky thing that is Noachian.; int2 & sent2 -> int3: the prancer does not mask dilation.; int3 & sent3 -> int4: the fact that the navicular is not a Mauritanian and it does not mask dilation is not true.; __UNKNOWN__