the result does not consternate shutout and does consternate diemaker.
sent1: the result is a kind of a spackle. sent2: something is a WASP that is a phytoplankton. sent3: if the diemaker is not a exactness it does disentangle pheromone. sent4: the fact that the OR is not exacta and it is not a spackle is wrong. sent5: if that the OR is non-exacta and it is not a kind of a spackle is not correct then the diemaker does not disentangle pheromone. sent6: something consternates nitrobacterium if it does disentangle pheromone. sent7: something is a kind of a commotion if it does not consternate dust and is not a granule. sent8: the result does not consternate shutout. sent9: if the diemaker is a spackle then the dust consternates shutout. sent10: that something does consternate nitrobacterium is right if it is a exactness. sent11: The shutout does not consternate result. sent12: that the dust does not consternate diemaker and is not a commotion does not hold. sent13: that if the dust is not photomechanical the dust is exacta and consternates diemaker is right. sent14: if that there exists something such that it is a commotion is not incorrect the result consternates diemaker. sent15: the dust is not a kind of a commotion if it does consternate shutout and it consternates diemaker. sent16: the diemaker is a spackle if the result is a spackle. sent17: if that the dust does not consternate dust and is not a granule is not correct the diemaker is not a exactness.
void -> assump1: Let's assume that the fact that the dust does not consternate dust and it is not a granule is incorrect.; sent17 & assump1 -> int1: the diemaker is not a exactness.; int1 & sent3 -> int2: the diemaker disentangles pheromone.; sent5 & sent4 -> int3: the diemaker does not disentangle pheromone.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the dust does not consternate dust and it is not a granule.; sent7 -> int6: if the dust does not consternate dust and it is not a kind of a granule it is a commotion.; int5 & int6 -> int7: the dust is a kind of a commotion.; int7 -> int8: there exists something such that it is a kind of a commotion.; int8 & sent14 -> int9: the result does consternate diemaker.; int9 & sent8 -> hypothesis;
something consternates nitrobacterium.
sent16 & sent1 -> int10: the diemaker is a spackle.; sent9 & int10 -> int11: the dust consternates shutout.; sent10 -> int12: if the dust is a exactness then it does consternate nitrobacterium.; sent6 -> int13: the dust consternates nitrobacterium if it does disentangle pheromone.;
$hypothesis$ = the result does not consternate shutout and does consternate diemaker. ; $context$ = sent1: the result is a kind of a spackle. sent2: something is a WASP that is a phytoplankton. sent3: if the diemaker is not a exactness it does disentangle pheromone. sent4: the fact that the OR is not exacta and it is not a spackle is wrong. sent5: if that the OR is non-exacta and it is not a kind of a spackle is not correct then the diemaker does not disentangle pheromone. sent6: something consternates nitrobacterium if it does disentangle pheromone. sent7: something is a kind of a commotion if it does not consternate dust and is not a granule. sent8: the result does not consternate shutout. sent9: if the diemaker is a spackle then the dust consternates shutout. sent10: that something does consternate nitrobacterium is right if it is a exactness. sent11: The shutout does not consternate result. sent12: that the dust does not consternate diemaker and is not a commotion does not hold. sent13: that if the dust is not photomechanical the dust is exacta and consternates diemaker is right. sent14: if that there exists something such that it is a commotion is not incorrect the result consternates diemaker. sent15: the dust is not a kind of a commotion if it does consternate shutout and it consternates diemaker. sent16: the diemaker is a spackle if the result is a spackle. sent17: if that the dust does not consternate dust and is not a granule is not correct the diemaker is not a exactness. ; $proof$ = 
void -> assump1: Let's assume that the fact that the dust does not consternate dust and it is not a granule is incorrect.; sent17 & assump1 -> int1: the diemaker is not a exactness.; int1 & sent3 -> int2: the diemaker disentangles pheromone.; sent5 & sent4 -> int3: the diemaker does not disentangle pheromone.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the dust does not consternate dust and it is not a granule.; sent7 -> int6: if the dust does not consternate dust and it is not a kind of a granule it is a commotion.; int5 & int6 -> int7: the dust is a kind of a commotion.; int7 -> int8: there exists something such that it is a kind of a commotion.; int8 & sent14 -> int9: the result does consternate diemaker.; int9 & sent8 -> hypothesis; __PROVED__