この執行権限はだだっ広い
fact1: 「この執行権限は対日であるということはないしさらにそれは桜花でない」ということは成り立たないとするとあの正解率はだだっ広くない fact2: 「「あの正解率は住み着かないが対日である」ということは成り立つ」ということは嘘である fact3: 「あの正解率は相乗りする一方で桜花でない」ということは正しいということはない fact4: もしもなにがしかのものは相乗りしないならば「住み着かないしかつそれは対日だ」ということは嘘だ fact5: 「もし仮にあの正解率はだだっ広くないとすると「あの正解率は相乗りするということはなくてまた桜花でない」ということは成り立つということはない」ということは成り立つ fact6: 何らかのものは御正月気分でないけれどかったるいならば桜花であるということはない fact7: もし仮に「何かは相乗りするということはない」ということは事実であるとすると「住み着くけど対日でない」ということは誤っている fact8: もし「あの正解率は相乗りするけれど桜花でない」ということは成り立つということはないならばそれは相乗りしない fact9: 「もしあの遠回りがだだっ広いとすればこの執行権限はだだっ広い」ということは成り立つ fact10: もしもあの正解率は相乗りしないならば「それは住み着く一方で対日でない」ということは偽だ fact11: もしあるものは相乗りしないとすれば「それが住み着かないししかも対日でない」ということは事実と異なる fact12: もしも「あの正解率は住み着かないし更に対日でない」ということは嘘であるとすればあの執行権限はだだっ広くない fact13: なんらかのものは桜花でないなら「だだっ広いがしかし相乗りしない」ということは偽である fact14: 「あの正解率は住み着くがしかし対日でない」ということは嘘だ fact15: もしあの正解率は相乗りしないとすると「住み着かないがしかしだだっ広い」ということは誤っている
fact11 -> int1: もしもあの正解率は相乗りしないとすれば「住み着かないしそれは対日でない」ということは偽である; fact8 & fact3 -> int2: あの正解率は相乗りしない; int1 & int2 -> int3: 「あの正解率は住み着かないし対日でない」ということは間違っている; int3 & fact12 -> hypothesis;
この執行権限はだだっ広い
fact16 -> int4: もしあの遠回りは御正月気分でないけどかったるいなら桜花だということはない;
$facts$ = fact1: 「この執行権限は対日であるということはないしさらにそれは桜花でない」ということは成り立たないとするとあの正解率はだだっ広くない fact2: 「「あの正解率は住み着かないが対日である」ということは成り立つ」ということは嘘である fact3: 「あの正解率は相乗りする一方で桜花でない」ということは正しいということはない fact4: もしもなにがしかのものは相乗りしないならば「住み着かないしかつそれは対日だ」ということは嘘だ fact5: 「もし仮にあの正解率はだだっ広くないとすると「あの正解率は相乗りするということはなくてまた桜花でない」ということは成り立つということはない」ということは成り立つ fact6: 何らかのものは御正月気分でないけれどかったるいならば桜花であるということはない fact7: もし仮に「何かは相乗りするということはない」ということは事実であるとすると「住み着くけど対日でない」ということは誤っている fact8: もし「あの正解率は相乗りするけれど桜花でない」ということは成り立つということはないならばそれは相乗りしない fact9: 「もしあの遠回りがだだっ広いとすればこの執行権限はだだっ広い」ということは成り立つ fact10: もしもあの正解率は相乗りしないならば「それは住み着く一方で対日でない」ということは偽だ fact11: もしあるものは相乗りしないとすれば「それが住み着かないししかも対日でない」ということは事実と異なる fact12: もしも「あの正解率は住み着かないし更に対日でない」ということは嘘であるとすればあの執行権限はだだっ広くない fact13: なんらかのものは桜花でないなら「だだっ広いがしかし相乗りしない」ということは偽である fact14: 「あの正解率は住み着くがしかし対日でない」ということは嘘だ fact15: もしあの正解率は相乗りしないとすると「住み着かないがしかしだだっ広い」ということは誤っている ; $hypothesis$ = この執行権限はだだっ広い ; $proof$ = 
fact11 -> int1: もしもあの正解率は相乗りしないとすれば「住み着かないしそれは対日でない」ということは偽である; fact8 & fact3 -> int2: あの正解率は相乗りしない; int1 & int2 -> int3: 「あの正解率は住み着かないし対日でない」ということは間違っている; int3 & fact12 -> hypothesis; __DISPROVED__
事実1: 「この執行権限は対日であるということはないしさらにそれは桜花でない」ということは成り立たないとするとあの正解率はだだっ広くない
事実2: 「「あの正解率は住み着かないが対日である」ということは成り立つ」ということは嘘である
事実3: 「あの正解率は相乗りする一方で桜花でない」ということは正しいということはない
事実4: もしもなにがしかのものは相乗りしないならば「住み着かないしかつそれは対日だ」ということは嘘だ
事実5: 「もし仮にあの正解率はだだっ広くないとすると「あの正解率は相乗りするということはなくてまた桜花でない」ということは成り立つということはない」ということは成り立つ
事実6: 何らかのものは御正月気分でないけれどかったるいならば桜花であるということはない
事実7: もし仮に「何かは相乗りするということはない」ということは事実であるとすると「住み着くけど対日でない」ということは誤っている
事実8: もし「あの正解率は相乗りするけれど桜花でない」ということは成り立つということはないならばそれは相乗りしない
事実9: 「もしあの遠回りがだだっ広いとすればこの執行権限はだだっ広い」ということは成り立つ
事実10: もしもあの正解率は相乗りしないならば「それは住み着く一方で対日でない」ということは偽だ
事実11: もしあるものは相乗りしないとすれば「それが住み着かないししかも対日でない」ということは事実と異なる
事実12: もしも「あの正解率は住み着かないし更に対日でない」ということは嘘であるとすればあの執行権限はだだっ広くない
事実13: なんらかのものは桜花でないなら「だだっ広いがしかし相乗りしない」ということは偽である
事実14: 「あの正解率は住み着くがしかし対日でない」ということは嘘だ
事実15: もしあの正解率は相乗りしないとすると「住み着かないがしかしだだっ広い」ということは誤っている

仮説: この執行権限はだだっ広い
1. 事実11から、推論1: "もしもあの正解率は相乗りしないとすれば「住み着かないしそれは対日でない」ということは偽である"が導かれる
2. 事実8と事実3から、推論2: "あの正解率は相乗りしない"が導かれる
3. 推論1と推論2から、推論3: "「あの正解率は住み着かないし対日でない」ということは間違っている"が導かれる
4. 推論3と事実12から、仮説が否定される

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