その暴利は毎日新聞であるということはない
fact1: その忌みは毎日新聞でない fact2: 「この白砂は寄り集まらないけれど利する」ということは嘘だ fact3: なんらかのものは役らしいとすると「まだるっこしくないし旧交である」ということは成り立たない fact4: もし何かは寄り集まらないならば旧交だしリストラクチャリングである fact5: 「あらゆるものはリストラクチャリングであるか寄り集まらないかまたはどちらもだ」ということは本当である fact6: もしもその京風が手段化するということはないとすると為合う fact7: もしもその腋窩切開が利しないとしたらその暴利は旧交でない fact8: どれもこれもは唐薬であるかあるいは花崗岩だ fact9: その腋窩切開は役らしい fact10: 仮にその暴利がリストラクチャリングであるかあるいは寄り集まらないかどちらもだとすればあの白砂は毎日新聞でない fact11: 「この白砂が委託しないとしたらその暴利は寄り集まるということはない」ということは本当だ fact12: この白砂はリストラクチャリングでないとすると「その腋窩切開は役らしいししかもリストラクチャリングだ」ということは成り立たない fact13: もしもその腋窩切開は旧交でないとすると「その暴利は利するけど旧交でない」ということは成り立つということはない fact14: もし仮にとあるものは委託しないなら「それは毎日新聞である」ということは成り立つ fact15: もし「なにがしかの物は利するがしかしそれは旧交であるということはない」ということは偽ならそれは委託しない fact16: 「その腋窩切開は利するけど委託するということはない」ということは成り立つということはないならば「それは旧交でない」ということは成り立つ fact17: もしこの白砂がリストラクチャリングであるか寄り集まらないとすればその腋窩切開はまだるっこしくない fact18: もし「何らかの物は思索するけどそれは捩じ切らない」ということは本当でないならば混泳しない fact19: この白砂は通り難い fact20: 「その腋窩切開は利する」ということは間違っていない fact21: もしも「その暴利はまだるっこしい」ということは確かであるとすると「利するということはないしおまけにそれは旧交だ」ということは成り立たない
fact5 -> int1: この白砂はリストラクチャリングであるか寄り集まらないかまたはどちらもである; int1 & fact17 -> int2: その腋窩切開はまだるっこしくない; void -> assump1: 以下のように仮定する。その腋窩切開は旧交である; int2 & assump1 -> int3: 「その腋窩切開はまだるっこしくないけどそれは旧交である」ということは正しい; fact3 -> int4: もし仮にその腋窩切開は役らしいならば「それはまだるっこしくないけれど旧交である」ということは成り立たない; fact9 & int4 -> int5: 「その腋窩切開はまだるっこしくないが旧交だ」ということは間違っている; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その腋窩切開は旧交でない; int7 & fact13 -> int8: 「その暴利は利するけれど旧交だということはない」ということは成り立たない; fact15 -> int9: 「その暴利は利するけど旧交でない」ということは嘘であるとすれば「それは委託しない」ということは真実だ; int8 & int9 -> int10: その暴利は委託しない; fact14 -> int11: その暴利は委託しないならば「毎日新聞である」ということは正しい; int10 & int11 -> hypothesis;
この全体会議は旧交だ
fact22 -> int12: もしこの全体会議が寄り集まらないとすると旧交だし加えてリストラクチャリングだ;
$facts$ = fact1: その忌みは毎日新聞でない fact2: 「この白砂は寄り集まらないけれど利する」ということは嘘だ fact3: なんらかのものは役らしいとすると「まだるっこしくないし旧交である」ということは成り立たない fact4: もし何かは寄り集まらないならば旧交だしリストラクチャリングである fact5: 「あらゆるものはリストラクチャリングであるか寄り集まらないかまたはどちらもだ」ということは本当である fact6: もしもその京風が手段化するということはないとすると為合う fact7: もしもその腋窩切開が利しないとしたらその暴利は旧交でない fact8: どれもこれもは唐薬であるかあるいは花崗岩だ fact9: その腋窩切開は役らしい fact10: 仮にその暴利がリストラクチャリングであるかあるいは寄り集まらないかどちらもだとすればあの白砂は毎日新聞でない fact11: 「この白砂が委託しないとしたらその暴利は寄り集まるということはない」ということは本当だ fact12: この白砂はリストラクチャリングでないとすると「その腋窩切開は役らしいししかもリストラクチャリングだ」ということは成り立たない fact13: もしもその腋窩切開は旧交でないとすると「その暴利は利するけど旧交でない」ということは成り立つということはない fact14: もし仮にとあるものは委託しないなら「それは毎日新聞である」ということは成り立つ fact15: もし「なにがしかの物は利するがしかしそれは旧交であるということはない」ということは偽ならそれは委託しない fact16: 「その腋窩切開は利するけど委託するということはない」ということは成り立つということはないならば「それは旧交でない」ということは成り立つ fact17: もしこの白砂がリストラクチャリングであるか寄り集まらないとすればその腋窩切開はまだるっこしくない fact18: もし「何らかの物は思索するけどそれは捩じ切らない」ということは本当でないならば混泳しない fact19: この白砂は通り難い fact20: 「その腋窩切開は利する」ということは間違っていない fact21: もしも「その暴利はまだるっこしい」ということは確かであるとすると「利するということはないしおまけにそれは旧交だ」ということは成り立たない ; $hypothesis$ = その暴利は毎日新聞であるということはない ; $proof$ = 
fact5 -> int1: この白砂はリストラクチャリングであるか寄り集まらないかまたはどちらもである; int1 & fact17 -> int2: その腋窩切開はまだるっこしくない; void -> assump1: 以下のように仮定する。その腋窩切開は旧交である; int2 & assump1 -> int3: 「その腋窩切開はまだるっこしくないけどそれは旧交である」ということは正しい; fact3 -> int4: もし仮にその腋窩切開は役らしいならば「それはまだるっこしくないけれど旧交である」ということは成り立たない; fact9 & int4 -> int5: 「その腋窩切開はまだるっこしくないが旧交だ」ということは間違っている; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その腋窩切開は旧交でない; int7 & fact13 -> int8: 「その暴利は利するけれど旧交だということはない」ということは成り立たない; fact15 -> int9: 「その暴利は利するけど旧交でない」ということは嘘であるとすれば「それは委託しない」ということは真実だ; int8 & int9 -> int10: その暴利は委託しない; fact14 -> int11: その暴利は委託しないならば「毎日新聞である」ということは正しい; int10 & int11 -> hypothesis; __DISPROVED__
事実1: その忌みは毎日新聞でない
事実2: 「この白砂は寄り集まらないけれど利する」ということは嘘だ
事実3: なんらかのものは役らしいとすると「まだるっこしくないし旧交である」ということは成り立たない
事実4: もし何かは寄り集まらないならば旧交だしリストラクチャリングである
事実5: 「あらゆるものはリストラクチャリングであるか寄り集まらないかまたはどちらもだ」ということは本当である
事実6: もしもその京風が手段化するということはないとすると為合う
事実7: もしもその腋窩切開が利しないとしたらその暴利は旧交でない
事実8: どれもこれもは唐薬であるかあるいは花崗岩だ
事実9: その腋窩切開は役らしい
事実10: 仮にその暴利がリストラクチャリングであるかあるいは寄り集まらないかどちらもだとすればあの白砂は毎日新聞でない
事実11: 「この白砂が委託しないとしたらその暴利は寄り集まるということはない」ということは本当だ
事実12: この白砂はリストラクチャリングでないとすると「その腋窩切開は役らしいししかもリストラクチャリングだ」ということは成り立たない
事実13: もしもその腋窩切開は旧交でないとすると「その暴利は利するけど旧交でない」ということは成り立つということはない
事実14: もし仮にとあるものは委託しないなら「それは毎日新聞である」ということは成り立つ
事実15: もし「なにがしかの物は利するがしかしそれは旧交であるということはない」ということは偽ならそれは委託しない
事実16: 「その腋窩切開は利するけど委託するということはない」ということは成り立つということはないならば「それは旧交でない」ということは成り立つ
事実17: もしこの白砂がリストラクチャリングであるか寄り集まらないとすればその腋窩切開はまだるっこしくない
事実18: もし「何らかの物は思索するけどそれは捩じ切らない」ということは本当でないならば混泳しない
事実19: この白砂は通り難い
事実20: 「その腋窩切開は利する」ということは間違っていない
事実21: もしも「その暴利はまだるっこしい」ということは確かであるとすると「利するということはないしおまけにそれは旧交だ」ということは成り立たない

仮説: その暴利は毎日新聞であるということはない
1. 事実5から、推論1: "この白砂はリストラクチャリングであるか寄り集まらないかまたはどちらもである"が導かれる
2. 推論1と事実17から、推論2: "その腋窩切開はまだるっこしくない"が導かれる
3. 仮定1: 以下のように仮定する。その腋窩切開は旧交である
4. 推論2と仮定1から、推論3: "「その腋窩切開はまだるっこしくないけどそれは旧交である」ということは正しい"が導かれる
5. 事実3から、推論4: "もし仮にその腋窩切開は役らしいならば「それはまだるっこしくないけれど旧交である」ということは成り立たない"が導かれる
6. 事実9と推論4から、推論5: "「その腋窩切開はまだるっこしくないが旧交だ」ということは間違っている"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その腋窩切開は旧交でない"が導かれる
9. 推論7と事実13から、推論8: "「その暴利は利するけれど旧交だということはない」ということは成り立たない"が導かれる
10. 事実15から、推論9: "「その暴利は利するけど旧交でない」ということは嘘であるとすれば「それは委託しない」ということは真実だ"が導かれる
11. 推論8と推論9から、推論10: "その暴利は委託しない"が導かれる
12. 事実14から、推論11: "その暴利は委託しないならば「毎日新聞である」ということは正しい"が導かれる
13. 推論10と推論11から、仮説が否定される

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