その文明国は建設出来るけど和まない
fact1: このポインセチアはあやかれない fact2: 仮に「なにがしかのものはあやかれるがしかし大差無くない」ということは誤っているとするとあやかれない fact3: 「その七箇月後は命中だ」ということは成り立つ fact4: 仮に何かは暗くないならば「それはあやかれるけれど大差無くない」ということは成り立たない fact5: なんらかの物は真社会性で更に命中であるならそれは暗くない fact6: その文明国はあやかれない fact7: なにかは毬でないとすると「建設出来るしかつ和むということはない」ということは成り立つ fact8: 「その七箇月後は真社会性である」ということは確かだ fact9: 「もしも「「その会計処理基準は広がり易いかもしくは毬でないかまたは両方である」ということは成り立つ」ということは成り立たないとするとその文明国は毬でない」ということは正しい fact10: もしもなにがしかの物は建設出来るが和まないとしたら「あやかれる」ということは確かである
fact10 -> int1: もしもその文明国は建設出来るけど和まないとするとそれはあやかれる; void -> assump1: 以下のように仮定する。その文明国は建設出来るけれど和まない; int1 & assump1 -> int2: その文明国はあやかれる; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その文明国は建設出来るけれど和まない
fact13 -> int4: その文明国は毬でないならばそれは建設出来る一方で和まない; fact16 -> int5: もし仮に「その七箇月後はあやかれるけど大差無くない」ということは成り立つということはないならばあやかれない; fact15 -> int6: もしその七箇月後は暗くないとすれば「あやかれるしそれは大差無くない」ということは成り立たない; fact11 -> int7: もしもその七箇月後が真社会性であるししかもそれは命中であるとするとそれは暗くない; fact14 & fact17 -> int8: その七箇月後は真社会性であるしそれに命中である; int7 & int8 -> int9: その七箇月後は暗いということはない; int6 & int9 -> int10: 「その七箇月後はあやかれる一方で大差無くない」ということは事実と異なる; int5 & int10 -> int11: その七箇月後はあやかれない; int11 -> int12: 「あやかれない」ものはある;
$facts$ = fact1: このポインセチアはあやかれない fact2: 仮に「なにがしかのものはあやかれるがしかし大差無くない」ということは誤っているとするとあやかれない fact3: 「その七箇月後は命中だ」ということは成り立つ fact4: 仮に何かは暗くないならば「それはあやかれるけれど大差無くない」ということは成り立たない fact5: なんらかの物は真社会性で更に命中であるならそれは暗くない fact6: その文明国はあやかれない fact7: なにかは毬でないとすると「建設出来るしかつ和むということはない」ということは成り立つ fact8: 「その七箇月後は真社会性である」ということは確かだ fact9: 「もしも「「その会計処理基準は広がり易いかもしくは毬でないかまたは両方である」ということは成り立つ」ということは成り立たないとするとその文明国は毬でない」ということは正しい fact10: もしもなにがしかの物は建設出来るが和まないとしたら「あやかれる」ということは確かである ; $hypothesis$ = その文明国は建設出来るけど和まない ; $proof$ = 
fact10 -> int1: もしもその文明国は建設出来るけど和まないとするとそれはあやかれる; void -> assump1: 以下のように仮定する。その文明国は建設出来るけれど和まない; int1 & assump1 -> int2: その文明国はあやかれる; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: このポインセチアはあやかれない
事実2: 仮に「なにがしかのものはあやかれるがしかし大差無くない」ということは誤っているとするとあやかれない
事実3: 「その七箇月後は命中だ」ということは成り立つ
事実4: 仮に何かは暗くないならば「それはあやかれるけれど大差無くない」ということは成り立たない
事実5: なんらかの物は真社会性で更に命中であるならそれは暗くない
事実6: その文明国はあやかれない
事実7: なにかは毬でないとすると「建設出来るしかつ和むということはない」ということは成り立つ
事実8: 「その七箇月後は真社会性である」ということは確かだ
事実9: 「もしも「「その会計処理基準は広がり易いかもしくは毬でないかまたは両方である」ということは成り立つ」ということは成り立たないとするとその文明国は毬でない」ということは正しい
事実10: もしもなにがしかの物は建設出来るが和まないとしたら「あやかれる」ということは確かである

仮説: その文明国は建設出来るけど和まない
1. 事実10から、推論1: "もしもその文明国は建設出来るけど和まないとするとそれはあやかれる"が導かれる
2. 仮定1: 以下のように仮定する。その文明国は建設出来るけれど和まない
3. 推論1と仮定1から、推論2: "その文明国はあやかれる"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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