the impact is coital and it farts.
sent1: the jack-in-the-pulpit does not brooch switch-hitter if the ambassador is a kind of a Erlang. sent2: the fact that the barracuda is non-smoothed thing that does not brooch dacoit is not correct. sent3: the teashop is not coital if the consigner is both not phylogenetic and barytic. sent4: the consigner is not smoothed if the teashop is a Erlang and it is a apocope. sent5: that either the teashop is barytic or it does not brooch switch-hitter or both is not right if there exists something such that that it is not phylogenetic is not false. sent6: something that is not a smoothed is a Erlang and is a apocope. sent7: if the teashop is not a apocope and it is non-smoothed it is not clement. sent8: if the fact that the impact is both not coital and clement is correct it is not a kind of a smoothed. sent9: the ambassador is not smoothed if that the barracuda is not a smoothed and it does not brooch dacoit does not hold. sent10: something is not phylogenetic. sent11: the impact is coital and it farts if the jack-in-the-pulpit is not coital. sent12: there exists something such that the fact that it is coital is right. sent13: the teashop is a kind of a Erlang if the fact that it is barytic or it does not brooch switch-hitter or both is not correct. sent14: the teashop does not brooch Hokkaido. sent15: the teashop is a kind of a apocope if a non-peripteral thing does not brooch dacoit. sent16: if the jack-in-the-pulpit is not clement and not a smoothed the fact that it is not coital hold. sent17: the teashop is phylogenetic but it is not a honeycreeper. sent18: if the consigner is not a kind of a smoothed the jack-in-the-pulpit is not clement and it is not a kind of a smoothed. sent19: the teashop is not barytic. sent20: there exists something such that it is not peripteral and does not brooch dacoit.
sent10 & sent5 -> int1: the fact that the teashop is barytic or it does not brooch switch-hitter or both is not correct.; int1 & sent13 -> int2: the teashop is a Erlang.; sent20 & sent15 -> int3: the teashop is a apocope.; int2 & int3 -> int4: the teashop is a Erlang and it is a apocope.; int4 & sent4 -> int5: the fact that the consigner is not smoothed is not incorrect.; int5 & sent18 -> int6: the jack-in-the-pulpit is inclement and non-smoothed.; int6 & sent16 -> int7: the jack-in-the-pulpit is not coital.; int7 & sent11 -> hypothesis;
the teashop is not tinny and it is not a kind of a honeycreeper.
sent17 -> int8: the teashop is not a honeycreeper.;
$hypothesis$ = the impact is coital and it farts. ; $context$ = sent1: the jack-in-the-pulpit does not brooch switch-hitter if the ambassador is a kind of a Erlang. sent2: the fact that the barracuda is non-smoothed thing that does not brooch dacoit is not correct. sent3: the teashop is not coital if the consigner is both not phylogenetic and barytic. sent4: the consigner is not smoothed if the teashop is a Erlang and it is a apocope. sent5: that either the teashop is barytic or it does not brooch switch-hitter or both is not right if there exists something such that that it is not phylogenetic is not false. sent6: something that is not a smoothed is a Erlang and is a apocope. sent7: if the teashop is not a apocope and it is non-smoothed it is not clement. sent8: if the fact that the impact is both not coital and clement is correct it is not a kind of a smoothed. sent9: the ambassador is not smoothed if that the barracuda is not a smoothed and it does not brooch dacoit does not hold. sent10: something is not phylogenetic. sent11: the impact is coital and it farts if the jack-in-the-pulpit is not coital. sent12: there exists something such that the fact that it is coital is right. sent13: the teashop is a kind of a Erlang if the fact that it is barytic or it does not brooch switch-hitter or both is not correct. sent14: the teashop does not brooch Hokkaido. sent15: the teashop is a kind of a apocope if a non-peripteral thing does not brooch dacoit. sent16: if the jack-in-the-pulpit is not clement and not a smoothed the fact that it is not coital hold. sent17: the teashop is phylogenetic but it is not a honeycreeper. sent18: if the consigner is not a kind of a smoothed the jack-in-the-pulpit is not clement and it is not a kind of a smoothed. sent19: the teashop is not barytic. sent20: there exists something such that it is not peripteral and does not brooch dacoit. ; $proof$ = 
sent10 & sent5 -> int1: the fact that the teashop is barytic or it does not brooch switch-hitter or both is not correct.; int1 & sent13 -> int2: the teashop is a Erlang.; sent20 & sent15 -> int3: the teashop is a apocope.; int2 & int3 -> int4: the teashop is a Erlang and it is a apocope.; int4 & sent4 -> int5: the fact that the consigner is not smoothed is not incorrect.; int5 & sent18 -> int6: the jack-in-the-pulpit is inclement and non-smoothed.; int6 & sent16 -> int7: the jack-in-the-pulpit is not coital.; int7 & sent11 -> hypothesis; __PROVED__