あの農村民は味気ない
fact1: もし「「継続し難いかまたは組み手でない」ということは成り立たない」物があるとすればあの培養中はエロい fact2: なにかは広い fact3: 何かはエロい fact4: 発揮し易い物がエロいなら継続し難くない fact5: 「この通変論は継続し難いかエロくないかもしくはどちらもである」ということは事実と異なる fact6: もしもアジア太平洋地域が継続し難いとすればあの通変論は組み手でない fact7: 継続し難いかあるいはエロくないものはある fact8: この主位的主張は発揮し易い fact9: もしもこの主位的主張は覆刻するとすると「あの培養中は広い」ということは本当である fact10: この通変論はアジア太平洋地域だ fact11: もし仮にとあるものが未練がましいということはないなら味気ないということはない fact12: この主位的主張は覆刻するしアジア太平洋地域である fact13: 広くないものは覆刻するがしかしアジア太平洋地域でない fact14: もし「「継続し難いかあるいはエロくないか両方ともだ」ということは成り立たない」物はあるとしたら「あの培養中は組み手だ」ということは事実だ fact15: もし「この主位的主張は継続し難くない」ということは真実であるとすると「あの農村民が組み手であるけど未練はましくらない」ということは嘘だ fact16: なにがしかの物はアジア太平洋地域だしまた味気ない fact17: 仮になんらかのものが未練がましくてかつエロいとしたらあの農村民はアジア太平洋地域でない fact18: この通変論は継続し難くない fact19: とあるものが覆刻する一方でそれはアジア太平洋地域でないとすると「味気ない」ということは本当だ fact20: 仮に何らかの物が広くてまた組み手であるとするとあの農村民は未練がましいということはない fact21: 「「「継続し難いかまたはエロいか両方だ」ということは確かである」ということは成り立つということはない」ものはある
fact12 -> int1: この主位的主張は覆刻する; int1 & fact9 -> int2: あの培養中は広い; fact5 -> int3: 「「継続し難いかまたはエロくないかまたは両方ともだ」ということは誤っている」物はある; int3 & fact14 -> int4: あの培養中は組み手である; int2 & int4 -> int5: あの培養中は広いものであり組み手だ; int5 -> int6: 「広くて加えて組み手である」物はある; int6 & fact20 -> int7: あの農村民は未練がましかない; fact11 -> int8: もしあの農村民が未練がましかないならばそれは味気なくない; int7 & int8 -> hypothesis;
あの農村民は味気ない
fact23 -> int9: もしあの農村民は覆刻するがしかしアジア太平洋地域でないなら味気ない; fact24 -> int10: もしあの農村民が広いということはないとすれば覆刻するしさらにアジア太平洋地域でない; fact26 -> int11: もしもこの主位的主張が発揮し易いしエロいとしたら継続し難くない;
$facts$ = fact1: もし「「継続し難いかまたは組み手でない」ということは成り立たない」物があるとすればあの培養中はエロい fact2: なにかは広い fact3: 何かはエロい fact4: 発揮し易い物がエロいなら継続し難くない fact5: 「この通変論は継続し難いかエロくないかもしくはどちらもである」ということは事実と異なる fact6: もしもアジア太平洋地域が継続し難いとすればあの通変論は組み手でない fact7: 継続し難いかあるいはエロくないものはある fact8: この主位的主張は発揮し易い fact9: もしもこの主位的主張は覆刻するとすると「あの培養中は広い」ということは本当である fact10: この通変論はアジア太平洋地域だ fact11: もし仮にとあるものが未練がましいということはないなら味気ないということはない fact12: この主位的主張は覆刻するしアジア太平洋地域である fact13: 広くないものは覆刻するがしかしアジア太平洋地域でない fact14: もし「「継続し難いかあるいはエロくないか両方ともだ」ということは成り立たない」物はあるとしたら「あの培養中は組み手だ」ということは事実だ fact15: もし「この主位的主張は継続し難くない」ということは真実であるとすると「あの農村民が組み手であるけど未練はましくらない」ということは嘘だ fact16: なにがしかの物はアジア太平洋地域だしまた味気ない fact17: 仮になんらかのものが未練がましくてかつエロいとしたらあの農村民はアジア太平洋地域でない fact18: この通変論は継続し難くない fact19: とあるものが覆刻する一方でそれはアジア太平洋地域でないとすると「味気ない」ということは本当だ fact20: 仮に何らかの物が広くてまた組み手であるとするとあの農村民は未練がましいということはない fact21: 「「「継続し難いかまたはエロいか両方だ」ということは確かである」ということは成り立つということはない」ものはある ; $hypothesis$ = あの農村民は味気ない ; $proof$ = 
fact12 -> int1: この主位的主張は覆刻する; int1 & fact9 -> int2: あの培養中は広い; fact5 -> int3: 「「継続し難いかまたはエロくないかまたは両方ともだ」ということは誤っている」物はある; int3 & fact14 -> int4: あの培養中は組み手である; int2 & int4 -> int5: あの培養中は広いものであり組み手だ; int5 -> int6: 「広くて加えて組み手である」物はある; int6 & fact20 -> int7: あの農村民は未練がましかない; fact11 -> int8: もしあの農村民が未練がましかないならばそれは味気なくない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もし「「継続し難いかまたは組み手でない」ということは成り立たない」物があるとすればあの培養中はエロい
事実2: なにかは広い
事実3: 何かはエロい
事実4: 発揮し易い物がエロいなら継続し難くない
事実5: 「この通変論は継続し難いかエロくないかもしくはどちらもである」ということは事実と異なる
事実6: もしもアジア太平洋地域が継続し難いとすればあの通変論は組み手でない
事実7: 継続し難いかあるいはエロくないものはある
事実8: この主位的主張は発揮し易い
事実9: もしもこの主位的主張は覆刻するとすると「あの培養中は広い」ということは本当である
事実10: この通変論はアジア太平洋地域だ
事実11: もし仮にとあるものが未練がましいということはないなら味気ないということはない
事実12: この主位的主張は覆刻するしアジア太平洋地域である
事実13: 広くないものは覆刻するがしかしアジア太平洋地域でない
事実14: もし「「継続し難いかあるいはエロくないか両方ともだ」ということは成り立たない」物はあるとしたら「あの培養中は組み手だ」ということは事実だ
事実15: もし「この主位的主張は継続し難くない」ということは真実であるとすると「あの農村民が組み手であるけど未練はましくらない」ということは嘘だ
事実16: なにがしかの物はアジア太平洋地域だしまた味気ない
事実17: 仮になんらかのものが未練がましくてかつエロいとしたらあの農村民はアジア太平洋地域でない
事実18: この通変論は継続し難くない
事実19: とあるものが覆刻する一方でそれはアジア太平洋地域でないとすると「味気ない」ということは本当だ
事実20: 仮に何らかの物が広くてまた組み手であるとするとあの農村民は未練がましいということはない
事実21: 「「「継続し難いかまたはエロいか両方だ」ということは確かである」ということは成り立つということはない」ものはある

仮説: あの農村民は味気ない
1. 事実12から、推論1: "この主位的主張は覆刻する"が導かれる
2. 推論1と事実9から、推論2: "あの培養中は広い"が導かれる
3. 事実5から、推論3: "「「継続し難いかまたはエロくないかまたは両方ともだ」ということは誤っている」物はある"が導かれる
4. 推論3と事実14から、推論4: "あの培養中は組み手である"が導かれる
5. 推論2と推論4から、推論5: "あの培養中は広いものであり組み手だ"が導かれる
6. 推論5から、推論6: "「広くて加えて組み手である」物はある"が導かれる
7. 推論6と事実20から、推論7: "あの農村民は未練がましかない"が導かれる
8. 事実11から、推論8: "もしあの農村民が未練がましかないならばそれは味気なくない"が導かれる
9. 推論7と推論8から、仮説が否定される

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