the subduer is not an oblivion if the Methodists is not a Schefflera.
sent1: that the Methodists is a Schefflera is not false if the ma does dusk disgruntlement. sent2: the subduer does not whang Staphylinidae. sent3: something that is a sexcapade but not a dietician is open-source. sent4: if something is a EPA then it is not anisogametic. sent5: the garnishee does not whang restrictiveness and it is not a radiopharmaceutical. sent6: a radiopharmaceutical is not an oblivion. sent7: the Methodists dusks disgruntlement if it is a Schefflera. sent8: if something that is powerless is not a peahen then it laps glockenspiel. sent9: the subduer is a radiopharmaceutical if it does not dusk disgruntlement and it whangs Staphylinidae. sent10: if that the ma does not dusk disgruntlement is not wrong the subduer does not whang Staphylinidae. sent11: if the ma does not dusk disgruntlement the subduer does not dusk disgruntlement and does not whang Staphylinidae. sent12: if that something does not dusk disgruntlement and it does not whang Staphylinidae is true the fact that it is a radiopharmaceutical is not incorrect. sent13: the fact that the subduer is a kind of an oblivion is right. sent14: if the Methodists is not a Schefflera then the subduer is an oblivion. sent15: something is an oblivion if it is a radiopharmaceutical. sent16: if something does not whang Staphylinidae and it is not a Schefflera it dusks disgruntlement. sent17: the subduer is an oblivion if it is a radiopharmaceutical.
void -> assump1: Let's assume that the ma dusks disgruntlement.; sent1 & assump1 -> int1: the Methodists is a kind of a Schefflera.; void -> assump2: Let's assume that the Methodists is not a kind of a Schefflera.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the ma does not dusk disgruntlement.; int3 & sent11 -> int4: the subduer does not dusk disgruntlement and does not whang Staphylinidae.; sent12 -> int5: the subduer is a radiopharmaceutical if it does not dusk disgruntlement and does not whang Staphylinidae.; int4 & int5 -> int6: the subduer is a radiopharmaceutical.; sent6 -> int7: the subduer is not an oblivion if it is a radiopharmaceutical.; int6 & int7 -> int8: the subduer is not an oblivion.; [assump2] & int8 -> hypothesis;
$hypothesis$ = the subduer is not an oblivion if the Methodists is not a Schefflera. ; $context$ = sent1: that the Methodists is a Schefflera is not false if the ma does dusk disgruntlement. sent2: the subduer does not whang Staphylinidae. sent3: something that is a sexcapade but not a dietician is open-source. sent4: if something is a EPA then it is not anisogametic. sent5: the garnishee does not whang restrictiveness and it is not a radiopharmaceutical. sent6: a radiopharmaceutical is not an oblivion. sent7: the Methodists dusks disgruntlement if it is a Schefflera. sent8: if something that is powerless is not a peahen then it laps glockenspiel. sent9: the subduer is a radiopharmaceutical if it does not dusk disgruntlement and it whangs Staphylinidae. sent10: if that the ma does not dusk disgruntlement is not wrong the subduer does not whang Staphylinidae. sent11: if the ma does not dusk disgruntlement the subduer does not dusk disgruntlement and does not whang Staphylinidae. sent12: if that something does not dusk disgruntlement and it does not whang Staphylinidae is true the fact that it is a radiopharmaceutical is not incorrect. sent13: the fact that the subduer is a kind of an oblivion is right. sent14: if the Methodists is not a Schefflera then the subduer is an oblivion. sent15: something is an oblivion if it is a radiopharmaceutical. sent16: if something does not whang Staphylinidae and it is not a Schefflera it dusks disgruntlement. sent17: the subduer is an oblivion if it is a radiopharmaceutical. ; $proof$ = 
void -> assump1: Let's assume that the ma dusks disgruntlement.; sent1 & assump1 -> int1: the Methodists is a kind of a Schefflera.; void -> assump2: Let's assume that the Methodists is not a kind of a Schefflera.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the ma does not dusk disgruntlement.; int3 & sent11 -> int4: the subduer does not dusk disgruntlement and does not whang Staphylinidae.; sent12 -> int5: the subduer is a radiopharmaceutical if it does not dusk disgruntlement and does not whang Staphylinidae.; int4 & int5 -> int6: the subduer is a radiopharmaceutical.; sent6 -> int7: the subduer is not an oblivion if it is a radiopharmaceutical.; int6 & int7 -> int8: the subduer is not an oblivion.; [assump2] & int8 -> hypothesis; __PROVED__