the Ni-hard does bog desktop.
sent1: the hooker does not bog desktop if it is a genuineness and it does yodel penni. sent2: the sundae does not winnow gummed and is a pung. sent3: the Ni-hard does bog desktop and is a kind of a orthopter if the hooker does not bog desktop. sent4: the hooker yodels mid-off. sent5: the Ni-hard does unpick nonallele and does unpick NREM. sent6: the hooker does yodel penni. sent7: the hooker does winnow driveller and/or it bogs desktop if there exists something such that it winnow driveller. sent8: The driveller winnows hooker. sent9: if the Angevin is a loft the football is a loft. sent10: the hooker does discriminate if that the Ni-hard yodels penni is not incorrect. sent11: the football is a loft if the Angevin is a pung. sent12: either the Angevin does loft or it is a pung or both if something is a pung. sent13: if something discriminates then the suburb does not yodel mid-off but it is agricultural. sent14: the Ni-hard is not agricultural if it is a genuineness and it is a orthopter. sent15: The mid-off yodels hooker. sent16: if the fact that something winnows driveller and yodels mid-off is correct then the fact that it is not agricultural is true. sent17: The penni does yodel hooker. sent18: the detonator does yodel mid-off if there exists something such that that it is non-agricultural thing that is not discriminate is not correct. sent19: the fact that the vestment is a orthopter or it does not yodel penni or both does not hold if the football is a kind of a loft. sent20: the hooker winnows driveller. sent21: if the fact that the vestment is a orthopter or does not yodel penni or both does not hold then the birdcall is not a kind of a genuineness. sent22: something is a genuineness if it is not discriminate. sent23: that the matron is not agricultural and it does not discriminate is wrong if the birdcall is not a genuineness. sent24: something bogs desktop.
sent20 & sent4 -> int1: the hooker does winnow driveller and it yodels mid-off.; sent16 -> int2: if the hooker winnows driveller and does yodel mid-off that it is not agricultural is true.; int1 & int2 -> int3: the hooker is non-agricultural.; sent22 -> int4: the hooker is a genuineness if it is not discriminate.;
the suburb is a genuineness.
$hypothesis$ = the Ni-hard does bog desktop. ; $context$ = sent1: the hooker does not bog desktop if it is a genuineness and it does yodel penni. sent2: the sundae does not winnow gummed and is a pung. sent3: the Ni-hard does bog desktop and is a kind of a orthopter if the hooker does not bog desktop. sent4: the hooker yodels mid-off. sent5: the Ni-hard does unpick nonallele and does unpick NREM. sent6: the hooker does yodel penni. sent7: the hooker does winnow driveller and/or it bogs desktop if there exists something such that it winnow driveller. sent8: The driveller winnows hooker. sent9: if the Angevin is a loft the football is a loft. sent10: the hooker does discriminate if that the Ni-hard yodels penni is not incorrect. sent11: the football is a loft if the Angevin is a pung. sent12: either the Angevin does loft or it is a pung or both if something is a pung. sent13: if something discriminates then the suburb does not yodel mid-off but it is agricultural. sent14: the Ni-hard is not agricultural if it is a genuineness and it is a orthopter. sent15: The mid-off yodels hooker. sent16: if the fact that something winnows driveller and yodels mid-off is correct then the fact that it is not agricultural is true. sent17: The penni does yodel hooker. sent18: the detonator does yodel mid-off if there exists something such that that it is non-agricultural thing that is not discriminate is not correct. sent19: the fact that the vestment is a orthopter or it does not yodel penni or both does not hold if the football is a kind of a loft. sent20: the hooker winnows driveller. sent21: if the fact that the vestment is a orthopter or does not yodel penni or both does not hold then the birdcall is not a kind of a genuineness. sent22: something is a genuineness if it is not discriminate. sent23: that the matron is not agricultural and it does not discriminate is wrong if the birdcall is not a genuineness. sent24: something bogs desktop. ; $proof$ = 
sent20 & sent4 -> int1: the hooker does winnow driveller and it yodels mid-off.; sent16 -> int2: if the hooker winnows driveller and does yodel mid-off that it is not agricultural is true.; int1 & int2 -> int3: the hooker is non-agricultural.; sent22 -> int4: the hooker is a genuineness if it is not discriminate.; __UNKNOWN__