the senna is hircine.
sent1: something is not a cuneiform. sent2: if the reciprocal is not healthful the fact that the senna is a haycock but it is not healthful is not right. sent3: there exists something such that it is not a kind of a Sarawak. sent4: if the senna is healthful then it is hircine. sent5: something is a Sarawak. sent6: if the reciprocal is not healthful then that the senna is a haycock and is healthful is wrong. sent7: if there is something such that it is not a cuneiform then that the gonif is not a ghastliness is not false. sent8: if the reciprocal is not asymptotic then it is a kind of a Sarawak that is healthful. sent9: if the reciprocal is a kind of a cuneiform then it is a kind of a Sarawak. sent10: if something is a laryngoscope and healthful then the lobe is not asymptotic. sent11: the lobe does whang Grimm. sent12: if that something is a kind of a haycock that is not healthful is not true then the fact that it is not non-hircine is right. sent13: something is a ghastliness. sent14: that the reciprocal is a haycock but it is unhealthful does not hold. sent15: something that is healthful is hircine. sent16: something is asymptotic but it is not healthful if it is a haycock. sent17: the reciprocal is a kind of a cuneiform. sent18: there is something such that it is not unhealthful. sent19: if the lobe is a kind of asymptotic thing that is not healthful the reciprocal is not a laryngoscope. sent20: something is a kind of a laryngoscope. sent21: if there is something such that it is not a kind of a ghastliness then the lobe is asymptotic and does whang Grimm. sent22: if there exists something such that that it is not a ghastliness is true the lobe whangs Grimm. sent23: something is cuneiform. sent24: that the fact that the senna is a haycock and is healthful is incorrect is not false.
void -> assump1: Let's assume that the reciprocal is healthful.; sent1 & sent7 -> int1: the gonif is not a ghastliness.; int1 -> int2: there exists something such that it is not a ghastliness.; int2 & sent21 -> int3: the lobe is a kind of asymptotic thing that does whang Grimm.; int3 -> int4: the lobe is asymptotic.; sent12 -> int5: the senna is hircine if that it is a haycock and it is not healthful is not true.;
the senna is not hircine.
sent9 & sent17 -> int6: that the reciprocal is a kind of a Sarawak is not incorrect.; sent16 -> int7: if the lobe is a kind of a haycock that it is asymptotic but not healthful is true.;
$hypothesis$ = the senna is hircine. ; $context$ = sent1: something is not a cuneiform. sent2: if the reciprocal is not healthful the fact that the senna is a haycock but it is not healthful is not right. sent3: there exists something such that it is not a kind of a Sarawak. sent4: if the senna is healthful then it is hircine. sent5: something is a Sarawak. sent6: if the reciprocal is not healthful then that the senna is a haycock and is healthful is wrong. sent7: if there is something such that it is not a cuneiform then that the gonif is not a ghastliness is not false. sent8: if the reciprocal is not asymptotic then it is a kind of a Sarawak that is healthful. sent9: if the reciprocal is a kind of a cuneiform then it is a kind of a Sarawak. sent10: if something is a laryngoscope and healthful then the lobe is not asymptotic. sent11: the lobe does whang Grimm. sent12: if that something is a kind of a haycock that is not healthful is not true then the fact that it is not non-hircine is right. sent13: something is a ghastliness. sent14: that the reciprocal is a haycock but it is unhealthful does not hold. sent15: something that is healthful is hircine. sent16: something is asymptotic but it is not healthful if it is a haycock. sent17: the reciprocal is a kind of a cuneiform. sent18: there is something such that it is not unhealthful. sent19: if the lobe is a kind of asymptotic thing that is not healthful the reciprocal is not a laryngoscope. sent20: something is a kind of a laryngoscope. sent21: if there is something such that it is not a kind of a ghastliness then the lobe is asymptotic and does whang Grimm. sent22: if there exists something such that that it is not a ghastliness is true the lobe whangs Grimm. sent23: something is cuneiform. sent24: that the fact that the senna is a haycock and is healthful is incorrect is not false. ; $proof$ = 
void -> assump1: Let's assume that the reciprocal is healthful.; sent1 & sent7 -> int1: the gonif is not a ghastliness.; int1 -> int2: there exists something such that it is not a ghastliness.; int2 & sent21 -> int3: the lobe is a kind of asymptotic thing that does whang Grimm.; int3 -> int4: the lobe is asymptotic.; sent12 -> int5: the senna is hircine if that it is a haycock and it is not healthful is not true.; __UNKNOWN__