the sphecoid is not squinty but non-campanulate.
sent1: that the hinny does level but it is not a hummus does not hold if it is not sympatric. sent2: the fact that the methyl is both favorable and statistical is not right if it is not entrepreneurial. sent3: if there is something such that it is statistical then the fact that the methyl is both favorable and a level is not correct. sent4: that the towhead is entrepreneurial thing that is favorable is incorrect if there is something such that it is statistical. sent5: the fact that the methyl is entrepreneurial but it is not a hummus is not correct if there is something such that it is a hummus. sent6: if there is something such that it is not statistical the sphecoid is not campanulate. sent7: if the fact that something is entrepreneurial and not a hummus is not correct it is not entrepreneurial. sent8: that something is a kind of favorable a dope is wrong if it is not statistical. sent9: the methyl is not squinty if the sphecoid is a kind of non-sympatric thing that is squinty. sent10: the methyl is not a level. sent11: the hinny is not sympatric if that the petiole is not pointless is right. sent12: the petiole thinks Gaea. sent13: the towhead levels but it is not campanulate if there is something such that it is not squinty. sent14: the methyl is a kind of a level if there exists something such that it is not favorable. sent15: something is both not non-entrepreneurial and favorable. sent16: if the fact that the petiole thinks Gaea is true then it is pointless. sent17: if the hinny is a kind of a hummus then the sphecoid is not sympatric but it is not non-squinty. sent18: if something is not statistical then the sphecoid is non-squinty but not campanulate. sent19: the cushion is not a kind of a dope if there is something such that that it is favorable and it is a kind of a dope is incorrect. sent20: the sphecoid is not campanulate. sent21: the hinny is a hummus if that it levels and it is not a kind of a hummus does not hold. sent22: the Senhor does not level. sent23: if there is something such that the fact that it is not non-entrepreneurial but favorable is not right the methyl levels.
void -> assump1: Let's assume that the Senhor is statistical.; assump1 -> int1: there exists something such that it is statistical.; int1 & sent4 -> int2: the fact that the towhead is entrepreneurial and it is favorable is not right.; int2 -> int3: there exists something such that the fact that it is entrepreneurial and it is favorable does not hold.; int3 & sent23 -> int4: the methyl is a level.; int4 & sent10 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the Senhor is not statistical hold.; int6 -> int7: there is something such that it is not statistical.; int7 & sent18 -> hypothesis;
that the cushion is not a dope hold.
sent8 -> int8: if that the towhead is not statistical is right then that it is not unfavorable and is a dope is not correct.; sent16 & sent12 -> int9: the petiole is pointless.;
$hypothesis$ = the sphecoid is not squinty but non-campanulate. ; $context$ = sent1: that the hinny does level but it is not a hummus does not hold if it is not sympatric. sent2: the fact that the methyl is both favorable and statistical is not right if it is not entrepreneurial. sent3: if there is something such that it is statistical then the fact that the methyl is both favorable and a level is not correct. sent4: that the towhead is entrepreneurial thing that is favorable is incorrect if there is something such that it is statistical. sent5: the fact that the methyl is entrepreneurial but it is not a hummus is not correct if there is something such that it is a hummus. sent6: if there is something such that it is not statistical the sphecoid is not campanulate. sent7: if the fact that something is entrepreneurial and not a hummus is not correct it is not entrepreneurial. sent8: that something is a kind of favorable a dope is wrong if it is not statistical. sent9: the methyl is not squinty if the sphecoid is a kind of non-sympatric thing that is squinty. sent10: the methyl is not a level. sent11: the hinny is not sympatric if that the petiole is not pointless is right. sent12: the petiole thinks Gaea. sent13: the towhead levels but it is not campanulate if there is something such that it is not squinty. sent14: the methyl is a kind of a level if there exists something such that it is not favorable. sent15: something is both not non-entrepreneurial and favorable. sent16: if the fact that the petiole thinks Gaea is true then it is pointless. sent17: if the hinny is a kind of a hummus then the sphecoid is not sympatric but it is not non-squinty. sent18: if something is not statistical then the sphecoid is non-squinty but not campanulate. sent19: the cushion is not a kind of a dope if there is something such that that it is favorable and it is a kind of a dope is incorrect. sent20: the sphecoid is not campanulate. sent21: the hinny is a hummus if that it levels and it is not a kind of a hummus does not hold. sent22: the Senhor does not level. sent23: if there is something such that the fact that it is not non-entrepreneurial but favorable is not right the methyl levels. ; $proof$ = 
void -> assump1: Let's assume that the Senhor is statistical.; assump1 -> int1: there exists something such that it is statistical.; int1 & sent4 -> int2: the fact that the towhead is entrepreneurial and it is favorable is not right.; int2 -> int3: there exists something such that the fact that it is entrepreneurial and it is favorable does not hold.; int3 & sent23 -> int4: the methyl is a level.; int4 & sent10 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the Senhor is not statistical hold.; int6 -> int7: there is something such that it is not statistical.; int7 & sent18 -> hypothesis; __PROVED__