that the decapod is deconstructionist but it does not rhapsodize does not hold.
sent1: if the audiometer stiffens then that the decapod is deconstructionist but it does not rhapsodize does not hold. sent2: that the audiometer stiffens is right if it is a kind of a Brinton. sent3: if the jukebox is nuclear the cyclooxygenase-2 is a Bombax. sent4: if the fact that the audiometer is not a kind of a Bydgoszcz and/or is not a backbencher is false it is onstage. sent5: the decapod is deconstructionist but it does not rhapsodize if the audiometer is not a Bombax. sent6: something is a Brinton if it is onstage. sent7: if the audiometer is not a Bydgoszcz and/or it is not a kind of a backbencher then the jukebox is nuclear. sent8: the cyclooxygenase-2 is not a Bombax. sent9: the audiometer is a kind of a Bydgoszcz or it is not a backbencher or both.
void -> assump1: Let's assume that the audiometer is not a kind of a Bydgoszcz and/or is not a kind of a backbencher.; sent7 & assump1 -> int1: the jukebox is nuclear.; int1 & sent3 -> int2: the cyclooxygenase-2 is a Bombax.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the audiometer is not a kind of a Bydgoszcz or is not a backbencher or both is incorrect.; int4 & sent4 -> int5: the audiometer is onstage.; sent6 -> int6: if the audiometer is onstage it is a Brinton.; int5 & int6 -> int7: the audiometer is a Brinton.; int7 & sent2 -> int8: the audiometer stiffens.; int8 & sent1 -> hypothesis;
the decapod is deconstructionist thing that does not rhapsodize.
$hypothesis$ = that the decapod is deconstructionist but it does not rhapsodize does not hold. ; $context$ = sent1: if the audiometer stiffens then that the decapod is deconstructionist but it does not rhapsodize does not hold. sent2: that the audiometer stiffens is right if it is a kind of a Brinton. sent3: if the jukebox is nuclear the cyclooxygenase-2 is a Bombax. sent4: if the fact that the audiometer is not a kind of a Bydgoszcz and/or is not a backbencher is false it is onstage. sent5: the decapod is deconstructionist but it does not rhapsodize if the audiometer is not a Bombax. sent6: something is a Brinton if it is onstage. sent7: if the audiometer is not a Bydgoszcz and/or it is not a kind of a backbencher then the jukebox is nuclear. sent8: the cyclooxygenase-2 is not a Bombax. sent9: the audiometer is a kind of a Bydgoszcz or it is not a backbencher or both. ; $proof$ = 
void -> assump1: Let's assume that the audiometer is not a kind of a Bydgoszcz and/or is not a kind of a backbencher.; sent7 & assump1 -> int1: the jukebox is nuclear.; int1 & sent3 -> int2: the cyclooxygenase-2 is a Bombax.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the audiometer is not a kind of a Bydgoszcz or is not a backbencher or both is incorrect.; int4 & sent4 -> int5: the audiometer is onstage.; sent6 -> int6: if the audiometer is onstage it is a Brinton.; int5 & int6 -> int7: the audiometer is a Brinton.; int7 & sent2 -> int8: the audiometer stiffens.; int8 & sent1 -> hypothesis; __PROVED__