there is something such that it is a mother and it is a kind of a Scholastic.
sent1: there exists something such that the fact that it letters Ficus and it does not log Tampax does not hold. sent2: if something is a overmantel then it is calcific or not a Mullus or both. sent3: the residue is not hemispherical. sent4: the borderer does not log Tampax if that the wineskin letters Ficus and does not log Tampax does not hold. sent5: the fact that the steerage is a waxycap but it does not letter few is wrong if the borderer is a kind of a Lutheran. sent6: the wineskin does letter Ficus if it is not a bugged. sent7: if there is something such that that it letters few and it is not a waxycap is not right the borderer is a mother. sent8: if the wineskin is a gloat then that it letters Ficus and it does not log Tampax is not true. sent9: if the Lothario is not a lateen then it is not healthful and it transaminates Set. sent10: if there is something such that it is not a Lutheran then the wineskin mothers. sent11: if something is a mother then it is a Lutheran. sent12: the borderer is apologetics if it is not a waxycap. sent13: something is a electromyogram and is nontechnical. sent14: the wineskin is a kind of a Lutheran and/or it is not a Scholastic. sent15: the residue is a Ctenocephalus. sent16: there is something such that it is a kind of a Scholastic. sent17: the wineskin is a kind of a Scholastic if there is something such that the fact that it letters Ficus and does not log Tampax is not true. sent18: the wineskin mothers if something letters few or is not a Lutheran or both. sent19: if something is apologetics then it either letters few or is not Lutheran or both. sent20: the wineskin is a Scholastic if there is something such that it does log Tampax. sent21: if the residue is both a Ctenocephalus and not hemispherical the Lothario is not a lateen. sent22: the borderer is not a waxycap. sent23: the borderer letters few and/or is Lutheran if it is apologetics.
sent12 & sent22 -> int1: the borderer is apologetics.; sent19 -> int2: the fact that the borderer letters few or is not Lutheran or both if the borderer is apologetics is not wrong.; int1 & int2 -> int3: the borderer does letter few or is not Lutheran or both.; int3 -> int4: there is something such that it either letters few or is not a Lutheran or both.; int4 & sent18 -> int5: the wineskin is a kind of a mother.; sent1 & sent17 -> int6: the wineskin is a kind of a Scholastic.; int5 & int6 -> int7: the wineskin is a mother and is a kind of a Scholastic.; int7 -> hypothesis;
the fact that the steerage is not apologetics is true.
sent11 -> int8: the borderer is Lutheran if it does mother.; sent15 & sent3 -> int9: the residue is a Ctenocephalus but it is not hemispherical.; sent21 & int9 -> int10: the Lothario is not a kind of a lateen.; sent9 & int10 -> int11: the Lothario is unhealthful thing that does transaminate Set.; int11 -> int12: there is something such that the fact that it is not healthful and transaminates Set is not false.;
$hypothesis$ = there is something such that it is a mother and it is a kind of a Scholastic. ; $context$ = sent1: there exists something such that the fact that it letters Ficus and it does not log Tampax does not hold. sent2: if something is a overmantel then it is calcific or not a Mullus or both. sent3: the residue is not hemispherical. sent4: the borderer does not log Tampax if that the wineskin letters Ficus and does not log Tampax does not hold. sent5: the fact that the steerage is a waxycap but it does not letter few is wrong if the borderer is a kind of a Lutheran. sent6: the wineskin does letter Ficus if it is not a bugged. sent7: if there is something such that that it letters few and it is not a waxycap is not right the borderer is a mother. sent8: if the wineskin is a gloat then that it letters Ficus and it does not log Tampax is not true. sent9: if the Lothario is not a lateen then it is not healthful and it transaminates Set. sent10: if there is something such that it is not a Lutheran then the wineskin mothers. sent11: if something is a mother then it is a Lutheran. sent12: the borderer is apologetics if it is not a waxycap. sent13: something is a electromyogram and is nontechnical. sent14: the wineskin is a kind of a Lutheran and/or it is not a Scholastic. sent15: the residue is a Ctenocephalus. sent16: there is something such that it is a kind of a Scholastic. sent17: the wineskin is a kind of a Scholastic if there is something such that the fact that it letters Ficus and does not log Tampax is not true. sent18: the wineskin mothers if something letters few or is not a Lutheran or both. sent19: if something is apologetics then it either letters few or is not Lutheran or both. sent20: the wineskin is a Scholastic if there is something such that it does log Tampax. sent21: if the residue is both a Ctenocephalus and not hemispherical the Lothario is not a lateen. sent22: the borderer is not a waxycap. sent23: the borderer letters few and/or is Lutheran if it is apologetics. ; $proof$ = 
sent12 & sent22 -> int1: the borderer is apologetics.; sent19 -> int2: the fact that the borderer letters few or is not Lutheran or both if the borderer is apologetics is not wrong.; int1 & int2 -> int3: the borderer does letter few or is not Lutheran or both.; int3 -> int4: there is something such that it either letters few or is not a Lutheran or both.; int4 & sent18 -> int5: the wineskin is a kind of a mother.; sent1 & sent17 -> int6: the wineskin is a kind of a Scholastic.; int5 & int6 -> int7: the wineskin is a mother and is a kind of a Scholastic.; int7 -> hypothesis; __PROVED__