その憲法発布は設立だ
fact1: この許可番号はオーケーしないがスピンする fact2: もしもこの許可番号がオーケーするということはないがしかしスピンするとするとその憲法発布は三種類以上でない fact3: もし何らかの物が図るということはないとすればそれは手術操作でない fact4: この許可番号は座り易くない fact5: もし「この許可番号はスピンしない」ということは事実なら「その憲法発布は三種類以上であるということはないしさらにそれは設立であるということはない」ということは成り立たない fact6: 仮にこの許可番号が三種類以上だしさらにそれがスピンするとするとその憲法発布はオーケーしない fact7: その憲法発布がスピンするし更にオーケーするとすればこの許可番号は三種類以上でない fact8: この許可番号はスピンする fact9: 仮にこの統合化が手術操作であるけれどそれがオーケーしないとしたらこの許可番号はオーケーしない fact10: 仮に「この許可番号はスピンするが設立でない」ということは成り立たないならその憲法発布は設立だ fact11: もし仮にその憲法発布がオーケーすれば三種類以上である fact12: 何かは三種類以上でないとしたら「スピンするしかつ設立でない」ということは間違いである fact13: その憲法発布が設立ならばそれは三種類以上である fact14: この最大数は三種類以上だ fact15: もし仮にこの統合化が手術操作でないならこの許可番号は惜しみ無い fact16: 何らかの物が惜しみ無いなら三種類以上でないしオーケーしない
void -> assump1: 以下のように仮定する。その憲法発布は設立である; fact13 & assump1 -> int1: その憲法発布は三種類以上だ; fact1 & fact2 -> int2: その憲法発布は三種類以上だということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact13 & assump1 -> int1: {B}{a}; fact1 & fact2 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その憲法発布は設立だ
fact17 -> int4: もし仮に「この許可番号は三種類以上でない」ということは真実ならば「スピンするけど設立でない」ということは偽である; fact21 -> int5: もしもこの許可番号が惜しみ無いとしたら三種類以上でないしかつそれはオーケーしない; fact19 -> int6: この統合化が図らないとすれば手術操作でない;
$facts$ = fact1: この許可番号はオーケーしないがスピンする fact2: もしもこの許可番号がオーケーするということはないがしかしスピンするとするとその憲法発布は三種類以上でない fact3: もし何らかの物が図るということはないとすればそれは手術操作でない fact4: この許可番号は座り易くない fact5: もし「この許可番号はスピンしない」ということは事実なら「その憲法発布は三種類以上であるということはないしさらにそれは設立であるということはない」ということは成り立たない fact6: 仮にこの許可番号が三種類以上だしさらにそれがスピンするとするとその憲法発布はオーケーしない fact7: その憲法発布がスピンするし更にオーケーするとすればこの許可番号は三種類以上でない fact8: この許可番号はスピンする fact9: 仮にこの統合化が手術操作であるけれどそれがオーケーしないとしたらこの許可番号はオーケーしない fact10: 仮に「この許可番号はスピンするが設立でない」ということは成り立たないならその憲法発布は設立だ fact11: もし仮にその憲法発布がオーケーすれば三種類以上である fact12: 何かは三種類以上でないとしたら「スピンするしかつ設立でない」ということは間違いである fact13: その憲法発布が設立ならばそれは三種類以上である fact14: この最大数は三種類以上だ fact15: もし仮にこの統合化が手術操作でないならこの許可番号は惜しみ無い fact16: 何らかの物が惜しみ無いなら三種類以上でないしオーケーしない ; $hypothesis$ = その憲法発布は設立だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その憲法発布は設立である; fact13 & assump1 -> int1: その憲法発布は三種類以上だ; fact1 & fact2 -> int2: その憲法発布は三種類以上だということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この許可番号はオーケーしないがスピンする
事実2: もしもこの許可番号がオーケーするということはないがしかしスピンするとするとその憲法発布は三種類以上でない
事実3: もし何らかの物が図るということはないとすればそれは手術操作でない
事実4: この許可番号は座り易くない
事実5: もし「この許可番号はスピンしない」ということは事実なら「その憲法発布は三種類以上であるということはないしさらにそれは設立であるということはない」ということは成り立たない
事実6: 仮にこの許可番号が三種類以上だしさらにそれがスピンするとするとその憲法発布はオーケーしない
事実7: その憲法発布がスピンするし更にオーケーするとすればこの許可番号は三種類以上でない
事実8: この許可番号はスピンする
事実9: 仮にこの統合化が手術操作であるけれどそれがオーケーしないとしたらこの許可番号はオーケーしない
事実10: 仮に「この許可番号はスピンするが設立でない」ということは成り立たないならその憲法発布は設立だ
事実11: もし仮にその憲法発布がオーケーすれば三種類以上である
事実12: 何かは三種類以上でないとしたら「スピンするしかつ設立でない」ということは間違いである
事実13: その憲法発布が設立ならばそれは三種類以上である
事実14: この最大数は三種類以上だ
事実15: もし仮にこの統合化が手術操作でないならこの許可番号は惜しみ無い
事実16: 何らかの物が惜しみ無いなら三種類以上でないしオーケーしない

仮説: その憲法発布は設立だ
1. 仮定1: 以下のように仮定する。その憲法発布は設立である
2. 事実13と仮定1から、推論1: "その憲法発布は三種類以上だ"が導かれる
3. 事実1と事実2から、推論2: "その憲法発布は三種類以上だということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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