「あの周波数帯毎は国際入札でない」ということは真実である
fact1: あの周波数帯毎は抱き抱えない fact2: そのサードオニキスは抱き抱える fact3: もしも「とある物はきもくないかもしくは放射線科医であるということはない」ということは成り立たないとすればそれは旨し fact4: もしも何かは国際入札でないとすれば「それはきもくないかまたはそれは放射線科医でないかあるいは両方ともである」ということは誤っている fact5: もしもそのサードオニキスが抱き抱えるとすればそれは理解し合う fact6: 仮にそのサードオニキスが想定するし更に旨しとしたら「あの周波数帯毎は国際入札であるということはない」ということは本当である fact7: もしあの周波数帯毎は旨しなら「そのサードオニキスは早しけれど想定しない」ということは成り立たない fact8: この同時通訳は抱き抱える fact9: 仮に何かは理解し合えばそれは早ししそれにそれは想定するということはない
fact4 -> int1: もし仮にあの周波数帯毎は国際入札でないとしたら「きもくないかまたは放射線科医でないかあるいはどちらもである」ということは本当でない; void -> assump1: 以下のように仮定する。「あの周波数帯毎は国際入札でない」ということは正しい; int1 & assump1 -> int2: 「あの周波数帯毎はきもくないかまたは放射線科医でないかもしくは両方だ」ということは偽だ; fact3 -> int3: 仮に「あの周波数帯毎はきもくないか放射線科医でないか両方だ」ということは成り立たないとするとそれは旨し; int2 & int3 -> int4: あの周波数帯毎は旨し; int4 & fact7 -> int5: 「そのサードオニキスは早しが想定しない」ということは偽だ; fact9 -> int6: 仮にそのサードオニキスが理解し合うなら早ししその上想定するということはない; fact2 & fact5 -> int7: そのサードオニキスは理解し合う; int6 & int7 -> int8: 「そのサードオニキスは早し一方で想定しない」ということは事実だ; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
「あの周波数帯毎は国際入札でない」ということは事実である
$facts$ = fact1: あの周波数帯毎は抱き抱えない fact2: そのサードオニキスは抱き抱える fact3: もしも「とある物はきもくないかもしくは放射線科医であるということはない」ということは成り立たないとすればそれは旨し fact4: もしも何かは国際入札でないとすれば「それはきもくないかまたはそれは放射線科医でないかあるいは両方ともである」ということは誤っている fact5: もしもそのサードオニキスが抱き抱えるとすればそれは理解し合う fact6: 仮にそのサードオニキスが想定するし更に旨しとしたら「あの周波数帯毎は国際入札であるということはない」ということは本当である fact7: もしあの周波数帯毎は旨しなら「そのサードオニキスは早しけれど想定しない」ということは成り立たない fact8: この同時通訳は抱き抱える fact9: 仮に何かは理解し合えばそれは早ししそれにそれは想定するということはない ; $hypothesis$ = 「あの周波数帯毎は国際入札でない」ということは真実である ; $proof$ = 
fact4 -> int1: もし仮にあの周波数帯毎は国際入札でないとしたら「きもくないかまたは放射線科医でないかあるいはどちらもである」ということは本当でない; void -> assump1: 以下のように仮定する。「あの周波数帯毎は国際入札でない」ということは正しい; int1 & assump1 -> int2: 「あの周波数帯毎はきもくないかまたは放射線科医でないかもしくは両方だ」ということは偽だ; fact3 -> int3: 仮に「あの周波数帯毎はきもくないか放射線科医でないか両方だ」ということは成り立たないとするとそれは旨し; int2 & int3 -> int4: あの周波数帯毎は旨し; int4 & fact7 -> int5: 「そのサードオニキスは早しが想定しない」ということは偽だ; fact9 -> int6: 仮にそのサードオニキスが理解し合うなら早ししその上想定するということはない; fact2 & fact5 -> int7: そのサードオニキスは理解し合う; int6 & int7 -> int8: 「そのサードオニキスは早し一方で想定しない」ということは事実だ; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: あの周波数帯毎は抱き抱えない
事実2: そのサードオニキスは抱き抱える
事実3: もしも「とある物はきもくないかもしくは放射線科医であるということはない」ということは成り立たないとすればそれは旨し
事実4: もしも何かは国際入札でないとすれば「それはきもくないかまたはそれは放射線科医でないかあるいは両方ともである」ということは誤っている
事実5: もしもそのサードオニキスが抱き抱えるとすればそれは理解し合う
事実6: 仮にそのサードオニキスが想定するし更に旨しとしたら「あの周波数帯毎は国際入札であるということはない」ということは本当である
事実7: もしあの周波数帯毎は旨しなら「そのサードオニキスは早しけれど想定しない」ということは成り立たない
事実8: この同時通訳は抱き抱える
事実9: 仮に何かは理解し合えばそれは早ししそれにそれは想定するということはない

仮説: 「あの周波数帯毎は国際入札でない」ということは真実である
1. 事実4から、推論1: "もし仮にあの周波数帯毎は国際入札でないとしたら「きもくないかまたは放射線科医でないかあるいはどちらもである」ということは本当でない"が導かれる
2. 仮定1: 以下のように仮定する。「あの周波数帯毎は国際入札でない」ということは正しい
3. 推論1と仮定1から、推論2: "「あの周波数帯毎はきもくないかまたは放射線科医でないかもしくは両方だ」ということは偽だ"が導かれる
4. 事実3から、推論3: "仮に「あの周波数帯毎はきもくないか放射線科医でないか両方だ」ということは成り立たないとするとそれは旨し"が導かれる
5. 推論2と推論3から、推論4: "あの周波数帯毎は旨し"が導かれる
6. 推論4と事実7から、推論5: "「そのサードオニキスは早しが想定しない」ということは偽だ"が導かれる
7. 事実9から、推論6: "仮にそのサードオニキスが理解し合うなら早ししその上想定するということはない"が導かれる
8. 事実2と事実5から、推論7: "そのサードオニキスは理解し合う"が導かれる
9. 推論6と推論7から、推論8: "「そのサードオニキスは早し一方で想定しない」ということは事実だ"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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