that the rhumb does not enter matrimony and does not credit boulder is not right.
sent1: if the sulcus does not hydroplane then the personality hydroplane. sent2: the sulcus luminesces. sent3: something is dicotyledonous if that it is not a kind of a manuscript and it does panel does not hold. sent4: something is not Levitical and is a kind of a Puritanism. sent5: something does not luminesce if it is dicotyledonous. sent6: if the sulcus does not speak the fact that the floss does not speak or it is not dicotyledonous or both is not correct. sent7: the fact that the personality does demise but it is not a kind of a foster-child is wrong. sent8: the fact that the abscission is not dural but it is not intelligible does not hold if there is something such that it depressurizes quire. sent9: there exists something such that it depressurizes quire. sent10: if the fact that something is both not dural and unintelligible does not hold then it does credit cornpone. sent11: something is a panel if that either it does not speak or it is not dicotyledonous or both is wrong. sent12: the sulcus does not luminesce if it hydroplanes and speaks. sent13: if the floss does credit prebendary then the fact that that the personality is not a manuscript but it does panel is not correct is not incorrect. sent14: if the floss is a panel then the fact that the rhumb does not enter matrimony and it does not credit boulder does not hold. sent15: if the personality does not speak then the rhumb does not enter matrimony and does not credit boulder. sent16: the floss does credit prebendary if the abscission credits cornpone.
void -> assump1: Let's assume that the sulcus does speak.; sent11 -> int1: if that the floss does not speak and/or it is not dicotyledonous does not hold it is a panel.;
the rhumb does not enter matrimony and it does not credit boulder.
sent5 -> int2: the fact that the personality does not luminesce hold if it is dicotyledonous.; sent3 -> int3: if the fact that the personality is both not a manuscript and a panel is not correct then it is dicotyledonous.; sent10 -> int4: if the fact that that the abscission is not dural but it is unintelligible hold does not hold then it does credit cornpone.; sent9 & sent8 -> int5: the fact that the abscission is not dural and is unintelligible is not correct.; int4 & int5 -> int6: the abscission does credit cornpone.; sent16 & int6 -> int7: the floss credits prebendary.; sent13 & int7 -> int8: that the personality is not a kind of a manuscript but it is a kind of a panel is not correct.; int3 & int8 -> int9: the personality is dicotyledonous.; int2 & int9 -> int10: the personality does not luminesce.;
$hypothesis$ = that the rhumb does not enter matrimony and does not credit boulder is not right. ; $context$ = sent1: if the sulcus does not hydroplane then the personality hydroplane. sent2: the sulcus luminesces. sent3: something is dicotyledonous if that it is not a kind of a manuscript and it does panel does not hold. sent4: something is not Levitical and is a kind of a Puritanism. sent5: something does not luminesce if it is dicotyledonous. sent6: if the sulcus does not speak the fact that the floss does not speak or it is not dicotyledonous or both is not correct. sent7: the fact that the personality does demise but it is not a kind of a foster-child is wrong. sent8: the fact that the abscission is not dural but it is not intelligible does not hold if there is something such that it depressurizes quire. sent9: there exists something such that it depressurizes quire. sent10: if the fact that something is both not dural and unintelligible does not hold then it does credit cornpone. sent11: something is a panel if that either it does not speak or it is not dicotyledonous or both is wrong. sent12: the sulcus does not luminesce if it hydroplanes and speaks. sent13: if the floss does credit prebendary then the fact that that the personality is not a manuscript but it does panel is not correct is not incorrect. sent14: if the floss is a panel then the fact that the rhumb does not enter matrimony and it does not credit boulder does not hold. sent15: if the personality does not speak then the rhumb does not enter matrimony and does not credit boulder. sent16: the floss does credit prebendary if the abscission credits cornpone. ; $proof$ = 
void -> assump1: Let's assume that the sulcus does speak.; sent11 -> int1: if that the floss does not speak and/or it is not dicotyledonous does not hold it is a panel.; __UNKNOWN__