the alderman is not a handout but it is sarcosomal.
sent1: if the quaestor is a handout then the alderman is not a handout and is sarcosomal. sent2: the gore is not a Polycirrus but it is a fraudulence. sent3: the quaestor is not a kind of a Gambian. sent4: if something is a hexachlorophene then it is not callithumpian and it is not a kind of a Eiffel. sent5: if the quaestor is a Eiffel the chainsaw is a kind of a handout. sent6: something is not unripe if it does not carol protein. sent7: the alderman is not a handout. sent8: the alderman is not a kind of a handout if the quaestor is a kind of a handout. sent9: the quaestor is not a philomath and does lurch mediation. sent10: the quaestor is a kind of a hexachlorophene if the odometer is a hexachlorophene. sent11: if the retem is Gambian the odometer is a kind of a hexachlorophene. sent12: if something is not a taker and it does not lurch bicorn it does not program scaliness. sent13: if the chainsaw is a kind of a Eiffel then that the quaestor is not callithumpian is not right. sent14: the chainsaw is a kind of a Eiffel. sent15: if that the methamphetamine is not unripe is not false then the retem is not a taker and it does not lurch bicorn. sent16: if something does not program scaliness then it programs wide-body and is a Gambian. sent17: the fact that the chainsaw is a hexachlorophene is right if the quaestor is a hexachlorophene. sent18: the fact that something is sarcosomal but not a hexachlorophene is incorrect if that it is not a Gambian is not false. sent19: if something is a Eiffel that is not a handout it is callithumpian. sent20: that the alderman is not a Eiffel is not wrong if the chainsaw is not a hexachlorophene and it is not a Eiffel. sent21: if the chainsaw is not a Eiffel the fact that the fact that the alderman is both not a handout and sarcosomal is not right hold. sent22: if something is callithumpian it is a handout. sent23: the jacksnipe does not carol protein and/or it is not a maniac.
sent13 & sent14 -> int1: the quaestor is callithumpian.; sent22 -> int2: if the quaestor is callithumpian then it is a handout.; int1 & int2 -> int3: that the quaestor is a handout is not false.; int3 & sent1 -> hypothesis;
the fact that the alderman is not a kind of a handout but it is sarcosomal is incorrect.
sent4 -> int4: the chainsaw is a kind of non-callithumpian thing that is not a Eiffel if it is a hexachlorophene.; sent16 -> int5: if the retem does not program scaliness then it does program wide-body and it is a kind of a Gambian.; sent12 -> int6: the retem does not program scaliness if it is not a taker and does not lurch bicorn.; sent6 -> int7: if the methamphetamine does not carol protein then it is not unripe.; sent23 -> int8: there is something such that either it does not carol protein or it is not a maniac or both.;
$hypothesis$ = the alderman is not a handout but it is sarcosomal. ; $context$ = sent1: if the quaestor is a handout then the alderman is not a handout and is sarcosomal. sent2: the gore is not a Polycirrus but it is a fraudulence. sent3: the quaestor is not a kind of a Gambian. sent4: if something is a hexachlorophene then it is not callithumpian and it is not a kind of a Eiffel. sent5: if the quaestor is a Eiffel the chainsaw is a kind of a handout. sent6: something is not unripe if it does not carol protein. sent7: the alderman is not a handout. sent8: the alderman is not a kind of a handout if the quaestor is a kind of a handout. sent9: the quaestor is not a philomath and does lurch mediation. sent10: the quaestor is a kind of a hexachlorophene if the odometer is a hexachlorophene. sent11: if the retem is Gambian the odometer is a kind of a hexachlorophene. sent12: if something is not a taker and it does not lurch bicorn it does not program scaliness. sent13: if the chainsaw is a kind of a Eiffel then that the quaestor is not callithumpian is not right. sent14: the chainsaw is a kind of a Eiffel. sent15: if that the methamphetamine is not unripe is not false then the retem is not a taker and it does not lurch bicorn. sent16: if something does not program scaliness then it programs wide-body and is a Gambian. sent17: the fact that the chainsaw is a hexachlorophene is right if the quaestor is a hexachlorophene. sent18: the fact that something is sarcosomal but not a hexachlorophene is incorrect if that it is not a Gambian is not false. sent19: if something is a Eiffel that is not a handout it is callithumpian. sent20: that the alderman is not a Eiffel is not wrong if the chainsaw is not a hexachlorophene and it is not a Eiffel. sent21: if the chainsaw is not a Eiffel the fact that the fact that the alderman is both not a handout and sarcosomal is not right hold. sent22: if something is callithumpian it is a handout. sent23: the jacksnipe does not carol protein and/or it is not a maniac. ; $proof$ = 
sent13 & sent14 -> int1: the quaestor is callithumpian.; sent22 -> int2: if the quaestor is callithumpian then it is a handout.; int1 & int2 -> int3: that the quaestor is a handout is not false.; int3 & sent1 -> hypothesis; __PROVED__