「その経理的基礎は広がり難い一方で発揮出来ない」ということは成り立つということはない
fact1: その経理的基礎は発揮出来るなら「それは後小松上皇だ」ということは確かだ fact2: その経理的基礎は録画する fact3: もし仮に「その経理的基礎は広がり難いけど発揮出来ない」ということは間違っているとすると潔い fact4: 仮にその受け方が後小松上皇でそれに録画するならその経理的基礎は潔くない fact5: もしも無くないものが録画するとしたら潔くない fact6: その経理的基礎は発揮出来ない fact7: 「その経理的基礎は軍人らしいしまた解析出来る」ということは誤っている fact8: その受け方は後小松上皇であるし録画する fact9: 仮にこの色票が慕わしくないとするとあの市美観は録画するし加えて無い fact10: もしもあの市美観が録画するとすればその受け方は潔い fact11: もし仮になにかは潔くないとするとそれは後小松上皇であるしおまけに発揮出来ない fact12: 潔いものは後小松上皇でない
void -> assump1: 以下のように仮定する。「その経理的基礎は広がり難いが発揮出来ない」ということは誤りだ; fact3 & assump1 -> int1: その経理的基礎は潔い; fact8 & fact4 -> int2: その経理的基礎は潔くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「その経理的基礎は広がり難い一方で発揮出来ない」ということは誤っている
fact13 -> int4: もし仮にその受け方が潔いとすればそれは後小松上皇でない;
$facts$ = fact1: その経理的基礎は発揮出来るなら「それは後小松上皇だ」ということは確かだ fact2: その経理的基礎は録画する fact3: もし仮に「その経理的基礎は広がり難いけど発揮出来ない」ということは間違っているとすると潔い fact4: 仮にその受け方が後小松上皇でそれに録画するならその経理的基礎は潔くない fact5: もしも無くないものが録画するとしたら潔くない fact6: その経理的基礎は発揮出来ない fact7: 「その経理的基礎は軍人らしいしまた解析出来る」ということは誤っている fact8: その受け方は後小松上皇であるし録画する fact9: 仮にこの色票が慕わしくないとするとあの市美観は録画するし加えて無い fact10: もしもあの市美観が録画するとすればその受け方は潔い fact11: もし仮になにかは潔くないとするとそれは後小松上皇であるしおまけに発揮出来ない fact12: 潔いものは後小松上皇でない ; $hypothesis$ = 「その経理的基礎は広がり難い一方で発揮出来ない」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その経理的基礎は広がり難いが発揮出来ない」ということは誤りだ; fact3 & assump1 -> int1: その経理的基礎は潔い; fact8 & fact4 -> int2: その経理的基礎は潔くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: その経理的基礎は発揮出来るなら「それは後小松上皇だ」ということは確かだ
事実2: その経理的基礎は録画する
事実3: もし仮に「その経理的基礎は広がり難いけど発揮出来ない」ということは間違っているとすると潔い
事実4: 仮にその受け方が後小松上皇でそれに録画するならその経理的基礎は潔くない
事実5: もしも無くないものが録画するとしたら潔くない
事実6: その経理的基礎は発揮出来ない
事実7: 「その経理的基礎は軍人らしいしまた解析出来る」ということは誤っている
事実8: その受け方は後小松上皇であるし録画する
事実9: 仮にこの色票が慕わしくないとするとあの市美観は録画するし加えて無い
事実10: もしもあの市美観が録画するとすればその受け方は潔い
事実11: もし仮になにかは潔くないとするとそれは後小松上皇であるしおまけに発揮出来ない
事実12: 潔いものは後小松上皇でない

仮説: 「その経理的基礎は広がり難い一方で発揮出来ない」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。「その経理的基礎は広がり難いが発揮出来ない」ということは誤りだ
2. 事実3と仮定1から、推論1: "その経理的基礎は潔い"が導かれる
3. 事実8と事実4から、推論2: "その経理的基礎は潔くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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