something is a kind of a nainsook that is postdiluvian.
sent1: the push-bike is not disproportionate if something is postdiluvian. sent2: the push-bike does add GPO and it does severalize bigheartedness. sent3: something steadies. sent4: the rearward is not postdiluvian if the push-bike is not a kind of a postdiluvian and it does not add hag. sent5: if the rearward is a Romanian but it is not disproportionate then the push-bike is a nainsook. sent6: the push-bike does not manhandle Woodhull. sent7: something is a kind of disproportionate thing that does add scar if it is not a Romanian. sent8: the conventioneer is not a kind of a costume and it is not a nainsook. sent9: there exists something such that it adds scar. sent10: the push-bike does not add hag. sent11: there exists something such that it is a nainsook. sent12: if the frogbit does not manhandle Woodhull the push-bike is a kind of non-postdiluvian thing that does not add hag. sent13: The Woodhull does not manhandle push-bike. sent14: if something that does not manhandle Woodhull does not add hag it is a kind of a postdiluvian. sent15: if something adds scar the rearward is a Romanian and proportionate. sent16: something is not non-postdiluvian. sent17: there exists something such that it is a SSA. sent18: the rearward is a Romanian. sent19: that the convection is not a kind of a Romanian and it is not a nainsook is not incorrect if the rearward is not a postdiluvian. sent20: the Gambian is a kind of a Romanian. sent21: the push-bike is not a bull-snake. sent22: The hag does not add push-bike. sent23: the rearward is a Romanian if there exists something such that the fact that it adds scar hold.
sent9 & sent15 -> int1: the rearward is Romanian but not disproportionate.; int1 & sent5 -> int2: the push-bike is a nainsook.; sent14 -> int3: if that the push-bike does not manhandle Woodhull and it does not add hag is true it is a postdiluvian.; sent6 & sent10 -> int4: the push-bike does not manhandle Woodhull and it does not add hag.; int3 & int4 -> int5: the fact that the push-bike is a postdiluvian is not false.; int2 & int5 -> int6: the push-bike is a nainsook and it is a postdiluvian.; int6 -> hypothesis;
that the convection is disproportionate is not false.
sent7 -> int7: the convection is a kind of disproportionate thing that adds scar if it is not a Romanian.;
$hypothesis$ = something is a kind of a nainsook that is postdiluvian. ; $context$ = sent1: the push-bike is not disproportionate if something is postdiluvian. sent2: the push-bike does add GPO and it does severalize bigheartedness. sent3: something steadies. sent4: the rearward is not postdiluvian if the push-bike is not a kind of a postdiluvian and it does not add hag. sent5: if the rearward is a Romanian but it is not disproportionate then the push-bike is a nainsook. sent6: the push-bike does not manhandle Woodhull. sent7: something is a kind of disproportionate thing that does add scar if it is not a Romanian. sent8: the conventioneer is not a kind of a costume and it is not a nainsook. sent9: there exists something such that it adds scar. sent10: the push-bike does not add hag. sent11: there exists something such that it is a nainsook. sent12: if the frogbit does not manhandle Woodhull the push-bike is a kind of non-postdiluvian thing that does not add hag. sent13: The Woodhull does not manhandle push-bike. sent14: if something that does not manhandle Woodhull does not add hag it is a kind of a postdiluvian. sent15: if something adds scar the rearward is a Romanian and proportionate. sent16: something is not non-postdiluvian. sent17: there exists something such that it is a SSA. sent18: the rearward is a Romanian. sent19: that the convection is not a kind of a Romanian and it is not a nainsook is not incorrect if the rearward is not a postdiluvian. sent20: the Gambian is a kind of a Romanian. sent21: the push-bike is not a bull-snake. sent22: The hag does not add push-bike. sent23: the rearward is a Romanian if there exists something such that the fact that it adds scar hold. ; $proof$ = 
sent9 & sent15 -> int1: the rearward is Romanian but not disproportionate.; int1 & sent5 -> int2: the push-bike is a nainsook.; sent14 -> int3: if that the push-bike does not manhandle Woodhull and it does not add hag is true it is a postdiluvian.; sent6 & sent10 -> int4: the push-bike does not manhandle Woodhull and it does not add hag.; int3 & int4 -> int5: the fact that the push-bike is a postdiluvian is not false.; int2 & int5 -> int6: the push-bike is a nainsook and it is a postdiluvian.; int6 -> hypothesis; __PROVED__