「その機銃は重視しないししかも疎くない」ということは誤りである
fact1: もしもあの納付期限が疎くないとするとその機銃は重視するということはないしそれは疎くない fact2: 「とあるものは六乾神経痛であるかそれはたわいないということはないかもしくは両方だ」ということは事実と異なるならそれは疎くない fact3: 六乾神経痛でないかもしくはたわいなくないという物はない fact4: 仮に「なんらかの物は六乾神経痛だということはないかあるいはたわいなくないかまたはどちらもだ」ということは間違っているとするとそれは疎くない fact5: もし「あの納付期限は六乾神経痛でないかたわいない」ということは確かでないなら疎くない fact6: 「その海上基地はトラバースでないか六乾神経痛でないかあるいは両方だ」ということは嘘である
fact3 -> int1: 「あの納付期限は六乾神経痛でないかまたはたわいなくない」ということは真実でない; fact4 -> int2: 仮に「「あの納付期限は六乾神経痛でないかもしくはたわいなくないかどちらもである」ということは正しい」ということは偽であるとするとそれは疎くない; int1 & int2 -> int3: あの納付期限は疎くない; int3 & fact1 -> hypothesis;
$facts$ = fact1: もしもあの納付期限が疎くないとするとその機銃は重視するということはないしそれは疎くない fact2: 「とあるものは六乾神経痛であるかそれはたわいないということはないかもしくは両方だ」ということは事実と異なるならそれは疎くない fact3: 六乾神経痛でないかもしくはたわいなくないという物はない fact4: 仮に「なんらかの物は六乾神経痛だということはないかあるいはたわいなくないかまたはどちらもだ」ということは間違っているとするとそれは疎くない fact5: もし「あの納付期限は六乾神経痛でないかたわいない」ということは確かでないなら疎くない fact6: 「その海上基地はトラバースでないか六乾神経痛でないかあるいは両方だ」ということは嘘である ; $hypothesis$ = 「その機銃は重視しないししかも疎くない」ということは誤りである ; $proof$ = 
fact3 -> int1: 「あの納付期限は六乾神経痛でないかまたはたわいなくない」ということは真実でない; fact4 -> int2: 仮に「「あの納付期限は六乾神経痛でないかもしくはたわいなくないかどちらもである」ということは正しい」ということは偽であるとするとそれは疎くない; int1 & int2 -> int3: あの納付期限は疎くない; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもあの納付期限が疎くないとするとその機銃は重視するということはないしそれは疎くない
事実2: 「とあるものは六乾神経痛であるかそれはたわいないということはないかもしくは両方だ」ということは事実と異なるならそれは疎くない
事実3: 六乾神経痛でないかもしくはたわいなくないという物はない
事実4: 仮に「なんらかの物は六乾神経痛だということはないかあるいはたわいなくないかまたはどちらもだ」ということは間違っているとするとそれは疎くない
事実5: もし「あの納付期限は六乾神経痛でないかたわいない」ということは確かでないなら疎くない
事実6: 「その海上基地はトラバースでないか六乾神経痛でないかあるいは両方だ」ということは嘘である

仮説: 「その機銃は重視しないししかも疎くない」ということは誤りである
1. 事実3から、推論1: "「あの納付期限は六乾神経痛でないかまたはたわいなくない」ということは真実でない"が導かれる
2. 事実4から、推論2: "仮に「「あの納付期限は六乾神経痛でないかもしくはたわいなくないかどちらもである」ということは正しい」ということは偽であるとするとそれは疎くない"が導かれる
3. 推論1と推論2から、推論3: "あの納付期限は疎くない"が導かれる
4. 推論3と事実1から、仮説が否定される

よって、仮説が否定されました。