the stumpknocker is a Shawwal.
sent1: if there is something such that it is not a jennet then the deltoid does not crystallize defroster. sent2: that something does not weld rectangularity is right. sent3: the stumpknocker is not a Shawwal if the corkscrew is sarcastic and it is a kind of a pruritus. sent4: that the stumpknocker does not crystallize defroster is right. sent5: the Luddite does weld rectangularity and is a ferrocerium if the lamprey is not a jennet. sent6: if the deltoid is organismal or it is operatic or both it is not a Kongo. sent7: there is something such that it is not a ferrocerium. sent8: the stumpknocker does not crystallize defroster if the puff crystallize defroster. sent9: something is a kind of a Shawwal if it does weld rectangularity. sent10: if the fact that the puff is sarcastic is right the stumpknocker does not crystallize defroster. sent11: the deltoid is a Kongo if something is not a ferrocerium. sent12: if something is not organismal it does not shatter bye. sent13: if something is sarcastic the puff does crystallize defroster and/or it is sarcastic. sent14: something is not a jennet. sent15: the corkscrew is operatic if the stumpknocker is not a kind of a Kongo and does not shatter bye. sent16: the stumpknocker is not operatic if the deltoid does shatter bye and is not operatic. sent17: the bast is not a pruritus if that the deltoid is not a pruritus and it is not organismal does not hold. sent18: if the deltoid does not shatter bye and does not crystallize defroster the corkscrew is sarcastic. sent19: the fact that if there exists something such that it does not weld rectangularity then the corkscrew is a pruritus is true. sent20: if something is a Shawwal it is sarcastic. sent21: if there is something such that it is operatic that the deltoid is not a kind of a pruritus and it is not organismal is not right.
void -> assump1: Let's assume that the deltoid is organismal.; assump1 -> int1: the deltoid is organismal or it is operatic or both.; int1 & sent6 -> int2: the deltoid is not a Kongo.; sent7 & sent11 -> int3: the deltoid is a Kongo.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the deltoid is not organismal.; sent12 -> int6: if the deltoid is not organismal it does not shatter bye.; int5 & int6 -> int7: the deltoid does not shatter bye.; sent14 & sent1 -> int8: the deltoid does not crystallize defroster.; int7 & int8 -> int9: the deltoid does not shatter bye and does not crystallize defroster.; int9 & sent18 -> int10: the corkscrew is sarcastic.; sent2 & sent19 -> int11: the corkscrew is a pruritus.; int10 & int11 -> int12: the corkscrew is sarcastic and it is a pruritus.; int12 & sent3 -> hypothesis;
the stumpknocker is a Shawwal.
$hypothesis$ = the stumpknocker is a Shawwal. ; $context$ = sent1: if there is something such that it is not a jennet then the deltoid does not crystallize defroster. sent2: that something does not weld rectangularity is right. sent3: the stumpknocker is not a Shawwal if the corkscrew is sarcastic and it is a kind of a pruritus. sent4: that the stumpknocker does not crystallize defroster is right. sent5: the Luddite does weld rectangularity and is a ferrocerium if the lamprey is not a jennet. sent6: if the deltoid is organismal or it is operatic or both it is not a Kongo. sent7: there is something such that it is not a ferrocerium. sent8: the stumpknocker does not crystallize defroster if the puff crystallize defroster. sent9: something is a kind of a Shawwal if it does weld rectangularity. sent10: if the fact that the puff is sarcastic is right the stumpknocker does not crystallize defroster. sent11: the deltoid is a Kongo if something is not a ferrocerium. sent12: if something is not organismal it does not shatter bye. sent13: if something is sarcastic the puff does crystallize defroster and/or it is sarcastic. sent14: something is not a jennet. sent15: the corkscrew is operatic if the stumpknocker is not a kind of a Kongo and does not shatter bye. sent16: the stumpknocker is not operatic if the deltoid does shatter bye and is not operatic. sent17: the bast is not a pruritus if that the deltoid is not a pruritus and it is not organismal does not hold. sent18: if the deltoid does not shatter bye and does not crystallize defroster the corkscrew is sarcastic. sent19: the fact that if there exists something such that it does not weld rectangularity then the corkscrew is a pruritus is true. sent20: if something is a Shawwal it is sarcastic. sent21: if there is something such that it is operatic that the deltoid is not a kind of a pruritus and it is not organismal is not right. ; $proof$ = 
void -> assump1: Let's assume that the deltoid is organismal.; assump1 -> int1: the deltoid is organismal or it is operatic or both.; int1 & sent6 -> int2: the deltoid is not a Kongo.; sent7 & sent11 -> int3: the deltoid is a Kongo.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the deltoid is not organismal.; sent12 -> int6: if the deltoid is not organismal it does not shatter bye.; int5 & int6 -> int7: the deltoid does not shatter bye.; sent14 & sent1 -> int8: the deltoid does not crystallize defroster.; int7 & int8 -> int9: the deltoid does not shatter bye and does not crystallize defroster.; int9 & sent18 -> int10: the corkscrew is sarcastic.; sent2 & sent19 -> int11: the corkscrew is a pruritus.; int10 & int11 -> int12: the corkscrew is sarcastic and it is a pruritus.; int12 & sent3 -> hypothesis; __DISPROVED__