the fact that the birthwort is a Helleborus is not wrong.
sent1: that the birthwort is a Helleborus hold if the earplug is a cangue. sent2: the fact that the fauteuil is both a cangue and not lexicographic is not right. sent3: something that is not a pulpwood is a Didion that is a plaint. sent4: there is nothing such that it is not a cangue and it is a pulpwood. sent5: if something that is a kind of a plaint is a kind of a Didion then it is not a pulpwood. sent6: if something is a kind of a plaint the fact that it is a Helleborus is true. sent7: the birthwort is a soursop. sent8: the mat is a cangue if the earplug is a kind of a pulpwood. sent9: the fauteuil is not a soursop. sent10: the earplug is not a soursop. sent11: the fauteuil is not a soursop but a Didion. sent12: the earplug is a cangue if the mat is not a pulpwood and is not a space. sent13: if that the fauteuil is a kind of a cangue but it is non-lexicographic is not correct then it is not a cangue. sent14: the mat is a plaint. sent15: the fauteuil is not a soursop and is lexicographic. sent16: the amrinone is a plaint. sent17: if the fauteuil is not a kind of a cangue the fact that the earplug is not a space and it is not a pulpwood is not right. sent18: the mat does not space if the fauteuil is not a kind of a soursop but it is lexicographic. sent19: if that the fauteuil is a soursop and it is lexicographic is not false then the mat is not a space. sent20: the mat is a Didion.
sent14 & sent20 -> int1: the mat is a plaint that is a Didion.; sent5 -> int2: if the mat is a plaint and a Didion then it is not a pulpwood.; int1 & int2 -> int3: the mat is not a pulpwood.; sent18 & sent15 -> int4: the mat is not a kind of a space.; int3 & int4 -> int5: the mat is not a pulpwood and not a space.; int5 & sent12 -> int6: the earplug is a kind of a cangue.; int6 & sent1 -> hypothesis;
the fauteuil is a Helleborus.
sent6 -> int7: if that the fauteuil is a kind of a plaint is not wrong then the fact that it is a Helleborus is not wrong.; sent3 -> int8: if that the fauteuil is a pulpwood is not correct it is a Didion and is a kind of a plaint.; sent4 -> int9: that the mat is not a cangue but it is a pulpwood does not hold.; int9 -> int10: there exists something such that the fact that it is not a cangue and is a kind of a pulpwood is not correct.;
$hypothesis$ = the fact that the birthwort is a Helleborus is not wrong. ; $context$ = sent1: that the birthwort is a Helleborus hold if the earplug is a cangue. sent2: the fact that the fauteuil is both a cangue and not lexicographic is not right. sent3: something that is not a pulpwood is a Didion that is a plaint. sent4: there is nothing such that it is not a cangue and it is a pulpwood. sent5: if something that is a kind of a plaint is a kind of a Didion then it is not a pulpwood. sent6: if something is a kind of a plaint the fact that it is a Helleborus is true. sent7: the birthwort is a soursop. sent8: the mat is a cangue if the earplug is a kind of a pulpwood. sent9: the fauteuil is not a soursop. sent10: the earplug is not a soursop. sent11: the fauteuil is not a soursop but a Didion. sent12: the earplug is a cangue if the mat is not a pulpwood and is not a space. sent13: if that the fauteuil is a kind of a cangue but it is non-lexicographic is not correct then it is not a cangue. sent14: the mat is a plaint. sent15: the fauteuil is not a soursop and is lexicographic. sent16: the amrinone is a plaint. sent17: if the fauteuil is not a kind of a cangue the fact that the earplug is not a space and it is not a pulpwood is not right. sent18: the mat does not space if the fauteuil is not a kind of a soursop but it is lexicographic. sent19: if that the fauteuil is a soursop and it is lexicographic is not false then the mat is not a space. sent20: the mat is a Didion. ; $proof$ = 
sent14 & sent20 -> int1: the mat is a plaint that is a Didion.; sent5 -> int2: if the mat is a plaint and a Didion then it is not a pulpwood.; int1 & int2 -> int3: the mat is not a pulpwood.; sent18 & sent15 -> int4: the mat is not a kind of a space.; int3 & int4 -> int5: the mat is not a pulpwood and not a space.; int5 & sent12 -> int6: the earplug is a kind of a cangue.; int6 & sent1 -> hypothesis; __PROVED__