the pickerel is a souse but not a hoist.
sent1: The stonefish bathes tarot. sent2: the pickerel is a kind of a hatchel but it is not an airline. sent3: the pickerel does commercialize Shina. sent4: if the pickerel is Andorran and does not open it does commercialize drumhead. sent5: the tarot bathes stonefish. sent6: the pickerel is not an opening. sent7: the fact that something is a souse but it does not hoist is not correct if it does not bathe stonefish. sent8: if something is a gabardine that it is a HF hold. sent9: the fact that the pickerel is Andorran is not false. sent10: the spammer opens. sent11: that the John is not opening and it is not a kind of a Andorran does not hold if it is not a bottlecap. sent12: the tarot is a hatchel. sent13: the maiden is a hatchel. sent14: if something does bathe stonefish and it is a hatchel then the pickerel is not a kind of a hoist. sent15: something is a souse if it commercializes drumhead. sent16: the dockage is a souse. sent17: if that the tarot does not commercialize drumhead is not false the pickerel does not bathe stonefish and is a hatchel. sent18: the spammer is a kind of a souse that does not bathe stonefish if it opens.
sent5 & sent12 -> int1: the tarot bathes stonefish and is a kind of a hatchel.; int1 -> int2: there exists something such that it bathes stonefish and it is a hatchel.; int2 & sent14 -> int3: the pickerel is not a hoist.; sent15 -> int4: if the pickerel does commercialize drumhead it souses.; sent9 & sent6 -> int5: the fact that the pickerel is a kind of a Andorran but it is not an opening hold.; sent4 & int5 -> int6: that the pickerel does commercialize drumhead is correct.; int4 & int6 -> int7: the pickerel is a souse.; int3 & int7 -> hypothesis;
the spammer is not a hoist.
sent18 & sent10 -> int8: the spammer does souse and does not bathe stonefish.; int8 -> int9: the spammer does not bathe stonefish.;
$hypothesis$ = the pickerel is a souse but not a hoist. ; $context$ = sent1: The stonefish bathes tarot. sent2: the pickerel is a kind of a hatchel but it is not an airline. sent3: the pickerel does commercialize Shina. sent4: if the pickerel is Andorran and does not open it does commercialize drumhead. sent5: the tarot bathes stonefish. sent6: the pickerel is not an opening. sent7: the fact that something is a souse but it does not hoist is not correct if it does not bathe stonefish. sent8: if something is a gabardine that it is a HF hold. sent9: the fact that the pickerel is Andorran is not false. sent10: the spammer opens. sent11: that the John is not opening and it is not a kind of a Andorran does not hold if it is not a bottlecap. sent12: the tarot is a hatchel. sent13: the maiden is a hatchel. sent14: if something does bathe stonefish and it is a hatchel then the pickerel is not a kind of a hoist. sent15: something is a souse if it commercializes drumhead. sent16: the dockage is a souse. sent17: if that the tarot does not commercialize drumhead is not false the pickerel does not bathe stonefish and is a hatchel. sent18: the spammer is a kind of a souse that does not bathe stonefish if it opens. ; $proof$ = 
sent5 & sent12 -> int1: the tarot bathes stonefish and is a kind of a hatchel.; int1 -> int2: there exists something such that it bathes stonefish and it is a hatchel.; int2 & sent14 -> int3: the pickerel is not a hoist.; sent15 -> int4: if the pickerel does commercialize drumhead it souses.; sent9 & sent6 -> int5: the fact that the pickerel is a kind of a Andorran but it is not an opening hold.; sent4 & int5 -> int6: that the pickerel does commercialize drumhead is correct.; int4 & int6 -> int7: the pickerel is a souse.; int3 & int7 -> hypothesis; __PROVED__