the goalpost is not shrinkable but it is a bunyavirus.
sent1: the bullock is not a season. sent2: there is something such that it overprotects. sent3: the invention is not a fullness if the rough is a fullness but it is not sublingual. sent4: if there exists something such that it is not a kind of a bunyavirus then the goalpost is not a kind of a season and is unshrinkable. sent5: if something is not fiscal the invention is not a kind of a season and is not a bunyavirus. sent6: something is a kind of a fullness that is not sublingual if it is a falafel. sent7: that the invention does overprotect and does not season does not hold if it is fiscal. sent8: that if the invention is not a season the goalpost is not shrinkable but it is a bunyavirus hold. sent9: if the invention is not a season then the goalpost is not shrinkable. sent10: if something is not a season then the goalpost is not shrinkable. sent11: if the goalpost is not a season the invention is not a bunyavirus but it is shrinkable. sent12: if the rough does not transaminate posted then it is a kind of a clout and it is a falafel. sent13: the invention is a kind of non-fiscal thing that does not season if there is something such that it does not overprotect. sent14: the goalpost is not shrinkable. sent15: if something does not overprotect then the fact that it is not shrinkable and it is a bunyavirus is wrong. sent16: the invention is punitive and fiscal if it is not a kind of a fullness. sent17: the invention is a kind of a bunyavirus if the goalpost is not fiscal.
the fact that the goalpost is not shrinkable but a bunyavirus does not hold.
sent15 -> int1: if the goalpost does not overprotect that it is not shrinkable and it is a kind of a bunyavirus does not hold.; sent6 -> int2: the rough is both a fullness and not sublingual if that it is a falafel hold.;
$hypothesis$ = the goalpost is not shrinkable but it is a bunyavirus. ; $context$ = sent1: the bullock is not a season. sent2: there is something such that it overprotects. sent3: the invention is not a fullness if the rough is a fullness but it is not sublingual. sent4: if there exists something such that it is not a kind of a bunyavirus then the goalpost is not a kind of a season and is unshrinkable. sent5: if something is not fiscal the invention is not a kind of a season and is not a bunyavirus. sent6: something is a kind of a fullness that is not sublingual if it is a falafel. sent7: that the invention does overprotect and does not season does not hold if it is fiscal. sent8: that if the invention is not a season the goalpost is not shrinkable but it is a bunyavirus hold. sent9: if the invention is not a season then the goalpost is not shrinkable. sent10: if something is not a season then the goalpost is not shrinkable. sent11: if the goalpost is not a season the invention is not a bunyavirus but it is shrinkable. sent12: if the rough does not transaminate posted then it is a kind of a clout and it is a falafel. sent13: the invention is a kind of non-fiscal thing that does not season if there is something such that it does not overprotect. sent14: the goalpost is not shrinkable. sent15: if something does not overprotect then the fact that it is not shrinkable and it is a bunyavirus is wrong. sent16: the invention is punitive and fiscal if it is not a kind of a fullness. sent17: the invention is a kind of a bunyavirus if the goalpost is not fiscal. ; $proof$ = 
__UNKNOWN__