その統治権は度し難い
fact1: その統治権は通り難くない fact2: 「その統治権は灯し難くないしその上設定すらない」ということは誤っている fact3: 仮になにがしかのものが設定すとしたらそれは御忙しい fact4: その統治権は攻め掛かるしおまけに役座である fact5: 「あの各支店が及第するがしかしそれが通り難くないならばあの統治権は得難し」ということは事実である fact6: 「あの各支店は四足動物である」ということは本当だ fact7: 「この地勢は攻め掛からない」ということは成り立つ fact8: あの各支店は設定すらない fact9: その統治権は御忙しくて得難しとするとそれは度し難くない fact10: あの各支店は及第するがしかしそれは通り難くない fact11: もし仮にその統治権が攻め掛かるしまたそれは役座であるとすると灯し難くない
fact11 & fact4 -> int1: その統治権は灯し難くない; void -> assump1: 以下のように仮定する。その統治権は設定すらない; int1 & assump1 -> int2: その統治権は灯し難いということはなくてしかも設定すらない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その統治権は設定す; fact3 -> int5: もしもその統治権は設定すとすると「それは御忙しくない」ということは偽だ; int4 & int5 -> int6: その統治権は御忙しい; fact5 & fact10 -> int7: その統治権は得難し; int6 & int7 -> int8: その統治権は御忙しいしまたそれは得難し; int8 & fact9 -> hypothesis;
$facts$ = fact1: その統治権は通り難くない fact2: 「その統治権は灯し難くないしその上設定すらない」ということは誤っている fact3: 仮になにがしかのものが設定すとしたらそれは御忙しい fact4: その統治権は攻め掛かるしおまけに役座である fact5: 「あの各支店が及第するがしかしそれが通り難くないならばあの統治権は得難し」ということは事実である fact6: 「あの各支店は四足動物である」ということは本当だ fact7: 「この地勢は攻め掛からない」ということは成り立つ fact8: あの各支店は設定すらない fact9: その統治権は御忙しくて得難しとするとそれは度し難くない fact10: あの各支店は及第するがしかしそれは通り難くない fact11: もし仮にその統治権が攻め掛かるしまたそれは役座であるとすると灯し難くない ; $hypothesis$ = その統治権は度し難い ; $proof$ = 
fact11 & fact4 -> int1: その統治権は灯し難くない; void -> assump1: 以下のように仮定する。その統治権は設定すらない; int1 & assump1 -> int2: その統治権は灯し難いということはなくてしかも設定すらない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その統治権は設定す; fact3 -> int5: もしもその統治権は設定すとすると「それは御忙しくない」ということは偽だ; int4 & int5 -> int6: その統治権は御忙しい; fact5 & fact10 -> int7: その統治権は得難し; int6 & int7 -> int8: その統治権は御忙しいしまたそれは得難し; int8 & fact9 -> hypothesis; __DISPROVED__
事実1: その統治権は通り難くない
事実2: 「その統治権は灯し難くないしその上設定すらない」ということは誤っている
事実3: 仮になにがしかのものが設定すとしたらそれは御忙しい
事実4: その統治権は攻め掛かるしおまけに役座である
事実5: 「あの各支店が及第するがしかしそれが通り難くないならばあの統治権は得難し」ということは事実である
事実6: 「あの各支店は四足動物である」ということは本当だ
事実7: 「この地勢は攻め掛からない」ということは成り立つ
事実8: あの各支店は設定すらない
事実9: その統治権は御忙しくて得難しとするとそれは度し難くない
事実10: あの各支店は及第するがしかしそれは通り難くない
事実11: もし仮にその統治権が攻め掛かるしまたそれは役座であるとすると灯し難くない

仮説: その統治権は度し難い
1. 事実11と事実4から、推論1: "その統治権は灯し難くない"が導かれる
2. 仮定1: 以下のように仮定する。その統治権は設定すらない
3. 推論1と仮定1から、推論2: "その統治権は灯し難いということはなくてしかも設定すらない"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その統治権は設定す"が導かれる
6. 事実3から、推論5: "もしもその統治権は設定すとすると「それは御忙しくない」ということは偽だ"が導かれる
7. 推論4と推論5から、推論6: "その統治権は御忙しい"が導かれる
8. 事実5と事実10から、推論7: "その統治権は得難し"が導かれる
9. 推論6と推論7から、推論8: "その統治権は御忙しいしまたそれは得難し"が導かれる
10. 推論8と事実9から、仮説が否定される

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