there exists something such that it sickens and does lean Linum.
sent1: that the tammy does sicken and is scorbutic is not right if the fielder is a paramountcy. sent2: the surfeit does not lean dong if the fact that the tammy does lean dong and does not inform is not true. sent3: if the surfeit is a cutaway then the erection does inform. sent4: the diflunisal afforests spectroscopy and is fibrocalcific. sent5: if the fact that the tammy is not a cutaway is incorrect the fact that the surfeit sickens hold. sent6: if the fact that something does not sicken but it is scorbutic is wrong then it does sicken. sent7: the fact that the tammy does lean dong and does not inform is not right if it is a cutaway. sent8: if the fielder is a paramountcy then that the tammy does not sicken and is scorbutic does not hold. sent9: the fielder is both a paramountcy and a pitprop. sent10: there is something such that it is hypoglycemic. sent11: there is something such that it is non-hypoglycemic. sent12: the fact that the surfeit is not hypoglycemic and it is not single-lane is false if there is something such that it is hypoglycemic. sent13: the fact that the tammy does sicken and is scorbutic is not correct. sent14: the surfeit sickens. sent15: something leans Linum. sent16: the erection informs if the surfeit does lean dong. sent17: if there is something such that it is not hypoglycemic the surfeit is a kind of a cutaway or leans dong or both. sent18: if something either is a kind of a Nast or does not lean dong or both then it is a Nast. sent19: the erection is hypoglycemic. sent20: if that something is non-hypoglycemic thing that is not single-lane does not hold then it is single-lane. sent21: the fielder is a pitprop. sent22: the tammy does lean Linum if the erection informs. sent23: something sickens.
sent11 & sent17 -> int1: the surfeit is a cutaway and/or it does lean dong.; int1 & sent3 & sent16 -> int2: the erection does inform.; int2 & sent22 -> int3: the tammy leans Linum.; sent6 -> int4: the tammy does sicken if that it does not sicken and it is scorbutic is false.; sent9 -> int5: the fielder is a paramountcy.; sent8 & int5 -> int6: the fact that the tammy does not sicken but it is scorbutic is not true.; int4 & int6 -> int7: the tammy does sicken.; int3 & int7 -> int8: the tammy does sicken and it leans Linum.; int8 -> hypothesis;
there is something such that it is a kind of a Nast and it is single-lane.
sent18 -> int9: if the surfeit is a Nast and/or it does not lean dong then it is a Nast.; sent20 -> int10: if the fact that the surfeit is both non-hypoglycemic and non-single-lane does not hold it is non-single-lane.; sent19 -> int11: something is hypoglycemic.; int11 & sent12 -> int12: that the surfeit is not hypoglycemic but non-single-lane does not hold.; int10 & int12 -> int13: the surfeit is single-lane.;
$hypothesis$ = there exists something such that it sickens and does lean Linum. ; $context$ = sent1: that the tammy does sicken and is scorbutic is not right if the fielder is a paramountcy. sent2: the surfeit does not lean dong if the fact that the tammy does lean dong and does not inform is not true. sent3: if the surfeit is a cutaway then the erection does inform. sent4: the diflunisal afforests spectroscopy and is fibrocalcific. sent5: if the fact that the tammy is not a cutaway is incorrect the fact that the surfeit sickens hold. sent6: if the fact that something does not sicken but it is scorbutic is wrong then it does sicken. sent7: the fact that the tammy does lean dong and does not inform is not right if it is a cutaway. sent8: if the fielder is a paramountcy then that the tammy does not sicken and is scorbutic does not hold. sent9: the fielder is both a paramountcy and a pitprop. sent10: there is something such that it is hypoglycemic. sent11: there is something such that it is non-hypoglycemic. sent12: the fact that the surfeit is not hypoglycemic and it is not single-lane is false if there is something such that it is hypoglycemic. sent13: the fact that the tammy does sicken and is scorbutic is not correct. sent14: the surfeit sickens. sent15: something leans Linum. sent16: the erection informs if the surfeit does lean dong. sent17: if there is something such that it is not hypoglycemic the surfeit is a kind of a cutaway or leans dong or both. sent18: if something either is a kind of a Nast or does not lean dong or both then it is a Nast. sent19: the erection is hypoglycemic. sent20: if that something is non-hypoglycemic thing that is not single-lane does not hold then it is single-lane. sent21: the fielder is a pitprop. sent22: the tammy does lean Linum if the erection informs. sent23: something sickens. ; $proof$ = 
sent11 & sent17 -> int1: the surfeit is a cutaway and/or it does lean dong.; int1 & sent3 & sent16 -> int2: the erection does inform.; int2 & sent22 -> int3: the tammy leans Linum.; sent6 -> int4: the tammy does sicken if that it does not sicken and it is scorbutic is false.; sent9 -> int5: the fielder is a paramountcy.; sent8 & int5 -> int6: the fact that the tammy does not sicken but it is scorbutic is not true.; int4 & int6 -> int7: the tammy does sicken.; int3 & int7 -> int8: the tammy does sicken and it leans Linum.; int8 -> hypothesis; __PROVED__