「あの保険料徴収は聞こえ難いかあるいは卑しないかまたは両方ともである」ということは誤っている
fact1: あの一時間後は収入源であるかあるいはそれは聞こえ難いということはないかあるいは両方ともである fact2: 「あの一時間後は聞こえ難いかもしくは米国市民でないか両方ともである」ということは嘘であるとすればそれは御戻り下さるということはない fact3: あの一時間後が自賛するとしたらそれは出し難い fact4: もし「あるものは自賛するし御戻り下さる」ということは誤っているとすればそれは御戻り下さらない fact5: もし仮に「とある物は御戻り下さるかまたは聞こえ難くないかどちらもである」ということは間違いであるならば米国市民だということはない fact6: もしも「あの一時間後は戦わさないがしかし米国市民である」ということは成り立たないならそれは収入源でない fact7: もしあの保険料徴収は御戻り下さらないとすれば「あの一時間後は戦わさないけどそれは米国市民だ」ということは誤っている fact8: あの一時間後は元気付けないしおまけに出し難いということはない fact9: 仮に「あの一時間後は元気付けるか出し難くないかあるいはどちらもだ」ということは事実と異なるとすれば卑しない fact10: 仮に「あの年譜は戦わす一方で米国市民でない」ということは成り立てばあの一時間後は戦わさない fact11: もし「「あの保険料徴収は元気付けない一方でそれは聞こえ難い」ということは本当である」ということは成り立たないとしたら「戦わすということはない」ということは正しい fact12: 「なにがしかのものは聞こえ難いか卑しないかどちらもである」ということは成り立たないならば御戻り下さらない fact13: 仮にこのバザード団員が御戻り下さらないならばあの年譜は戦わすがしかし米国市民でない fact14: あの一時間後は元気付けない fact15: もしあの一時間後は収入源でないとしたらそれは自賛する
fact12 -> int1: 「あの保険料徴収は聞こえ難いかもしくは卑しない」ということは誤っているとすれば御戻り下さるということはない; void -> assump1: 以下のように仮定する。「「あの保険料徴収は聞こえ難いかそれは卑しない」ということは成り立つ」ということは成り立たない; int1 & assump1 -> int2: 「あの保険料徴収は御戻り下さらない」ということは真実だ; int2 & fact7 -> int3: 「あの一時間後は戦わさないけど米国市民である」ということは成り立たない; int3 & fact6 -> int4: あの一時間後は収入源でない; int4 & fact15 -> int5: あの一時間後は自賛する; int5 & fact3 -> int6: あの一時間後は出し難い; fact8 -> int7: 「あの一時間後は出し難くない」ということは確かだ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
「あの保険料徴収は聞こえ難いかまたは卑しということはない」ということは成り立たない
fact17 -> int9: もしも「このバザード団員は自賛するし御戻り下さる」ということは確かでないならば御戻り下さらない;
$facts$ = fact1: あの一時間後は収入源であるかあるいはそれは聞こえ難いということはないかあるいは両方ともである fact2: 「あの一時間後は聞こえ難いかもしくは米国市民でないか両方ともである」ということは嘘であるとすればそれは御戻り下さるということはない fact3: あの一時間後が自賛するとしたらそれは出し難い fact4: もし「あるものは自賛するし御戻り下さる」ということは誤っているとすればそれは御戻り下さらない fact5: もし仮に「とある物は御戻り下さるかまたは聞こえ難くないかどちらもである」ということは間違いであるならば米国市民だということはない fact6: もしも「あの一時間後は戦わさないがしかし米国市民である」ということは成り立たないならそれは収入源でない fact7: もしあの保険料徴収は御戻り下さらないとすれば「あの一時間後は戦わさないけどそれは米国市民だ」ということは誤っている fact8: あの一時間後は元気付けないしおまけに出し難いということはない fact9: 仮に「あの一時間後は元気付けるか出し難くないかあるいはどちらもだ」ということは事実と異なるとすれば卑しない fact10: 仮に「あの年譜は戦わす一方で米国市民でない」ということは成り立てばあの一時間後は戦わさない fact11: もし「「あの保険料徴収は元気付けない一方でそれは聞こえ難い」ということは本当である」ということは成り立たないとしたら「戦わすということはない」ということは正しい fact12: 「なにがしかのものは聞こえ難いか卑しないかどちらもである」ということは成り立たないならば御戻り下さらない fact13: 仮にこのバザード団員が御戻り下さらないならばあの年譜は戦わすがしかし米国市民でない fact14: あの一時間後は元気付けない fact15: もしあの一時間後は収入源でないとしたらそれは自賛する ; $hypothesis$ = 「あの保険料徴収は聞こえ難いかあるいは卑しないかまたは両方ともである」ということは誤っている ; $proof$ = 
fact12 -> int1: 「あの保険料徴収は聞こえ難いかもしくは卑しない」ということは誤っているとすれば御戻り下さるということはない; void -> assump1: 以下のように仮定する。「「あの保険料徴収は聞こえ難いかそれは卑しない」ということは成り立つ」ということは成り立たない; int1 & assump1 -> int2: 「あの保険料徴収は御戻り下さらない」ということは真実だ; int2 & fact7 -> int3: 「あの一時間後は戦わさないけど米国市民である」ということは成り立たない; int3 & fact6 -> int4: あの一時間後は収入源でない; int4 & fact15 -> int5: あの一時間後は自賛する; int5 & fact3 -> int6: あの一時間後は出し難い; fact8 -> int7: 「あの一時間後は出し難くない」ということは確かだ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: あの一時間後は収入源であるかあるいはそれは聞こえ難いということはないかあるいは両方ともである
事実2: 「あの一時間後は聞こえ難いかもしくは米国市民でないか両方ともである」ということは嘘であるとすればそれは御戻り下さるということはない
事実3: あの一時間後が自賛するとしたらそれは出し難い
事実4: もし「あるものは自賛するし御戻り下さる」ということは誤っているとすればそれは御戻り下さらない
事実5: もし仮に「とある物は御戻り下さるかまたは聞こえ難くないかどちらもである」ということは間違いであるならば米国市民だということはない
事実6: もしも「あの一時間後は戦わさないがしかし米国市民である」ということは成り立たないならそれは収入源でない
事実7: もしあの保険料徴収は御戻り下さらないとすれば「あの一時間後は戦わさないけどそれは米国市民だ」ということは誤っている
事実8: あの一時間後は元気付けないしおまけに出し難いということはない
事実9: 仮に「あの一時間後は元気付けるか出し難くないかあるいはどちらもだ」ということは事実と異なるとすれば卑しない
事実10: 仮に「あの年譜は戦わす一方で米国市民でない」ということは成り立てばあの一時間後は戦わさない
事実11: もし「「あの保険料徴収は元気付けない一方でそれは聞こえ難い」ということは本当である」ということは成り立たないとしたら「戦わすということはない」ということは正しい
事実12: 「なにがしかのものは聞こえ難いか卑しないかどちらもである」ということは成り立たないならば御戻り下さらない
事実13: 仮にこのバザード団員が御戻り下さらないならばあの年譜は戦わすがしかし米国市民でない
事実14: あの一時間後は元気付けない
事実15: もしあの一時間後は収入源でないとしたらそれは自賛する

仮説: 「あの保険料徴収は聞こえ難いかあるいは卑しないかまたは両方ともである」ということは誤っている
1. 事実12から、推論1: "「あの保険料徴収は聞こえ難いかもしくは卑しない」ということは誤っているとすれば御戻り下さるということはない"が導かれる
2. 仮定1: 以下のように仮定する。「「あの保険料徴収は聞こえ難いかそれは卑しない」ということは成り立つ」ということは成り立たない
3. 推論1と仮定1から、推論2: "「あの保険料徴収は御戻り下さらない」ということは真実だ"が導かれる
4. 推論2と事実7から、推論3: "「あの一時間後は戦わさないけど米国市民である」ということは成り立たない"が導かれる
5. 推論3と事実6から、推論4: "あの一時間後は収入源でない"が導かれる
6. 推論4と事実15から、推論5: "あの一時間後は自賛する"が導かれる
7. 推論5と事実3から、推論6: "あの一時間後は出し難い"が導かれる
8. 事実8から、推論7: "「あの一時間後は出し難くない」ということは確かだ"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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