「「あのイオン注入領域は禍々しい」ということは確かであるとしたら「あの土木工事は軍医殿でないが大内軍だ」ということは誤りである」ということは誤りだ
fact1: もしあの土木工事は社外取り締まり役であるということはないならば「あのイオン注入領域は軍医殿でそれに大内軍である」ということは成り立たない fact2: あのイオン注入領域は軍医殿であるし社外取り締まり役であるとしたら相手国でない fact3: あの土木工事は如何わしい fact4: 仮にあのイオン注入領域はあくどいならば「あの土木工事は社外取り締まり役でない一方で相手国だ」ということは事実だ fact5: あのイオン注入領域が禍々しいならばあの土木工事は軍医殿でないがしかし大内軍である fact6: あのイオン注入領域はあくどいしそれは相手国である fact7: あの土木工事は軍医殿でないがしかし大内軍である fact8: あのイオン注入領域は社外取り締まり役であるということはないならば「あの土木工事は軍医殿でないがしかしそれは大内軍だ」ということは確かでない fact9: もしあの土木工事があくどくないとしたらあのイオン注入領域は相手国でない一方でそれは軍医殿だ fact10: 「あの土木工事は軍医殿でない」ということは成り立たないとすれば「あのイオン注入領域は大内軍でないけど社外取り締まり役である」ということは誤りだ fact11: 「あの反省論は炉近くだということはないがしかし太り難い」ということは誤っている fact12: あのイオン注入領域は相手国だ fact13: 「あの土木工事は軍医殿であるしそれに大内軍だ」ということは成り立たない fact14: もし仮にあくどい物が禍々しいとすれば社外取り締まり役でない fact15: あの土木工事は軍医殿でないがしかしあくどい
fact6 -> int1: あのイオン注入領域はあくどい; void -> assump1: 以下のように仮定する。あのイオン注入領域は禍々しい; int1 & assump1 -> int2: あのイオン注入領域はあくどくてそれは禍々しい; fact14 -> int3: もしあのイオン注入領域があくどいしその上禍々しいとすると社外取り締まり役でない; int2 & int3 -> int4: あのイオン注入領域は社外取り締まり役でない; int4 & fact8 -> int5: 「あの土木工事は軍医殿でないけれど大内軍だ」ということは本当でない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしあの土木工事は社外取り締まり役であるということはないならば「あのイオン注入領域は軍医殿でそれに大内軍である」ということは成り立たない fact2: あのイオン注入領域は軍医殿であるし社外取り締まり役であるとしたら相手国でない fact3: あの土木工事は如何わしい fact4: 仮にあのイオン注入領域はあくどいならば「あの土木工事は社外取り締まり役でない一方で相手国だ」ということは事実だ fact5: あのイオン注入領域が禍々しいならばあの土木工事は軍医殿でないがしかし大内軍である fact6: あのイオン注入領域はあくどいしそれは相手国である fact7: あの土木工事は軍医殿でないがしかし大内軍である fact8: あのイオン注入領域は社外取り締まり役であるということはないならば「あの土木工事は軍医殿でないがしかしそれは大内軍だ」ということは確かでない fact9: もしあの土木工事があくどくないとしたらあのイオン注入領域は相手国でない一方でそれは軍医殿だ fact10: 「あの土木工事は軍医殿でない」ということは成り立たないとすれば「あのイオン注入領域は大内軍でないけど社外取り締まり役である」ということは誤りだ fact11: 「あの反省論は炉近くだということはないがしかし太り難い」ということは誤っている fact12: あのイオン注入領域は相手国だ fact13: 「あの土木工事は軍医殿であるしそれに大内軍だ」ということは成り立たない fact14: もし仮にあくどい物が禍々しいとすれば社外取り締まり役でない fact15: あの土木工事は軍医殿でないがしかしあくどい ; $hypothesis$ = 「「あのイオン注入領域は禍々しい」ということは確かであるとしたら「あの土木工事は軍医殿でないが大内軍だ」ということは誤りである」ということは誤りだ ; $proof$ = 
fact6 -> int1: あのイオン注入領域はあくどい; void -> assump1: 以下のように仮定する。あのイオン注入領域は禍々しい; int1 & assump1 -> int2: あのイオン注入領域はあくどくてそれは禍々しい; fact14 -> int3: もしあのイオン注入領域があくどいしその上禍々しいとすると社外取り締まり役でない; int2 & int3 -> int4: あのイオン注入領域は社外取り締まり役でない; int4 & fact8 -> int5: 「あの土木工事は軍医殿でないけれど大内軍だ」ということは本当でない; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしあの土木工事は社外取り締まり役であるということはないならば「あのイオン注入領域は軍医殿でそれに大内軍である」ということは成り立たない
事実2: あのイオン注入領域は軍医殿であるし社外取り締まり役であるとしたら相手国でない
事実3: あの土木工事は如何わしい
事実4: 仮にあのイオン注入領域はあくどいならば「あの土木工事は社外取り締まり役でない一方で相手国だ」ということは事実だ
事実5: あのイオン注入領域が禍々しいならばあの土木工事は軍医殿でないがしかし大内軍である
事実6: あのイオン注入領域はあくどいしそれは相手国である
事実7: あの土木工事は軍医殿でないがしかし大内軍である
事実8: あのイオン注入領域は社外取り締まり役であるということはないならば「あの土木工事は軍医殿でないがしかしそれは大内軍だ」ということは確かでない
事実9: もしあの土木工事があくどくないとしたらあのイオン注入領域は相手国でない一方でそれは軍医殿だ
事実10: 「あの土木工事は軍医殿でない」ということは成り立たないとすれば「あのイオン注入領域は大内軍でないけど社外取り締まり役である」ということは誤りだ
事実11: 「あの反省論は炉近くだということはないがしかし太り難い」ということは誤っている
事実12: あのイオン注入領域は相手国だ
事実13: 「あの土木工事は軍医殿であるしそれに大内軍だ」ということは成り立たない
事実14: もし仮にあくどい物が禍々しいとすれば社外取り締まり役でない
事実15: あの土木工事は軍医殿でないがしかしあくどい

仮説: 「「あのイオン注入領域は禍々しい」ということは確かであるとしたら「あの土木工事は軍医殿でないが大内軍だ」ということは誤りである」ということは誤りだ
1. 事実6から、推論1: "あのイオン注入領域はあくどい"が導かれる
2. 仮定1: 以下のように仮定する。あのイオン注入領域は禍々しい
3. 推論1と仮定1から、推論2: "あのイオン注入領域はあくどくてそれは禍々しい"が導かれる
4. 事実14から、推論3: "もしあのイオン注入領域があくどいしその上禍々しいとすると社外取り締まり役でない"が導かれる
5. 推論2と推論3から、推論4: "あのイオン注入領域は社外取り締まり役でない"が導かれる
6. 推論4と事実8から、推論5: "「あの土木工事は軍医殿でないけれど大内軍だ」ということは本当でない"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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