the helmsman does not sputter bushel.
sent1: the azide is not impartial if the fact that it is not a half-century and it is a vent does not hold. sent2: if something does not deflate and/or it does clank orogeny then it is impartial. sent3: the helmsman is not intramural if that either the azide does not deflate or it does clank orogeny or both is not right. sent4: the helmsman does sputter bushel if it is not suctorial or is not intramural or both. sent5: that that the azide is both not a half-century and a vent is right is wrong.
sent2 -> int1: that the azide is impartial is not incorrect if it does not deflate and/or it clanks orogeny.; void -> assump1: Let's assume that the azide does not deflate and/or it does clank orogeny.; int1 & assump1 -> int2: the azide is impartial.; sent1 & sent5 -> int3: the azide is not impartial.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that either the azide does not deflate or it does clank orogeny or both is not correct.; int5 & sent3 -> int6: the helmsman is not intramural.; int6 -> int7: the helmsman either is not suctorial or is not intramural or both.; int7 & sent4 -> hypothesis;
$hypothesis$ = the helmsman does not sputter bushel. ; $context$ = sent1: the azide is not impartial if the fact that it is not a half-century and it is a vent does not hold. sent2: if something does not deflate and/or it does clank orogeny then it is impartial. sent3: the helmsman is not intramural if that either the azide does not deflate or it does clank orogeny or both is not right. sent4: the helmsman does sputter bushel if it is not suctorial or is not intramural or both. sent5: that that the azide is both not a half-century and a vent is right is wrong. ; $proof$ = 
sent2 -> int1: that the azide is impartial is not incorrect if it does not deflate and/or it clanks orogeny.; void -> assump1: Let's assume that the azide does not deflate and/or it does clank orogeny.; int1 & assump1 -> int2: the azide is impartial.; sent1 & sent5 -> int3: the azide is not impartial.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that either the azide does not deflate or it does clank orogeny or both is not correct.; int5 & sent3 -> int6: the helmsman is not intramural.; int6 -> int7: the helmsman either is not suctorial or is not intramural or both.; int7 & sent4 -> hypothesis; __DISPROVED__