「この東宮御所は紳士らしいし成功である」ということは成り立つということはない
fact1: もし仮にこの東宮御所は移ろい易いとしたら「それは撲殺するが成功でない」ということは成り立たない fact2: この出版業はＤＯＷだ fact3: 「この東宮御所は嬉しい」ということは確かだ fact4: もし「この出版業は警備業者でないしその上憎々しくない」ということは成り立たないならそれは撲殺する fact5: 「この東宮御所は成功でなくてＤＯＷでない」ということは事実と異なるとすれば撲殺する fact6: この東宮御所は憎々しい fact7: もしもこの出版業は警備業者だとすると「それは移ろい易くなくてそれに運送しない」ということは偽だ fact8: このルビーレーザーはＤＯＷであるなら「成功である」ということは成り立つ fact9: もしこの出版業が撲殺するとすればこのルビーレーザーはＤＯＷである fact10: 「この出版業は警備業者でないし加えてそれは憎々しくない」ということは成り立たない fact11: もしもなんらかのものは運送するということはないならば「それは嬉しくて加えて移ろい易いということはない」ということは成り立たない fact12: もしこのルビーレーザーは移ろい易いなら「それは運送するということはないしまた嬉しくない」ということは事実と異なる fact13: もし仮にとある物はＤＯＷであるならば移ろい易い fact14: もしあるものは移ろい易くないとしたら「それは撲殺するがＤＯＷでない」ということは間違いである fact15: 仮にこのルビーレーザーが嬉しいとしたらこの東宮御所は紳士らしい fact16: 「この東宮御所は成功である」ということは真実だ fact17: 「この三歳児は賢い一方で運送しない」ということは偽だ fact18: もしこの出版業が憎々しいなら撲殺する fact19: 「この出版業は警備業者でないけどそれは憎々しい」ということは間違いである fact20: 「この出版業は撲殺するがＤＯＷでない」ということは間違いであるならばあの東宮御所はＤＯＷでない fact21: もしも「このルビーレーザーは運送するということはなくておまけに嬉しくない」ということは成り立たないとすればあの東宮御所は紳士らしい fact22: もし仮にこのルビーレーザーは移ろい易いとすれば「運送しなくてかつ嬉しい」ということは嘘だ fact23: 「このルビーレーザーは運送しないけれどそれは嬉しい」ということは事実でない fact24: 仮に「この東宮御所は紳士らしい」ということは確かなら「それは憎々しい」ということは成り立つ
fact4 & fact10 -> int1: この出版業は撲殺する; int1 & fact9 -> int2: このルビーレーザーはＤＯＷである; fact13 -> int3: もしこのルビーレーザーがＤＯＷだとしたらそれは移ろい易い; int2 & int3 -> int4: このルビーレーザーは移ろい易い; int4 & fact12 -> int5: 「このルビーレーザーは運送しないし嬉しくない」ということは間違いである; int5 & fact21 -> int6: この東宮御所は紳士らしい; int6 & fact16 -> hypothesis;
「この東宮御所は紳士らしいしその上成功だ」ということは成り立たない
fact27 -> int7: もしこの小家族は運送しないとすると「それは嬉しくてかつそれは移ろい易いということはない」ということは事実と異なる; fact26 -> int8: もし仮にこの出版業は移ろい易くないとしたら「それは撲殺するしおまけにそれはＤＯＷでない」ということは成り立たない;
$facts$ = fact1: もし仮にこの東宮御所は移ろい易いとしたら「それは撲殺するが成功でない」ということは成り立たない fact2: この出版業はＤＯＷだ fact3: 「この東宮御所は嬉しい」ということは確かだ fact4: もし「この出版業は警備業者でないしその上憎々しくない」ということは成り立たないならそれは撲殺する fact5: 「この東宮御所は成功でなくてＤＯＷでない」ということは事実と異なるとすれば撲殺する fact6: この東宮御所は憎々しい fact7: もしもこの出版業は警備業者だとすると「それは移ろい易くなくてそれに運送しない」ということは偽だ fact8: このルビーレーザーはＤＯＷであるなら「成功である」ということは成り立つ fact9: もしこの出版業が撲殺するとすればこのルビーレーザーはＤＯＷである fact10: 「この出版業は警備業者でないし加えてそれは憎々しくない」ということは成り立たない fact11: もしもなんらかのものは運送するということはないならば「それは嬉しくて加えて移ろい易いということはない」ということは成り立たない fact12: もしこのルビーレーザーは移ろい易いなら「それは運送するということはないしまた嬉しくない」ということは事実と異なる fact13: もし仮にとある物はＤＯＷであるならば移ろい易い fact14: もしあるものは移ろい易くないとしたら「それは撲殺するがＤＯＷでない」ということは間違いである fact15: 仮にこのルビーレーザーが嬉しいとしたらこの東宮御所は紳士らしい fact16: 「この東宮御所は成功である」ということは真実だ fact17: 「この三歳児は賢い一方で運送しない」ということは偽だ fact18: もしこの出版業が憎々しいなら撲殺する fact19: 「この出版業は警備業者でないけどそれは憎々しい」ということは間違いである fact20: 「この出版業は撲殺するがＤＯＷでない」ということは間違いであるならばあの東宮御所はＤＯＷでない fact21: もしも「このルビーレーザーは運送するということはなくておまけに嬉しくない」ということは成り立たないとすればあの東宮御所は紳士らしい fact22: もし仮にこのルビーレーザーは移ろい易いとすれば「運送しなくてかつ嬉しい」ということは嘘だ fact23: 「このルビーレーザーは運送しないけれどそれは嬉しい」ということは事実でない fact24: 仮に「この東宮御所は紳士らしい」ということは確かなら「それは憎々しい」ということは成り立つ ; $hypothesis$ = 「この東宮御所は紳士らしいし成功である」ということは成り立つということはない ; $proof$ = 
fact4 & fact10 -> int1: この出版業は撲殺する; int1 & fact9 -> int2: このルビーレーザーはＤＯＷである; fact13 -> int3: もしこのルビーレーザーがＤＯＷだとしたらそれは移ろい易い; int2 & int3 -> int4: このルビーレーザーは移ろい易い; int4 & fact12 -> int5: 「このルビーレーザーは運送しないし嬉しくない」ということは間違いである; int5 & fact21 -> int6: この東宮御所は紳士らしい; int6 & fact16 -> hypothesis; __DISPROVED__
事実1: もし仮にこの東宮御所は移ろい易いとしたら「それは撲殺するが成功でない」ということは成り立たない
事実2: この出版業はＤＯＷだ
事実3: 「この東宮御所は嬉しい」ということは確かだ
事実4: もし「この出版業は警備業者でないしその上憎々しくない」ということは成り立たないならそれは撲殺する
事実5: 「この東宮御所は成功でなくてＤＯＷでない」ということは事実と異なるとすれば撲殺する
事実6: この東宮御所は憎々しい
事実7: もしもこの出版業は警備業者だとすると「それは移ろい易くなくてそれに運送しない」ということは偽だ
事実8: このルビーレーザーはＤＯＷであるなら「成功である」ということは成り立つ
事実9: もしこの出版業が撲殺するとすればこのルビーレーザーはＤＯＷである
事実10: 「この出版業は警備業者でないし加えてそれは憎々しくない」ということは成り立たない
事実11: もしもなんらかのものは運送するということはないならば「それは嬉しくて加えて移ろい易いということはない」ということは成り立たない
事実12: もしこのルビーレーザーは移ろい易いなら「それは運送するということはないしまた嬉しくない」ということは事実と異なる
事実13: もし仮にとある物はＤＯＷであるならば移ろい易い
事実14: もしあるものは移ろい易くないとしたら「それは撲殺するがＤＯＷでない」ということは間違いである
事実15: 仮にこのルビーレーザーが嬉しいとしたらこの東宮御所は紳士らしい
事実16: 「この東宮御所は成功である」ということは真実だ
事実17: 「この三歳児は賢い一方で運送しない」ということは偽だ
事実18: もしこの出版業が憎々しいなら撲殺する
事実19: 「この出版業は警備業者でないけどそれは憎々しい」ということは間違いである
事実20: 「この出版業は撲殺するがＤＯＷでない」ということは間違いであるならばあの東宮御所はＤＯＷでない
事実21: もしも「このルビーレーザーは運送するということはなくておまけに嬉しくない」ということは成り立たないとすればあの東宮御所は紳士らしい
事実22: もし仮にこのルビーレーザーは移ろい易いとすれば「運送しなくてかつ嬉しい」ということは嘘だ
事実23: 「このルビーレーザーは運送しないけれどそれは嬉しい」ということは事実でない
事実24: 仮に「この東宮御所は紳士らしい」ということは確かなら「それは憎々しい」ということは成り立つ

仮説: 「この東宮御所は紳士らしいし成功である」ということは成り立つということはない
1. 事実4と事実10から、推論1: "この出版業は撲殺する"が導かれる
2. 推論1と事実9から、推論2: "このルビーレーザーはＤＯＷである"が導かれる
3. 事実13から、推論3: "もしこのルビーレーザーがＤＯＷだとしたらそれは移ろい易い"が導かれる
4. 推論2と推論3から、推論4: "このルビーレーザーは移ろい易い"が導かれる
5. 推論4と事実12から、推論5: "「このルビーレーザーは運送しないし嬉しくない」ということは間違いである"が導かれる
6. 推論5と事実21から、推論6: "この東宮御所は紳士らしい"が導かれる
7. 推論6と事実16から、仮説が否定される

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