この安吾自身は中央執行委員でない
fact1: もしもあのヒートロッドが茹で上がるとしたらこの安吾自身は茹で上がる fact2: 「あのヒートロッドは握り合わなくてまた少なくない」ということは成り立たない fact3: あのヒートロッドは移ろい易いとすれば「茹で上がる」ということは成り立つ fact4: もし仮に「なんらかのものは少なくないしさらに実子でない」ということは誤りならば中央執行委員である fact5: もしとある物が少ないならばそれは中央執行委員である fact6: 「あのヒートロッドは少なくなくてしかもそれは響き渡らない」ということは嘘である fact7: あのヒートロッドは握り合う fact8: もし仮に「なにがしかの物は首尾良くないし守り育てない」ということは誤りだとすれば「それは御教えする」ということは正しい fact9: あのヒートロッドは少ない fact10: もしもこの安吾自身は少ないとすると「中央執行委員だ」ということは成り立つ fact11: 仮に「あのヒートロッドは実子だ」ということは成り立つとすると「「この安吾自身は握り合わないし少なくない」ということは誤っている」ということは偽でない fact12: あのヒートロッドは中央執行委員である fact13: この安吾自身は心許ない fact14: 「あのヒートロッドは実子でないしその上握り合わない」ということは成り立たない fact15: あのヒートロッドは握り合うとしたら「この安吾自身は少ないが実子でない」ということは誤りである fact16: 何らかのものが茹で上がるなら中央執行委員でないしまた握り合う fact17: 「この安吾自身は少ないが実子でない」ということは間違っている fact18: あのヒートロッドは赤表示である fact19: 「あのヒートロッドは係助詞でないし誇らしくない」ということは成り立たないならばそれは中央執行委員である fact20: 仮にあのヒートロッドは握り合うとすれば「この安吾自身は少なくなくてそれにそれは実子でない」ということは間違っている
fact20 & fact7 -> int1: 「この安吾自身は少なくなくてそれに実子でない」ということは成り立つということはない; fact4 -> int2: 仮に「この安吾自身は少なくなくてまた実子でない」ということは成り立つということはないならば「それは中央執行委員だ」ということは確かである; int1 & int2 -> hypothesis;
「この安吾自身は中央執行委員でない」ということは真実である
fact21 -> int3: もし仮にこの安吾自身が茹で上がるとすればそれは中央執行委員でないけれど握り合う;
$facts$ = fact1: もしもあのヒートロッドが茹で上がるとしたらこの安吾自身は茹で上がる fact2: 「あのヒートロッドは握り合わなくてまた少なくない」ということは成り立たない fact3: あのヒートロッドは移ろい易いとすれば「茹で上がる」ということは成り立つ fact4: もし仮に「なんらかのものは少なくないしさらに実子でない」ということは誤りならば中央執行委員である fact5: もしとある物が少ないならばそれは中央執行委員である fact6: 「あのヒートロッドは少なくなくてしかもそれは響き渡らない」ということは嘘である fact7: あのヒートロッドは握り合う fact8: もし仮に「なにがしかの物は首尾良くないし守り育てない」ということは誤りだとすれば「それは御教えする」ということは正しい fact9: あのヒートロッドは少ない fact10: もしもこの安吾自身は少ないとすると「中央執行委員だ」ということは成り立つ fact11: 仮に「あのヒートロッドは実子だ」ということは成り立つとすると「「この安吾自身は握り合わないし少なくない」ということは誤っている」ということは偽でない fact12: あのヒートロッドは中央執行委員である fact13: この安吾自身は心許ない fact14: 「あのヒートロッドは実子でないしその上握り合わない」ということは成り立たない fact15: あのヒートロッドは握り合うとしたら「この安吾自身は少ないが実子でない」ということは誤りである fact16: 何らかのものが茹で上がるなら中央執行委員でないしまた握り合う fact17: 「この安吾自身は少ないが実子でない」ということは間違っている fact18: あのヒートロッドは赤表示である fact19: 「あのヒートロッドは係助詞でないし誇らしくない」ということは成り立たないならばそれは中央執行委員である fact20: 仮にあのヒートロッドは握り合うとすれば「この安吾自身は少なくなくてそれにそれは実子でない」ということは間違っている ; $hypothesis$ = この安吾自身は中央執行委員でない ; $proof$ = 
fact20 & fact7 -> int1: 「この安吾自身は少なくなくてそれに実子でない」ということは成り立つということはない; fact4 -> int2: 仮に「この安吾自身は少なくなくてまた実子でない」ということは成り立つということはないならば「それは中央執行委員だ」ということは確かである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもあのヒートロッドが茹で上がるとしたらこの安吾自身は茹で上がる
事実2: 「あのヒートロッドは握り合わなくてまた少なくない」ということは成り立たない
事実3: あのヒートロッドは移ろい易いとすれば「茹で上がる」ということは成り立つ
事実4: もし仮に「なんらかのものは少なくないしさらに実子でない」ということは誤りならば中央執行委員である
事実5: もしとある物が少ないならばそれは中央執行委員である
事実6: 「あのヒートロッドは少なくなくてしかもそれは響き渡らない」ということは嘘である
事実7: あのヒートロッドは握り合う
事実8: もし仮に「なにがしかの物は首尾良くないし守り育てない」ということは誤りだとすれば「それは御教えする」ということは正しい
事実9: あのヒートロッドは少ない
事実10: もしもこの安吾自身は少ないとすると「中央執行委員だ」ということは成り立つ
事実11: 仮に「あのヒートロッドは実子だ」ということは成り立つとすると「「この安吾自身は握り合わないし少なくない」ということは誤っている」ということは偽でない
事実12: あのヒートロッドは中央執行委員である
事実13: この安吾自身は心許ない
事実14: 「あのヒートロッドは実子でないしその上握り合わない」ということは成り立たない
事実15: あのヒートロッドは握り合うとしたら「この安吾自身は少ないが実子でない」ということは誤りである
事実16: 何らかのものが茹で上がるなら中央執行委員でないしまた握り合う
事実17: 「この安吾自身は少ないが実子でない」ということは間違っている
事実18: あのヒートロッドは赤表示である
事実19: 「あのヒートロッドは係助詞でないし誇らしくない」ということは成り立たないならばそれは中央執行委員である
事実20: 仮にあのヒートロッドは握り合うとすれば「この安吾自身は少なくなくてそれにそれは実子でない」ということは間違っている

仮説: この安吾自身は中央執行委員でない
1. 事実20と事実7から、推論1: "「この安吾自身は少なくなくてそれに実子でない」ということは成り立つということはない"が導かれる
2. 事実4から、推論2: "仮に「この安吾自身は少なくなくてまた実子でない」ということは成り立つということはないならば「それは中央執行委員だ」ということは確かである"が導かれる
3. 推論1と推論2から、仮説が否定される

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