the soapbox is not an overhead.
sent1: something is not a spathiphyllum and is an aureole if it is not a still. sent2: the fact that the skilly is not a kind of a still but it is unprintable is not correct. sent3: there is something such that it is a polyelectrolyte and is not an idle. sent4: if something is not a spathiphyllum and it is not a kind of a matchmaker the soapbox does not bethink Carboniferous. sent5: if the skilly is not a nose then it does falcon and/or is not a kind of an aureole. sent6: the skilly does still if the fact that it is not still and it is unprintable does not hold. sent7: if there exists something such that the fact that it is idle and it does not bethink Carboniferous is incorrect then the soapbox is not an idle. sent8: the skilly is not a nose. sent9: something does not idle. sent10: if that something is a falcon and/or is not an aureole is not false it is not an aureole. sent11: the soapbox does not bethink Carboniferous. sent12: if something is a kind of a spathiphyllum it is not an overhead. sent13: something is not a polyelectrolyte and it is not an idle. sent14: there exists something such that it is not a kind of a polyelectrolyte and it is idle. sent15: if something is not a matchmaker then it is a spathiphyllum. sent16: there is something such that it is not a polyelectrolyte. sent17: the hopper is not a kind of a matchmaker if it is not a spathiphyllum and it is an aureole. sent18: that the fact that the hopper idles but it does not bethink Carboniferous is false hold if something is a matchmaker. sent19: if the hopper does not bethink Carboniferous then the soapbox is not a matchmaker. sent20: something is not a kind of an overhead if it is not an aureole and is a still. sent21: if there is something such that it is not an overhead the dropout is a matchmaker and is a spathiphyllum. sent22: the fact that the hopper does not bethink Carboniferous is correct if something that is not a polyelectrolyte is not a kind of an idle.
sent13 & sent22 -> int1: the hopper does not bethink Carboniferous.; int1 & sent19 -> int2: the soapbox is not a kind of a matchmaker.; sent15 -> int3: if the soapbox is not a matchmaker it is a spathiphyllum.; int2 & int3 -> int4: the soapbox is a spathiphyllum.; sent12 -> int5: that the soapbox is not the overhead if the soapbox is a spathiphyllum is true.; int4 & int5 -> hypothesis;
the soapbox is an overhead.
sent1 -> int6: the hopper is not a spathiphyllum but an aureole if it is not a still.;
$hypothesis$ = the soapbox is not an overhead. ; $context$ = sent1: something is not a spathiphyllum and is an aureole if it is not a still. sent2: the fact that the skilly is not a kind of a still but it is unprintable is not correct. sent3: there is something such that it is a polyelectrolyte and is not an idle. sent4: if something is not a spathiphyllum and it is not a kind of a matchmaker the soapbox does not bethink Carboniferous. sent5: if the skilly is not a nose then it does falcon and/or is not a kind of an aureole. sent6: the skilly does still if the fact that it is not still and it is unprintable does not hold. sent7: if there exists something such that the fact that it is idle and it does not bethink Carboniferous is incorrect then the soapbox is not an idle. sent8: the skilly is not a nose. sent9: something does not idle. sent10: if that something is a falcon and/or is not an aureole is not false it is not an aureole. sent11: the soapbox does not bethink Carboniferous. sent12: if something is a kind of a spathiphyllum it is not an overhead. sent13: something is not a polyelectrolyte and it is not an idle. sent14: there exists something such that it is not a kind of a polyelectrolyte and it is idle. sent15: if something is not a matchmaker then it is a spathiphyllum. sent16: there is something such that it is not a polyelectrolyte. sent17: the hopper is not a kind of a matchmaker if it is not a spathiphyllum and it is an aureole. sent18: that the fact that the hopper idles but it does not bethink Carboniferous is false hold if something is a matchmaker. sent19: if the hopper does not bethink Carboniferous then the soapbox is not a matchmaker. sent20: something is not a kind of an overhead if it is not an aureole and is a still. sent21: if there is something such that it is not an overhead the dropout is a matchmaker and is a spathiphyllum. sent22: the fact that the hopper does not bethink Carboniferous is correct if something that is not a polyelectrolyte is not a kind of an idle. ; $proof$ = 
sent13 & sent22 -> int1: the hopper does not bethink Carboniferous.; int1 & sent19 -> int2: the soapbox is not a kind of a matchmaker.; sent15 -> int3: if the soapbox is not a matchmaker it is a spathiphyllum.; int2 & int3 -> int4: the soapbox is a spathiphyllum.; sent12 -> int5: that the soapbox is not the overhead if the soapbox is a spathiphyllum is true.; int4 & int5 -> hypothesis; __PROVED__