あのア済みは覚え易い
fact1: 仮に「その平和共存路線は選択され易くない」ということは成り立つとすれば生まれ付かない fact2: もしその平和共存路線は地区懇談会であるならそれは生まれ付く fact3: その平和共存路線は空しい fact4: あのア済みは発行予定額であるかそれは反スターリン主義運動であるかまたは両方だ fact5: 仮にその平和共存路線は比較対照するとすると「覚え易い」ということは事実だ fact6: もし仮にその平和共存路線は地区懇談会であるとすると「めぼしい」ということは確かである fact7: もしその平和共存路線が比較対照するとしたらあのア済みは覚え易くない fact8: あのア済みは地区懇談会である fact9: その平和共存路線は理屈っぽくない fact10: なにがしかの物が地区懇談会でないか生まれ付かないかまたは両方であるならば生まれ付かない fact11: もし仮にある物が覚え易いならば地区懇談会でないかあるいはそれは生まれ付かないかどちらもである fact12: その平和共存路線は覚え易くない fact13: 「この交換性は生まれ付く」ということは成り立つ fact14: その平和共存路線は地区懇談会だ fact15: もしもあのア済みは比較対照しないとすると「生まれ付くけれど地区懇談会でない」ということは成り立たない fact16: あのア済みは選択され易いかまたはそれは出版するかもしくは両方である fact17: 「あのア済みは褒賞しない」ということは真実である fact18: もしその平和共存路線が選択され易いかまたはそれが比較対照するか両方ともであるならばあのア済みは覚え易くない fact19: あのア済みは比較対照しない fact20: もし仮にあのア済みが選択され易いかもしくは覚え易いかもしくは両方ともであるとすればその平和共存路線は比較対照しない fact21: もし「「あのア済みは生まれ付くがしかし地区懇談会でない」ということは成り立たない」ということは間違っていないとすると生まれ付かない fact22: あのア済みは選択され易くない
void -> assump1: 以下のように仮定する。その平和共存路線は選択され易いということはない; fact1 & assump1 -> int1: 「その平和共存路線は生まれ付かない」ということは成り立つ; fact14 & fact2 -> int2: その平和共存路線は生まれ付く; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その平和共存路線は選択され易い; int4 -> int5: その平和共存路線は選択され易いかもしくは比較対照するかあるいは両方ともである; int5 & fact18 -> hypothesis;
「あのア済みは覚え易い」ということは成り立つ
$facts$ = fact1: 仮に「その平和共存路線は選択され易くない」ということは成り立つとすれば生まれ付かない fact2: もしその平和共存路線は地区懇談会であるならそれは生まれ付く fact3: その平和共存路線は空しい fact4: あのア済みは発行予定額であるかそれは反スターリン主義運動であるかまたは両方だ fact5: 仮にその平和共存路線は比較対照するとすると「覚え易い」ということは事実だ fact6: もし仮にその平和共存路線は地区懇談会であるとすると「めぼしい」ということは確かである fact7: もしその平和共存路線が比較対照するとしたらあのア済みは覚え易くない fact8: あのア済みは地区懇談会である fact9: その平和共存路線は理屈っぽくない fact10: なにがしかの物が地区懇談会でないか生まれ付かないかまたは両方であるならば生まれ付かない fact11: もし仮にある物が覚え易いならば地区懇談会でないかあるいはそれは生まれ付かないかどちらもである fact12: その平和共存路線は覚え易くない fact13: 「この交換性は生まれ付く」ということは成り立つ fact14: その平和共存路線は地区懇談会だ fact15: もしもあのア済みは比較対照しないとすると「生まれ付くけれど地区懇談会でない」ということは成り立たない fact16: あのア済みは選択され易いかまたはそれは出版するかもしくは両方である fact17: 「あのア済みは褒賞しない」ということは真実である fact18: もしその平和共存路線が選択され易いかまたはそれが比較対照するか両方ともであるならばあのア済みは覚え易くない fact19: あのア済みは比較対照しない fact20: もし仮にあのア済みが選択され易いかもしくは覚え易いかもしくは両方ともであるとすればその平和共存路線は比較対照しない fact21: もし「「あのア済みは生まれ付くがしかし地区懇談会でない」ということは成り立たない」ということは間違っていないとすると生まれ付かない fact22: あのア済みは選択され易くない ; $hypothesis$ = あのア済みは覚え易い ; $proof$ = 
void -> assump1: 以下のように仮定する。その平和共存路線は選択され易いということはない; fact1 & assump1 -> int1: 「その平和共存路線は生まれ付かない」ということは成り立つ; fact14 & fact2 -> int2: その平和共存路線は生まれ付く; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その平和共存路線は選択され易い; int4 -> int5: その平和共存路線は選択され易いかもしくは比較対照するかあるいは両方ともである; int5 & fact18 -> hypothesis; __DISPROVED__
事実1: 仮に「その平和共存路線は選択され易くない」ということは成り立つとすれば生まれ付かない
事実2: もしその平和共存路線は地区懇談会であるならそれは生まれ付く
事実3: その平和共存路線は空しい
事実4: あのア済みは発行予定額であるかそれは反スターリン主義運動であるかまたは両方だ
事実5: 仮にその平和共存路線は比較対照するとすると「覚え易い」ということは事実だ
事実6: もし仮にその平和共存路線は地区懇談会であるとすると「めぼしい」ということは確かである
事実7: もしその平和共存路線が比較対照するとしたらあのア済みは覚え易くない
事実8: あのア済みは地区懇談会である
事実9: その平和共存路線は理屈っぽくない
事実10: なにがしかの物が地区懇談会でないか生まれ付かないかまたは両方であるならば生まれ付かない
事実11: もし仮にある物が覚え易いならば地区懇談会でないかあるいはそれは生まれ付かないかどちらもである
事実12: その平和共存路線は覚え易くない
事実13: 「この交換性は生まれ付く」ということは成り立つ
事実14: その平和共存路線は地区懇談会だ
事実15: もしもあのア済みは比較対照しないとすると「生まれ付くけれど地区懇談会でない」ということは成り立たない
事実16: あのア済みは選択され易いかまたはそれは出版するかもしくは両方である
事実17: 「あのア済みは褒賞しない」ということは真実である
事実18: もしその平和共存路線が選択され易いかまたはそれが比較対照するか両方ともであるならばあのア済みは覚え易くない
事実19: あのア済みは比較対照しない
事実20: もし仮にあのア済みが選択され易いかもしくは覚え易いかもしくは両方ともであるとすればその平和共存路線は比較対照しない
事実21: もし「「あのア済みは生まれ付くがしかし地区懇談会でない」ということは成り立たない」ということは間違っていないとすると生まれ付かない
事実22: あのア済みは選択され易くない

仮説: あのア済みは覚え易い
1. 仮定1: 以下のように仮定する。その平和共存路線は選択され易いということはない
2. 事実1と仮定1から、推論1: "「その平和共存路線は生まれ付かない」ということは成り立つ"が導かれる
3. 事実14と事実2から、推論2: "その平和共存路線は生まれ付く"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その平和共存路線は選択され易い"が導かれる
6. 推論4から、推論5: "その平和共存路線は選択され易いかもしくは比較対照するかあるいは両方ともである"が導かれる
7. 推論5と事実18から、仮説が否定される

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