the stinkpot is not female or it is not polyhedral or both.
sent1: that something is not a kind of a female and/or it is not polyhedral if that it is not a Cornish hold hold. sent2: if something is not strong and/or it is a fratricide then the fact that it does not grumble countercurrent is not false. sent3: either the stinkpot is not female or it is polyhedral or both. sent4: if something does not grumble absolutism then it is not a volunteer and/or does wrestle Moonie. sent5: the emigrant is not a kind of a molar if the stinkpot is a kind of a bunkmate. sent6: the fact that something wrestles convener is not wrong if it is not a molar. sent7: something is not female and/or is polyhedral if it is not a kind of a Cornish. sent8: that the poseuse does not wrestle electroencephalogram and is not a kind of a Cornish is not incorrect. sent9: if something is not a molar then the fact that it does not wrestle convener and is not a bunkmate is not right. sent10: if something that does not wrestle electroencephalogram is not a Cornish then it is not a forbearance. sent11: if the stinkpot is not a Cornish it is either non-female or polyhedral or both. sent12: if that the poseuse is not a kind of a forbearance is right it is not a molar and/or it grumbles serotine. sent13: the stinkpot is not a kind of a Cornish if it is a forbearance. sent14: the emigrant is a kind of a bunkmate. sent15: the chrome does grumble serotine. sent16: if something wrestles convener it grumbles serotine. sent17: the stinkpot does write. sent18: the stinkpot is female and/or it is not polyhedral. sent19: the emigrant does not grumble serotine if the chrome grumble serotine. sent20: something is not a Cornish if it is not a bunkmate and/or it is a forbearance. sent21: The serotine does grumble chrome. sent22: if the chrome wrestles convener it does not grumble serotine. sent23: the chrome is a kind of a Cornish. sent24: if the fact that something is a kind of a forbearance is right it is not a Cornish.
void -> assump1: Let's assume that that the stinkpot is a bunkmate is correct.; sent5 & assump1 -> int1: the emigrant is not a molar.; sent6 -> int2: if the emigrant is not a molar then it wrestles convener.; int1 & int2 -> int3: the emigrant wrestles convener.; sent16 -> int4: the emigrant does grumble serotine if it does wrestle convener.; int3 & int4 -> int5: the emigrant does grumble serotine.; sent19 & sent15 -> int6: the emigrant does not grumble serotine.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the stinkpot is not a kind of a bunkmate.; int8 -> int9: the stinkpot is not a bunkmate or is a kind of a forbearance or both.; sent20 -> int10: the stinkpot is not a Cornish if it is not a bunkmate and/or it is a forbearance.; int9 & int10 -> int11: the fact that the stinkpot is not a kind of a Cornish is right.; sent1 -> int12: if the stinkpot is not a kind of a Cornish then it is not female or it is not polyhedral or both.; int11 & int12 -> hypothesis;
the fact that that the stinkpot is not a female and/or it is not polyhedral is wrong is true.
sent9 -> int13: the fact that the chrome does not wrestle convener and is not a kind of a bunkmate is false if it is not molar.; sent10 -> int14: if that the poseuse does not wrestle electroencephalogram and is not a Cornish is not wrong then it is not a forbearance.; int14 & sent8 -> int15: that the poseuse is a forbearance is incorrect.; sent12 & int15 -> int16: either the poseuse is not a molar or it does grumble serotine or both.; int16 -> int17: there exists something such that either it is not a molar or it does grumble serotine or both.;
$hypothesis$ = the stinkpot is not female or it is not polyhedral or both. ; $context$ = sent1: that something is not a kind of a female and/or it is not polyhedral if that it is not a Cornish hold hold. sent2: if something is not strong and/or it is a fratricide then the fact that it does not grumble countercurrent is not false. sent3: either the stinkpot is not female or it is polyhedral or both. sent4: if something does not grumble absolutism then it is not a volunteer and/or does wrestle Moonie. sent5: the emigrant is not a kind of a molar if the stinkpot is a kind of a bunkmate. sent6: the fact that something wrestles convener is not wrong if it is not a molar. sent7: something is not female and/or is polyhedral if it is not a kind of a Cornish. sent8: that the poseuse does not wrestle electroencephalogram and is not a kind of a Cornish is not incorrect. sent9: if something is not a molar then the fact that it does not wrestle convener and is not a bunkmate is not right. sent10: if something that does not wrestle electroencephalogram is not a Cornish then it is not a forbearance. sent11: if the stinkpot is not a Cornish it is either non-female or polyhedral or both. sent12: if that the poseuse is not a kind of a forbearance is right it is not a molar and/or it grumbles serotine. sent13: the stinkpot is not a kind of a Cornish if it is a forbearance. sent14: the emigrant is a kind of a bunkmate. sent15: the chrome does grumble serotine. sent16: if something wrestles convener it grumbles serotine. sent17: the stinkpot does write. sent18: the stinkpot is female and/or it is not polyhedral. sent19: the emigrant does not grumble serotine if the chrome grumble serotine. sent20: something is not a Cornish if it is not a bunkmate and/or it is a forbearance. sent21: The serotine does grumble chrome. sent22: if the chrome wrestles convener it does not grumble serotine. sent23: the chrome is a kind of a Cornish. sent24: if the fact that something is a kind of a forbearance is right it is not a Cornish. ; $proof$ = 
void -> assump1: Let's assume that that the stinkpot is a bunkmate is correct.; sent5 & assump1 -> int1: the emigrant is not a molar.; sent6 -> int2: if the emigrant is not a molar then it wrestles convener.; int1 & int2 -> int3: the emigrant wrestles convener.; sent16 -> int4: the emigrant does grumble serotine if it does wrestle convener.; int3 & int4 -> int5: the emigrant does grumble serotine.; sent19 & sent15 -> int6: the emigrant does not grumble serotine.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the stinkpot is not a kind of a bunkmate.; int8 -> int9: the stinkpot is not a bunkmate or is a kind of a forbearance or both.; sent20 -> int10: the stinkpot is not a Cornish if it is not a bunkmate and/or it is a forbearance.; int9 & int10 -> int11: the fact that the stinkpot is not a kind of a Cornish is right.; sent1 -> int12: if the stinkpot is not a kind of a Cornish then it is not female or it is not polyhedral or both.; int11 & int12 -> hypothesis; __PROVED__