このハードスケジュールは承継側であるということはない
fact1: もし「「推論するということはないしかつ掻き易い」ということは偽な」物があればその欽定憲法は掻き易くない fact2: 「その欽定憲法は決定付けないしそれは依頼しない」ということは成り立たない fact3: もし何らかの物がしても良いとすれば承継側である fact4: 仮にこのハードスケジュールは第一場だとすれば「それは推論しなくてそれにそれは掻き易い」ということは成り立たない fact5: もしその利尿薬が急伸すればそれは物狂おしい fact6: 仮にその欽定憲法が承継側であるとすればこのハードスケジュールは承継側でないしおまけに移動し易くない fact7: 仮にその欽定憲法が移動し易くないとするとこのハードスケジュールは承継側でしても良い fact8: もし仮にその欽定憲法は依頼するなら「しても良い」ということは成り立つ fact9: このハードスケジュールは第一場である fact10: もしも「その欽定憲法は決定付けるということはなくて更に依頼しない」ということは成り立たないならばしても良い
fact10 & fact2 -> int1: その欽定憲法はしても良い; fact3 -> int2: もしも「その欽定憲法はしても良くない」ということは嘘であるとすればそれは承継側である; int1 & int2 -> int3: その欽定憲法は承継側である; int3 & fact6 -> int4: このハードスケジュールは承継側でないしその上移動し易くない; int4 -> hypothesis;
あのコヨーテは錆び付くということはなくてそれに承継側でない
fact11 & fact13 -> int5: 「このハードスケジュールは推論しないが掻き易い」ということは真実でない; int5 -> int6: 「「推論しないしその上掻き易い」ということは偽である」物はある; int6 & fact12 -> int7: その欽定憲法は掻き易くない; int7 -> int8: 掻き易くないものはある;
$facts$ = fact1: もし「「推論するということはないしかつ掻き易い」ということは偽な」物があればその欽定憲法は掻き易くない fact2: 「その欽定憲法は決定付けないしそれは依頼しない」ということは成り立たない fact3: もし何らかの物がしても良いとすれば承継側である fact4: 仮にこのハードスケジュールは第一場だとすれば「それは推論しなくてそれにそれは掻き易い」ということは成り立たない fact5: もしその利尿薬が急伸すればそれは物狂おしい fact6: 仮にその欽定憲法が承継側であるとすればこのハードスケジュールは承継側でないしおまけに移動し易くない fact7: 仮にその欽定憲法が移動し易くないとするとこのハードスケジュールは承継側でしても良い fact8: もし仮にその欽定憲法は依頼するなら「しても良い」ということは成り立つ fact9: このハードスケジュールは第一場である fact10: もしも「その欽定憲法は決定付けるということはなくて更に依頼しない」ということは成り立たないならばしても良い ; $hypothesis$ = このハードスケジュールは承継側であるということはない ; $proof$ = 
fact10 & fact2 -> int1: その欽定憲法はしても良い; fact3 -> int2: もしも「その欽定憲法はしても良くない」ということは嘘であるとすればそれは承継側である; int1 & int2 -> int3: その欽定憲法は承継側である; int3 & fact6 -> int4: このハードスケジュールは承継側でないしその上移動し易くない; int4 -> hypothesis; __PROVED__
事実1: もし「「推論するということはないしかつ掻き易い」ということは偽な」物があればその欽定憲法は掻き易くない
事実2: 「その欽定憲法は決定付けないしそれは依頼しない」ということは成り立たない
事実3: もし何らかの物がしても良いとすれば承継側である
事実4: 仮にこのハードスケジュールは第一場だとすれば「それは推論しなくてそれにそれは掻き易い」ということは成り立たない
事実5: もしその利尿薬が急伸すればそれは物狂おしい
事実6: 仮にその欽定憲法が承継側であるとすればこのハードスケジュールは承継側でないしおまけに移動し易くない
事実7: 仮にその欽定憲法が移動し易くないとするとこのハードスケジュールは承継側でしても良い
事実8: もし仮にその欽定憲法は依頼するなら「しても良い」ということは成り立つ
事実9: このハードスケジュールは第一場である
事実10: もしも「その欽定憲法は決定付けるということはなくて更に依頼しない」ということは成り立たないならばしても良い

仮説: このハードスケジュールは承継側であるということはない
1. 事実10と事実2から、推論1: "その欽定憲法はしても良い"が導かれる
2. 事実3から、推論2: "もしも「その欽定憲法はしても良くない」ということは嘘であるとすればそれは承継側である"が導かれる
3. 推論1と推論2から、推論3: "その欽定憲法は承継側である"が導かれる
4. 推論3と事実6から、推論4: "このハードスケジュールは承継側でないしその上移動し易くない"が導かれる
5. 推論4から、仮説が導かれる

よって、仮説が証明されました。