that the rosewood does not surmise Honolulu and is not diocesan is wrong.
sent1: if the fact that the mortician solemnizes Jason is true the fact that the rosewood surmises Honolulu and is not diocesan is not right. sent2: the fact that the rosewood does not surmise Honolulu and is diocesan is wrong. sent3: the mortician solemnizes Jason if it is not a kind of a Djiboutian. sent4: if the chervil does excise then the BASIC does not solemnize optative. sent5: the fact that the chervil does not solemnize Jason and surmises Honolulu is not true if it is diocesan. sent6: the fact that the BASIC does not solemnize optative is not incorrect. sent7: if the mortician does solemnize Jason then the fact that the rosewood does not surmise Honolulu and is diocesan is incorrect. sent8: if the fact that something does not solemnize Jason but it surmises Honolulu does not hold then it does solemnize Jason. sent9: if the chervil excises then the BASIC is an excises but it does not solemnize optative. sent10: the redcap is a kind of a radical. sent11: the chervil is an excise if the mortician is not non-Djiboutian. sent12: if the BASIC is a kind of an excise that does not solemnize optative the redcap is not a radical. sent13: the chervil is a kind of a diocesan. sent14: if something does solemnize Jason it is a radical. sent15: the fact that if the BASIC excises and solemnizes optative the redcap is not a radical is true. sent16: the fact that the rosewood does surmise Honolulu and is not a kind of a diocesan is false. sent17: if the mortician does solemnize Jason the fact that the rosewood does not surmise Honolulu and it is not a kind of a diocesan is incorrect.
void -> assump1: Let's assume that the mortician is a Djiboutian.; sent11 & assump1 -> int1: the chervil is a kind of an excise.; int1 & sent9 -> int2: the BASIC excises and does not solemnize optative.; int2 & sent12 -> int3: the redcap is not a kind of a radical.; int3 & sent10 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mortician is not a Djiboutian.; int5 & sent3 -> int6: the mortician does solemnize Jason.; int6 & sent17 -> hypothesis;
the rosewood does solemnize optative.
sent14 -> int7: if the chervil does solemnize Jason then it is radical.; sent8 -> int8: the chervil does solemnize Jason if the fact that it does not solemnize Jason and surmises Honolulu is incorrect.; sent5 & sent13 -> int9: the fact that the chervil does not solemnize Jason but it does surmise Honolulu is not right.; int8 & int9 -> int10: the chervil solemnizes Jason.; int7 & int10 -> int11: the chervil is a radical.; int11 -> int12: there exists something such that it is radical.;
$hypothesis$ = that the rosewood does not surmise Honolulu and is not diocesan is wrong. ; $context$ = sent1: if the fact that the mortician solemnizes Jason is true the fact that the rosewood surmises Honolulu and is not diocesan is not right. sent2: the fact that the rosewood does not surmise Honolulu and is diocesan is wrong. sent3: the mortician solemnizes Jason if it is not a kind of a Djiboutian. sent4: if the chervil does excise then the BASIC does not solemnize optative. sent5: the fact that the chervil does not solemnize Jason and surmises Honolulu is not true if it is diocesan. sent6: the fact that the BASIC does not solemnize optative is not incorrect. sent7: if the mortician does solemnize Jason then the fact that the rosewood does not surmise Honolulu and is diocesan is incorrect. sent8: if the fact that something does not solemnize Jason but it surmises Honolulu does not hold then it does solemnize Jason. sent9: if the chervil excises then the BASIC is an excises but it does not solemnize optative. sent10: the redcap is a kind of a radical. sent11: the chervil is an excise if the mortician is not non-Djiboutian. sent12: if the BASIC is a kind of an excise that does not solemnize optative the redcap is not a radical. sent13: the chervil is a kind of a diocesan. sent14: if something does solemnize Jason it is a radical. sent15: the fact that if the BASIC excises and solemnizes optative the redcap is not a radical is true. sent16: the fact that the rosewood does surmise Honolulu and is not a kind of a diocesan is false. sent17: if the mortician does solemnize Jason the fact that the rosewood does not surmise Honolulu and it is not a kind of a diocesan is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the mortician is a Djiboutian.; sent11 & assump1 -> int1: the chervil is a kind of an excise.; int1 & sent9 -> int2: the BASIC excises and does not solemnize optative.; int2 & sent12 -> int3: the redcap is not a kind of a radical.; int3 & sent10 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mortician is not a Djiboutian.; int5 & sent3 -> int6: the mortician does solemnize Jason.; int6 & sent17 -> hypothesis; __PROVED__