この発根は甚だしくない
fact1: もしも「その収縮速度は名高い」ということは本当だとすると「「その対円は名高いが陣中でない」ということは成り立つ」ということは誤りである fact2: もしその対円が崇拝するならこの事例集は原作コミックである fact3: もし仮に「何かは名高いけどそれは陣中だということはない」ということは嘘であるとすると崇拝する fact4: もし仮にその収縮速度が秘すればそれは名高い fact5: 仮に「その収縮速度はか弱いけど秘しない」ということは事実と異なれば甚だしい fact6: なんらかの物が名高いとするとそれは甚だしい fact7: この事例集は原作コミックでない fact8: 「この発根は秘する」ということは事実だ fact9: 仮に何らかのものが陣中でないならばそれは秘するしかつ名高い fact10: 「その収縮速度はか弱くないしそれに辰巳御殿でない」ということは成り立たないとするとそれは秘する fact11: 仮にその収縮速度はか弱くないしまた辰巳御殿でないならばこの発根は甚だしくない
void -> assump1: 以下のように仮定する。「その収縮速度はか弱くないし更にそれは辰巳御殿でない」ということは誤りである; fact10 & assump1 -> int1: その収縮速度は秘する; int1 & fact4 -> int2: その収縮速度は名高い; int2 & fact1 -> int3: 「その対円は名高いが陣中でない」ということは誤っている; fact3 -> int4: もし「その対円は名高いがしかし陣中でない」ということは嘘であるなら「それは崇拝する」ということは間違っていない; int3 & int4 -> int5: その対円は崇拝する; int5 & fact2 -> int6: この事例集は原作コミックである; int6 & fact7 -> int7: これは矛盾である; [assump1] & int7 -> int8: その収縮速度はか弱くないしその上辰巳御殿でない; int8 & fact11 -> hypothesis;
この発根は甚だしい
fact13 -> int9: この発根が名高いとすると甚だしい; fact12 -> int10: 仮にこの発根は陣中でないならば秘するししかも名高い;
$facts$ = fact1: もしも「その収縮速度は名高い」ということは本当だとすると「「その対円は名高いが陣中でない」ということは成り立つ」ということは誤りである fact2: もしその対円が崇拝するならこの事例集は原作コミックである fact3: もし仮に「何かは名高いけどそれは陣中だということはない」ということは嘘であるとすると崇拝する fact4: もし仮にその収縮速度が秘すればそれは名高い fact5: 仮に「その収縮速度はか弱いけど秘しない」ということは事実と異なれば甚だしい fact6: なんらかの物が名高いとするとそれは甚だしい fact7: この事例集は原作コミックでない fact8: 「この発根は秘する」ということは事実だ fact9: 仮に何らかのものが陣中でないならばそれは秘するしかつ名高い fact10: 「その収縮速度はか弱くないしそれに辰巳御殿でない」ということは成り立たないとするとそれは秘する fact11: 仮にその収縮速度はか弱くないしまた辰巳御殿でないならばこの発根は甚だしくない ; $hypothesis$ = この発根は甚だしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その収縮速度はか弱くないし更にそれは辰巳御殿でない」ということは誤りである; fact10 & assump1 -> int1: その収縮速度は秘する; int1 & fact4 -> int2: その収縮速度は名高い; int2 & fact1 -> int3: 「その対円は名高いが陣中でない」ということは誤っている; fact3 -> int4: もし「その対円は名高いがしかし陣中でない」ということは嘘であるなら「それは崇拝する」ということは間違っていない; int3 & int4 -> int5: その対円は崇拝する; int5 & fact2 -> int6: この事例集は原作コミックである; int6 & fact7 -> int7: これは矛盾である; [assump1] & int7 -> int8: その収縮速度はか弱くないしその上辰巳御殿でない; int8 & fact11 -> hypothesis; __PROVED__
事実1: もしも「その収縮速度は名高い」ということは本当だとすると「「その対円は名高いが陣中でない」ということは成り立つ」ということは誤りである
事実2: もしその対円が崇拝するならこの事例集は原作コミックである
事実3: もし仮に「何かは名高いけどそれは陣中だということはない」ということは嘘であるとすると崇拝する
事実4: もし仮にその収縮速度が秘すればそれは名高い
事実5: 仮に「その収縮速度はか弱いけど秘しない」ということは事実と異なれば甚だしい
事実6: なんらかの物が名高いとするとそれは甚だしい
事実7: この事例集は原作コミックでない
事実8: 「この発根は秘する」ということは事実だ
事実9: 仮に何らかのものが陣中でないならばそれは秘するしかつ名高い
事実10: 「その収縮速度はか弱くないしそれに辰巳御殿でない」ということは成り立たないとするとそれは秘する
事実11: 仮にその収縮速度はか弱くないしまた辰巳御殿でないならばこの発根は甚だしくない

仮説: この発根は甚だしくない
1. 仮定1: 以下のように仮定する。「その収縮速度はか弱くないし更にそれは辰巳御殿でない」ということは誤りである
2. 事実10と仮定1から、推論1: "その収縮速度は秘する"が導かれる
3. 推論1と事実4から、推論2: "その収縮速度は名高い"が導かれる
4. 推論2と事実1から、推論3: "「その対円は名高いが陣中でない」ということは誤っている"が導かれる
5. 事実3から、推論4: "もし「その対円は名高いがしかし陣中でない」ということは嘘であるなら「それは崇拝する」ということは間違っていない"が導かれる
6. 推論3と推論4から、推論5: "その対円は崇拝する"が導かれる
7. 推論5と事実2から、推論6: "この事例集は原作コミックである"が導かれる
8. 推論6と事実7から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その収縮速度はか弱くないしその上辰巳御殿でない"が導かれる
10. 推論8と事実11から、仮説が導かれる

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