この譲渡者は選挙しない
fact1: もし何らかのものは新しないならば「この譲渡者は選挙するしそれは御し易い」ということは成り立たない fact2: その人種関係は御し易くない fact3: もしも何らかの物が四野でないけれど消化し易いとするとそれは選挙しない fact4: 「何かは意思無能力でそれにそれはロジスティクス展開である」ということは偽であるとすれば新しない fact5: 「その人種関係は真ん丸くないけど御し易い」ということは嘘だ fact6: もし仮に「「選挙するし御し易い」ということは間違いな」物があるとするとこの進歩は消化し易いということはない fact7: その人種関係は消化し易いけれど御し易くない fact8: 仮にこの譲渡者が真ん丸くないならその人種関係は真ん丸いということはなくてしかも御し易くない fact9: 真ん丸くないしその上御し易くない物はない fact10: あの知的創作物は厚しないしそれに表現能力だということはない fact11: 「この譲渡者は骨折しないしかつ宿さない」ということは成り立たない fact12: この譲渡者は泥臭い fact13: 仮にこの譲渡者は四野であるとしたら泥臭いけれど真ん丸くない fact14: もしも「この譲渡者は真ん丸いということはない」ということは成り立てばその人種関係は御し易くない fact15: それは選挙するということはないしその上御し易くないというものはない fact16: 「この譲渡者は遺体保管所である」ということは本当だ fact17: 仮にこの譲渡者は四野であるとすると「泥臭い」ということは成り立つ fact18: その人種関係はぼやけるということはない fact19: 仮にその人種関係が泥臭いとすればそれは真ん丸いがしかし消化し易くない fact20: もしもこの譲渡者が四野でなくてしかも消化し易くないとしたらそれは選挙する fact21: もし仮に「その人種関係はぼやけない」ということは確かなら「それは意思無能力であるしそれにそれはロジスティクス展開である」ということは偽だ fact22: この譲渡者は消化し易くない
void -> assump1: 以下のように仮定する。この譲渡者は四野だ; fact13 & assump1 -> int1: この譲渡者は泥臭いけれど真ん丸いということはない; int1 -> int2: この譲渡者は真ん丸くない; int2 & fact8 -> int3: その人種関係は真ん丸くないし加えて御し易くない; fact9 -> int4: 「その人種関係は真ん丸くないしそれにそれは御し易いということはない」ということは事実と異なる; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この譲渡者は四野であるということはない; int6 & fact22 -> int7: この譲渡者は四野であるということはなくておまけにそれは消化し易くない; int7 & fact20 -> hypothesis;
この譲渡者は選挙するということはない
fact23 -> int8: もしも「この譲渡者は四野でない一方で消化し易い」ということは成り立てばそれは選挙しない;
$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: 以下のように仮定する。この譲渡者は四野だ; fact13 & assump1 -> int1: この譲渡者は泥臭いけれど真ん丸いということはない; int1 -> int2: この譲渡者は真ん丸くない; int2 & fact8 -> int3: その人種関係は真ん丸くないし加えて御し易くない; fact9 -> int4: 「その人種関係は真ん丸くないしそれにそれは御し易いということはない」ということは事実と異なる; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この譲渡者は四野であるということはない; int6 & fact22 -> int7: この譲渡者は四野であるということはなくておまけにそれは消化し易くない; int7 & fact20 -> 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. 事実13と仮定1から、推論1: "この譲渡者は泥臭いけれど真ん丸いということはない"が導かれる
3. 推論1から、推論2: "この譲渡者は真ん丸くない"が導かれる
4. 推論2と事実8から、推論3: "その人種関係は真ん丸くないし加えて御し易くない"が導かれる
5. 事実9から、推論4: "「その人種関係は真ん丸くないしそれにそれは御し易いということはない」ということは事実と異なる"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この譲渡者は四野であるということはない"が導かれる
8. 推論6と事実22から、推論7: "この譲渡者は四野であるということはなくておまけにそれは消化し易くない"が導かれる
9. 推論7と事実20から、仮説が否定される

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