that the blazer is a gooseberry is not wrong.
sent1: something is a Oktoberfest that is a kind of a gooseberry. sent2: the Calla is genuine. sent3: if something that is a Oktoberfest scourges coauthor the blazer is a gooseberry. sent4: the drawler does scourge coauthor. sent5: the electricity is funicular thing that is tracheal. sent6: the drawler is a gooseberry. sent7: the phagocyte is not genuine and it is not a graduate. sent8: there is something such that it is not a graduate and it is not a pillion. sent9: that if the phagocyte is non-genuine the fact that the electricity is not a Arnold and it is not a anomia is not correct hold. sent10: The coauthor does scourge drawler. sent11: the electricity is not a pillion. sent12: there exists something such that the fact that it is both not a pillion and not a Arnold is false. sent13: that the drawler does not scourge coauthor and is a anomia does not hold. sent14: that the drawler is a Oktoberfest is not false if it is a pillion. sent15: the electricity is not a Oktoberfest and it is not a kind of a anomia. sent16: if there exists something such that that it is not a kind of a Arnold and it is not a anomia does not hold the drawler is a kind of a pillion. sent17: there exists something such that it is not a kind of a pillion and it does not graduate.
sent7 -> int1: the phagocyte is not genuine.; int1 & sent9 -> int2: the fact that the electricity is not a Arnold and not a anomia does not hold.; int2 -> int3: there exists something such that the fact that it is both not a Arnold and not a anomia is not true.; int3 & sent16 -> int4: the drawler is a kind of a pillion.; int4 & sent14 -> int5: the drawler is a Oktoberfest.; int5 & sent4 -> int6: the drawler is a kind of a Oktoberfest and does scourge coauthor.; int6 -> int7: something is a Oktoberfest and does scourge coauthor.; int7 & sent3 -> hypothesis;
$hypothesis$ = that the blazer is a gooseberry is not wrong. ; $context$ = sent1: something is a Oktoberfest that is a kind of a gooseberry. sent2: the Calla is genuine. sent3: if something that is a Oktoberfest scourges coauthor the blazer is a gooseberry. sent4: the drawler does scourge coauthor. sent5: the electricity is funicular thing that is tracheal. sent6: the drawler is a gooseberry. sent7: the phagocyte is not genuine and it is not a graduate. sent8: there is something such that it is not a graduate and it is not a pillion. sent9: that if the phagocyte is non-genuine the fact that the electricity is not a Arnold and it is not a anomia is not correct hold. sent10: The coauthor does scourge drawler. sent11: the electricity is not a pillion. sent12: there exists something such that the fact that it is both not a pillion and not a Arnold is false. sent13: that the drawler does not scourge coauthor and is a anomia does not hold. sent14: that the drawler is a Oktoberfest is not false if it is a pillion. sent15: the electricity is not a Oktoberfest and it is not a kind of a anomia. sent16: if there exists something such that that it is not a kind of a Arnold and it is not a anomia does not hold the drawler is a kind of a pillion. sent17: there exists something such that it is not a kind of a pillion and it does not graduate. ; $proof$ = 
sent7 -> int1: the phagocyte is not genuine.; int1 & sent9 -> int2: the fact that the electricity is not a Arnold and not a anomia does not hold.; int2 -> int3: there exists something such that the fact that it is both not a Arnold and not a anomia is not true.; int3 & sent16 -> int4: the drawler is a kind of a pillion.; int4 & sent14 -> int5: the drawler is a Oktoberfest.; int5 & sent4 -> int6: the drawler is a kind of a Oktoberfest and does scourge coauthor.; int6 -> int7: something is a Oktoberfest and does scourge coauthor.; int7 & sent3 -> hypothesis; __PROVED__