the barouche is undramatic but it is not prenatal.
sent1: if something is a kind of a potboiler the fact that it is undramatic and it is not prenatal does not hold. sent2: something either commercializes Bennett or does commercialize hardinggrass or both if it is not umbellate. sent3: if the amigo is not Peruvian the fact that it commercializes Bennett and is umbellate does not hold. sent4: something rubbishes lobbyist if it does not bathe fivepence and it is not mecopterous. sent5: the amigo does not commercialize hardinggrass if the rorqual does rubbish lobbyist. sent6: the barouche is undramatic and is not umbellate. sent7: there exists something such that the fact that it is both a bulk and Peruvian is not right. sent8: the plumcot rubbishes lobbyist if the rorqual is umbellate. sent9: the barouche is undramatic but not prenatal if something rubbishes lobbyist. sent10: if the amigo is a kind of a potboiler then the fact that the rorqual does commercialize Bennett is right. sent11: the amigo is not umbellate if the fact that the rorqual is not umbellate and it does not rubbish lobbyist is not right. sent12: the amigo is a potboiler if it does commercialize hardinggrass. sent13: the rorqual is umbellate if it does commercialize Bennett. sent14: if something is not prenatal then the fact that it is not umbellate and it does not rubbish lobbyist is not correct. sent15: if that the amigo commercializes Bennett and is umbellate is wrong then it does not commercializes Bennett. sent16: something does hole if it is a potboiler. sent17: the amigo does commercialize hardinggrass if the fact that it holes and it is not intercellular is not right. sent18: if that the amigo is intercellular is true then that it does commercialize hardinggrass is true. sent19: the fact that the amigo is both a hole and not intercellular is wrong. sent20: the rorqual does not bathe fivepence.
sent17 & sent19 -> int1: the amigo does commercialize hardinggrass.; int1 & sent12 -> int2: the amigo is a potboiler.; int2 & sent10 -> int3: the rorqual commercializes Bennett.; int3 & sent13 -> int4: the rorqual is umbellate.; int4 & sent8 -> int5: the plumcot rubbishes lobbyist.; int5 -> int6: something rubbishes lobbyist.; int6 & sent9 -> hypothesis;
that the barouche is undramatic thing that is not prenatal is incorrect.
sent1 -> int7: if the barouche is a potboiler that it is undramatic and is not prenatal does not hold.; sent4 -> int8: if the rorqual does not bathe fivepence and is not mecopterous then it does rubbish lobbyist.;
$hypothesis$ = the barouche is undramatic but it is not prenatal. ; $context$ = sent1: if something is a kind of a potboiler the fact that it is undramatic and it is not prenatal does not hold. sent2: something either commercializes Bennett or does commercialize hardinggrass or both if it is not umbellate. sent3: if the amigo is not Peruvian the fact that it commercializes Bennett and is umbellate does not hold. sent4: something rubbishes lobbyist if it does not bathe fivepence and it is not mecopterous. sent5: the amigo does not commercialize hardinggrass if the rorqual does rubbish lobbyist. sent6: the barouche is undramatic and is not umbellate. sent7: there exists something such that the fact that it is both a bulk and Peruvian is not right. sent8: the plumcot rubbishes lobbyist if the rorqual is umbellate. sent9: the barouche is undramatic but not prenatal if something rubbishes lobbyist. sent10: if the amigo is a kind of a potboiler then the fact that the rorqual does commercialize Bennett is right. sent11: the amigo is not umbellate if the fact that the rorqual is not umbellate and it does not rubbish lobbyist is not right. sent12: the amigo is a potboiler if it does commercialize hardinggrass. sent13: the rorqual is umbellate if it does commercialize Bennett. sent14: if something is not prenatal then the fact that it is not umbellate and it does not rubbish lobbyist is not correct. sent15: if that the amigo commercializes Bennett and is umbellate is wrong then it does not commercializes Bennett. sent16: something does hole if it is a potboiler. sent17: the amigo does commercialize hardinggrass if the fact that it holes and it is not intercellular is not right. sent18: if that the amigo is intercellular is true then that it does commercialize hardinggrass is true. sent19: the fact that the amigo is both a hole and not intercellular is wrong. sent20: the rorqual does not bathe fivepence. ; $proof$ = 
sent17 & sent19 -> int1: the amigo does commercialize hardinggrass.; int1 & sent12 -> int2: the amigo is a potboiler.; int2 & sent10 -> int3: the rorqual commercializes Bennett.; int3 & sent13 -> int4: the rorqual is umbellate.; int4 & sent8 -> int5: the plumcot rubbishes lobbyist.; int5 -> int6: something rubbishes lobbyist.; int6 & sent9 -> hypothesis; __PROVED__