the lumber is fungoid and it is upmarket.
sent1: the broadcasting is non-lyric. sent2: if that something is not an indicative but it is a kind of a bigamist is not correct then it is a kind of an indicative. sent3: the kosher is not fungoid if the dragnet is a Schonbein or it is not a flattery or both. sent4: the cerium is not a mafioso if there exists something such that the fact that it is a kind of a Lushun and it is not a criminalization is incorrect. sent5: if the fact that the fact that the lumber is not upmarket and trips mining does not hold is not incorrect then the major is a kind of an indicative. sent6: something is a kind of a filet if that it is wieldy is true. sent7: the fact that there exists something such that it is a flattery hold. sent8: the kosher is wieldy if something is a Schonbein and it is a flattery. sent9: something is a Schonbein if it is not a flattery and it is wieldy. sent10: the dragnet is not a filet if the major is a filet and does not miscarry Disneyland. sent11: the lumber is fungoid if the major does trip mining. sent12: the fact that something does heal and it is a motion does not hold if it is not a mafioso. sent13: that the Vermonter is not indicative but a bigamist is not right if the mycophagy does not heal. sent14: something that is not a chump is a kind of a filet that does not miscarry Disneyland. sent15: if the parishioner does not heal but it is a kind of an indicative the lumber is indicative. sent16: the parishioner is a kind of an indicative. sent17: there exists something such that it is a Schonbein. sent18: the fact that the dragnet is not a ctene and is a chump is not right if the kosher does miscarry Disneyland. sent19: if the parishioner does not trip mining and is not a ctene then the major is not a chump. sent20: the parishioner does not luxuriate and does trip Belsen. sent21: if something is a kind of a filet then it miscarries Disneyland. sent22: the parishioner is a filet. sent23: the parishioner does not trip mining and it is not a kind of a ctene if the Vermonter is an indicative. sent24: something is both a Schonbein and a flattery. sent25: if the kosher is not a kind of a Schonbein then that the lumber is fungoid and it is upmarket is not true. sent26: if the broadcasting is not a kind of a lyric then that the protist is a kind of a Lushun but it is not a criminalization is not right. sent27: the major trips mining if the fact that the fact that the dragnet is not a ctene but it is a kind of a chump is not correct hold. sent28: the lumber is upmarket if it is a kind of an indicative. sent29: the parishioner does not heal and is indicative. sent30: if the dragnet is a Schonbein then the kosher is not a Schonbein.
sent24 & sent8 -> int1: the kosher is wieldy.; sent6 -> int2: the kosher is a filet if that it is not unwieldy is true.; int1 & int2 -> int3: the kosher is a filet.; sent21 -> int4: if the kosher is a kind of a filet it miscarries Disneyland.; int3 & int4 -> int5: the fact that the kosher miscarries Disneyland hold.; int5 & sent18 -> int6: that the dragnet is not a ctene but a chump is not correct.; int6 & sent27 -> int7: the major trips mining.; int7 & sent11 -> int8: the lumber is not non-fungoid.; sent15 & sent29 -> int9: the lumber is an indicative.; sent28 & int9 -> int10: the lumber is upmarket.; int8 & int10 -> hypothesis;
that the lumber is fungoid and it is upmarket is incorrect.
$hypothesis$ = the lumber is fungoid and it is upmarket. ; $context$ = sent1: the broadcasting is non-lyric. sent2: if that something is not an indicative but it is a kind of a bigamist is not correct then it is a kind of an indicative. sent3: the kosher is not fungoid if the dragnet is a Schonbein or it is not a flattery or both. sent4: the cerium is not a mafioso if there exists something such that the fact that it is a kind of a Lushun and it is not a criminalization is incorrect. sent5: if the fact that the fact that the lumber is not upmarket and trips mining does not hold is not incorrect then the major is a kind of an indicative. sent6: something is a kind of a filet if that it is wieldy is true. sent7: the fact that there exists something such that it is a flattery hold. sent8: the kosher is wieldy if something is a Schonbein and it is a flattery. sent9: something is a Schonbein if it is not a flattery and it is wieldy. sent10: the dragnet is not a filet if the major is a filet and does not miscarry Disneyland. sent11: the lumber is fungoid if the major does trip mining. sent12: the fact that something does heal and it is a motion does not hold if it is not a mafioso. sent13: that the Vermonter is not indicative but a bigamist is not right if the mycophagy does not heal. sent14: something that is not a chump is a kind of a filet that does not miscarry Disneyland. sent15: if the parishioner does not heal but it is a kind of an indicative the lumber is indicative. sent16: the parishioner is a kind of an indicative. sent17: there exists something such that it is a Schonbein. sent18: the fact that the dragnet is not a ctene and is a chump is not right if the kosher does miscarry Disneyland. sent19: if the parishioner does not trip mining and is not a ctene then the major is not a chump. sent20: the parishioner does not luxuriate and does trip Belsen. sent21: if something is a kind of a filet then it miscarries Disneyland. sent22: the parishioner is a filet. sent23: the parishioner does not trip mining and it is not a kind of a ctene if the Vermonter is an indicative. sent24: something is both a Schonbein and a flattery. sent25: if the kosher is not a kind of a Schonbein then that the lumber is fungoid and it is upmarket is not true. sent26: if the broadcasting is not a kind of a lyric then that the protist is a kind of a Lushun but it is not a criminalization is not right. sent27: the major trips mining if the fact that the fact that the dragnet is not a ctene but it is a kind of a chump is not correct hold. sent28: the lumber is upmarket if it is a kind of an indicative. sent29: the parishioner does not heal and is indicative. sent30: if the dragnet is a Schonbein then the kosher is not a Schonbein. ; $proof$ = 
sent24 & sent8 -> int1: the kosher is wieldy.; sent6 -> int2: the kosher is a filet if that it is not unwieldy is true.; int1 & int2 -> int3: the kosher is a filet.; sent21 -> int4: if the kosher is a kind of a filet it miscarries Disneyland.; int3 & int4 -> int5: the fact that the kosher miscarries Disneyland hold.; int5 & sent18 -> int6: that the dragnet is not a ctene but a chump is not correct.; int6 & sent27 -> int7: the major trips mining.; int7 & sent11 -> int8: the lumber is not non-fungoid.; sent15 & sent29 -> int9: the lumber is an indicative.; sent28 & int9 -> int10: the lumber is upmarket.; int8 & int10 -> hypothesis; __PROVED__