either the bonduc is a vaporization or it is a kind of a workaholic or both.
sent1: if the politician is a workaholic and/or it is not configurational then it does preoccupy imponderable. sent2: if the shirtsleeve is not a workaholic the bonduc either is a greengrocery or symbolizes or both. sent3: the shirtsleeve is nonfictional if it is a kind of a MAO. sent4: the shirtsleeve is a modernism. sent5: if the shirtsleeve is agricultural then it is nonfictional. sent6: if the shirtsleeve is not a greengrocery the bonduc is a kind of a modernism and/or does not symbolize. sent7: if that the shirtsleeve does not symbolize is correct then the bonduc is a vaporization and/or it is a greengrocery. sent8: if that the bonduc is not a vaporization hold then the shirtsleeve is a modernism and/or it is not a kind of a greengrocery. sent9: that something either is a kind of a vaporization or is a workaholic or both is not true if it is not a greengrocery. sent10: that the shirtsleeve is not a kind of a greengrocery is not incorrect. sent11: if the bonduc is not a vaporization it is disrespectful. sent12: the bonduc does symbolize and/or it is a greengrocery. sent13: the bonduc is a greengrocery and/or it is a workaholic if the shirtsleeve is not a vaporization. sent14: if the bonduc is a modernism and/or does not symbolize then that it is a vaporization is right. sent15: the bonduc is a greengrocery if it is not a kind of a vaporization. sent16: the shirtsleeve either symbolizes or is not a vaporization or both if the bonduc is not a greengrocery. sent17: the bonduc does not preoccupy Lennon. sent18: either the shirtsleeve is a kind of a MAO or it is agricultural or both. sent19: if the shirtsleeve is not a workaholic then the bonduc is a kind of a vaporization and/or it is a greengrocery. sent20: the shirtsleeve does not marshal vacationing. sent21: the bonduc is cathodic or it is a vaporization or both.
sent6 & sent10 -> int1: the bonduc is a modernism or does not symbolize or both.; int1 & sent14 -> int2: the bonduc is a vaporization.; int2 -> hypothesis;
the fact that the fact that the bonduc is a vaporization and/or is a workaholic is incorrect is right.
sent9 -> int3: the fact that the bonduc is a vaporization and/or it is a workaholic does not hold if it is not a greengrocery.; sent18 & sent3 & sent5 -> int4: the shirtsleeve is nonfictional.;
$hypothesis$ = either the bonduc is a vaporization or it is a kind of a workaholic or both. ; $context$ = sent1: if the politician is a workaholic and/or it is not configurational then it does preoccupy imponderable. sent2: if the shirtsleeve is not a workaholic the bonduc either is a greengrocery or symbolizes or both. sent3: the shirtsleeve is nonfictional if it is a kind of a MAO. sent4: the shirtsleeve is a modernism. sent5: if the shirtsleeve is agricultural then it is nonfictional. sent6: if the shirtsleeve is not a greengrocery the bonduc is a kind of a modernism and/or does not symbolize. sent7: if that the shirtsleeve does not symbolize is correct then the bonduc is a vaporization and/or it is a greengrocery. sent8: if that the bonduc is not a vaporization hold then the shirtsleeve is a modernism and/or it is not a kind of a greengrocery. sent9: that something either is a kind of a vaporization or is a workaholic or both is not true if it is not a greengrocery. sent10: that the shirtsleeve is not a kind of a greengrocery is not incorrect. sent11: if the bonduc is not a vaporization it is disrespectful. sent12: the bonduc does symbolize and/or it is a greengrocery. sent13: the bonduc is a greengrocery and/or it is a workaholic if the shirtsleeve is not a vaporization. sent14: if the bonduc is a modernism and/or does not symbolize then that it is a vaporization is right. sent15: the bonduc is a greengrocery if it is not a kind of a vaporization. sent16: the shirtsleeve either symbolizes or is not a vaporization or both if the bonduc is not a greengrocery. sent17: the bonduc does not preoccupy Lennon. sent18: either the shirtsleeve is a kind of a MAO or it is agricultural or both. sent19: if the shirtsleeve is not a workaholic then the bonduc is a kind of a vaporization and/or it is a greengrocery. sent20: the shirtsleeve does not marshal vacationing. sent21: the bonduc is cathodic or it is a vaporization or both. ; $proof$ = 
sent6 & sent10 -> int1: the bonduc is a modernism or does not symbolize or both.; int1 & sent14 -> int2: the bonduc is a vaporization.; int2 -> hypothesis; __PROVED__