あの左親指は発癌率でなくてそれは剥がれ易くない
fact1: なんらかのものは第一種市街地再開発事業でないなら「それはソ軍でないかあるいは悪びれるかあるいはどちらもだ」ということは事実と異なる fact2: 仮に「あの左親指は剥がれ易くない」ということは確かだとすると「その二巻末は漢文体であるしおまけに剥がれ易い」ということは誤りだ fact3: もし「あの左親指はソ軍でない」ということは確かだとすると「発癌率であるがしかし剥がれ易くない」ということは誤っている fact4: 仮にあの左親指はソ軍でないならば「それは発癌率でなくて加えてそれは剥がれ易いということはない」ということは誤っている fact5: もしも「「齎し易くないが利き難い」ということは成り立たない」物があるならばあの二巻末は第一種市街地再開発事業でない fact6: 「「統率下であるししかもイメージし易い」ということは誤っている」ものはある fact7: 「「統率下でないしイメージし易い」ということは誤りである」物はある fact8: 「その二巻末は悪びれるしまた漢文体だ」ということは成り立たない fact9: この新明解は漢文体でないなら「その二巻末は悪びれないけどそれは漢文体だ」ということは間違っている fact10: 仮に「イメージし易くない」物はあるとすれば「この新明解は漢文体でない」ということは確かである fact11: もしも「「統率下でないがイメージし易い」ということは誤っている」物があればこの新明解は漢文体でない fact12: もしその二巻末が悪びれればあの左親指はソ軍でない fact13: もしも「その二巻末は悪びれないが漢文体である」ということは成り立つということはないとするとあの左親指はソ軍でない fact14: 「統率下でないがしかしイメージし易い」物はある fact15: もしもあの左親指はソ軍でないなら「発癌率でなくて更にそれは剥がれ易い」ということは成り立たない fact16: 仮にこの新明解が漢文体であるならばあの左親指は漢文体である fact17: 漢文体は発癌率でなくてその上剥がれ易くない fact18: その南東部は美々しいなら「「この読者諸君は齎し易くない一方で利き難い」ということは嘘だ」ということは成り立つ fact19: 「その南東部は美々しい物でさらに引き難い」ということは成り立つ
fact7 & fact11 -> int1: この新明解は漢文体でない; int1 & fact9 -> int2: 「その二巻末は悪びれないけれど漢文体である」ということは事実と異なる; int2 & fact13 -> int3: あの左親指はソ軍でない; int3 & fact4 -> hypothesis;
あの左親指は発癌率であるということはないし加えてそれは剥がれ易くない
fact25 -> int4: 「あの左親指は漢文体である」ということは間違いでないなら発癌率でなくておまけに剥がれ易いということはない; fact24 -> int5: 仮にその二巻末は第一種市街地再開発事業でないとすれば「ソ軍でないかあるいは悪びれるかまたは両方である」ということは誤っている; fact21 -> int6: その南東部は美々しい; fact23 & int6 -> int7: 「「この読者諸君は齎し易くない一方で利き難い」ということは正しい」ということは成り立つということはない; int7 -> int8: 「「齎し易くないけれど利き難い」ということは成り立たない」物はある; int8 & fact22 -> int9: その二巻末は第一種市街地再開発事業であるということはない; int5 & int9 -> int10: 「その二巻末はソ軍でないかまたは悪びれるかどちらもだ」ということは間違っている; int10 -> int11: 「「「ソ軍でないかまたは悪びれるかあるいは両方である」ということは真実だ」ということは間違っている」物はある;
$facts$ = fact1: なんらかのものは第一種市街地再開発事業でないなら「それはソ軍でないかあるいは悪びれるかあるいはどちらもだ」ということは事実と異なる fact2: 仮に「あの左親指は剥がれ易くない」ということは確かだとすると「その二巻末は漢文体であるしおまけに剥がれ易い」ということは誤りだ fact3: もし「あの左親指はソ軍でない」ということは確かだとすると「発癌率であるがしかし剥がれ易くない」ということは誤っている fact4: 仮にあの左親指はソ軍でないならば「それは発癌率でなくて加えてそれは剥がれ易いということはない」ということは誤っている fact5: もしも「「齎し易くないが利き難い」ということは成り立たない」物があるならばあの二巻末は第一種市街地再開発事業でない fact6: 「「統率下であるししかもイメージし易い」ということは誤っている」ものはある fact7: 「「統率下でないしイメージし易い」ということは誤りである」物はある fact8: 「その二巻末は悪びれるしまた漢文体だ」ということは成り立たない fact9: この新明解は漢文体でないなら「その二巻末は悪びれないけどそれは漢文体だ」ということは間違っている fact10: 仮に「イメージし易くない」物はあるとすれば「この新明解は漢文体でない」ということは確かである fact11: もしも「「統率下でないがイメージし易い」ということは誤っている」物があればこの新明解は漢文体でない fact12: もしその二巻末が悪びれればあの左親指はソ軍でない fact13: もしも「その二巻末は悪びれないが漢文体である」ということは成り立つということはないとするとあの左親指はソ軍でない fact14: 「統率下でないがしかしイメージし易い」物はある fact15: もしもあの左親指はソ軍でないなら「発癌率でなくて更にそれは剥がれ易い」ということは成り立たない fact16: 仮にこの新明解が漢文体であるならばあの左親指は漢文体である fact17: 漢文体は発癌率でなくてその上剥がれ易くない fact18: その南東部は美々しいなら「「この読者諸君は齎し易くない一方で利き難い」ということは嘘だ」ということは成り立つ fact19: 「その南東部は美々しい物でさらに引き難い」ということは成り立つ ; $hypothesis$ = あの左親指は発癌率でなくてそれは剥がれ易くない ; $proof$ = 
fact7 & fact11 -> int1: この新明解は漢文体でない; int1 & fact9 -> int2: 「その二巻末は悪びれないけれど漢文体である」ということは事実と異なる; int2 & fact13 -> int3: あの左親指はソ軍でない; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: なんらかのものは第一種市街地再開発事業でないなら「それはソ軍でないかあるいは悪びれるかあるいはどちらもだ」ということは事実と異なる
事実2: 仮に「あの左親指は剥がれ易くない」ということは確かだとすると「その二巻末は漢文体であるしおまけに剥がれ易い」ということは誤りだ
事実3: もし「あの左親指はソ軍でない」ということは確かだとすると「発癌率であるがしかし剥がれ易くない」ということは誤っている
事実4: 仮にあの左親指はソ軍でないならば「それは発癌率でなくて加えてそれは剥がれ易いということはない」ということは誤っている
事実5: もしも「「齎し易くないが利き難い」ということは成り立たない」物があるならばあの二巻末は第一種市街地再開発事業でない
事実6: 「「統率下であるししかもイメージし易い」ということは誤っている」ものはある
事実7: 「「統率下でないしイメージし易い」ということは誤りである」物はある
事実8: 「その二巻末は悪びれるしまた漢文体だ」ということは成り立たない
事実9: この新明解は漢文体でないなら「その二巻末は悪びれないけどそれは漢文体だ」ということは間違っている
事実10: 仮に「イメージし易くない」物はあるとすれば「この新明解は漢文体でない」ということは確かである
事実11: もしも「「統率下でないがイメージし易い」ということは誤っている」物があればこの新明解は漢文体でない
事実12: もしその二巻末が悪びれればあの左親指はソ軍でない
事実13: もしも「その二巻末は悪びれないが漢文体である」ということは成り立つということはないとするとあの左親指はソ軍でない
事実14: 「統率下でないがしかしイメージし易い」物はある
事実15: もしもあの左親指はソ軍でないなら「発癌率でなくて更にそれは剥がれ易い」ということは成り立たない
事実16: 仮にこの新明解が漢文体であるならばあの左親指は漢文体である
事実17: 漢文体は発癌率でなくてその上剥がれ易くない
事実18: その南東部は美々しいなら「「この読者諸君は齎し易くない一方で利き難い」ということは嘘だ」ということは成り立つ
事実19: 「その南東部は美々しい物でさらに引き難い」ということは成り立つ

仮説: あの左親指は発癌率でなくてそれは剥がれ易くない
1. 事実7と事実11から、推論1: "この新明解は漢文体でない"が導かれる
2. 推論1と事実9から、推論2: "「その二巻末は悪びれないけれど漢文体である」ということは事実と異なる"が導かれる
3. 推論2と事実13から、推論3: "あの左親指はソ軍でない"が導かれる
4. 推論3と事実4から、仮説が否定される

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