「その成分中はどうしても欲しくないかあるいはそれは冗談ぽくないかまたは両方だ」ということは成り立たない
fact1: 「この賊達は冗談ぽくない」ということは成り立つ fact2: あの推敲は墨書する fact3: その成分中は冗談ぽい fact4: もしこの賊達が狭苦しくないとしたらその成分中はどうしても欲しくないかまたは冗談ぽくないかまたは両方である fact5: その成分中は延長オプション付けである fact6: もし仮に「この賊達はどうしても欲しくない」ということは真実ならば「その成分中はどうしても欲しくないかもしくは冗談ぽくないかあるいは両方だ」ということは誤っている fact7: 仮にその成分中が狭苦しいしおまけにそれが墨書すればどうしても欲しくない fact8: もしもこの賊達がどうしても欲しくないとすればあの成分中は冗談ぽい fact9: この賊達は狭苦しい fact10: その成分中は所らしい fact11: 「あの和製英語は風景構成法でないかもしくはそれは狭苦しくないかあるいは両方である」ということは誤りだ fact12: あるものは狭苦しいしまた墨書するとすれば「どうしても欲しいということはない」ということは正しい fact13: この賊達は墨書しないとすると「その成分中は墨書しないかもしくは冗談ぽくないかもしくはどちらもである」ということは間違いである fact14: その成分中は狭苦しくないとすれば「この賊達は起こし始めないかもしくは現われ難くないかもしくはどちらもだ」ということは偽である fact15: この賊達は墨書する fact16: あの政治宣伝は墨書するということはない
fact9 & fact15 -> int1: この賊達は狭苦しくてそれに墨書する; fact12 -> int2: もし仮にこの賊達が狭苦しくてかつ墨書するとするとどうしても欲しくない; int1 & int2 -> int3: この賊達はどうしても欲しくない; int3 & fact6 -> hypothesis;
「この賊達は起こし始めないか現われ難くないかあるいは両方ともである」ということは偽である
$facts$ = fact1: 「この賊達は冗談ぽくない」ということは成り立つ fact2: あの推敲は墨書する fact3: その成分中は冗談ぽい fact4: もしこの賊達が狭苦しくないとしたらその成分中はどうしても欲しくないかまたは冗談ぽくないかまたは両方である fact5: その成分中は延長オプション付けである fact6: もし仮に「この賊達はどうしても欲しくない」ということは真実ならば「その成分中はどうしても欲しくないかもしくは冗談ぽくないかあるいは両方だ」ということは誤っている fact7: 仮にその成分中が狭苦しいしおまけにそれが墨書すればどうしても欲しくない fact8: もしもこの賊達がどうしても欲しくないとすればあの成分中は冗談ぽい fact9: この賊達は狭苦しい fact10: その成分中は所らしい fact11: 「あの和製英語は風景構成法でないかもしくはそれは狭苦しくないかあるいは両方である」ということは誤りだ fact12: あるものは狭苦しいしまた墨書するとすれば「どうしても欲しいということはない」ということは正しい fact13: この賊達は墨書しないとすると「その成分中は墨書しないかもしくは冗談ぽくないかもしくはどちらもである」ということは間違いである fact14: その成分中は狭苦しくないとすれば「この賊達は起こし始めないかもしくは現われ難くないかもしくはどちらもだ」ということは偽である fact15: この賊達は墨書する fact16: あの政治宣伝は墨書するということはない ; $hypothesis$ = 「その成分中はどうしても欲しくないかあるいはそれは冗談ぽくないかまたは両方だ」ということは成り立たない ; $proof$ = 
fact9 & fact15 -> int1: この賊達は狭苦しくてそれに墨書する; fact12 -> int2: もし仮にこの賊達が狭苦しくてかつ墨書するとするとどうしても欲しくない; int1 & int2 -> int3: この賊達はどうしても欲しくない; int3 & fact6 -> hypothesis; __PROVED__
事実1: 「この賊達は冗談ぽくない」ということは成り立つ
事実2: あの推敲は墨書する
事実3: その成分中は冗談ぽい
事実4: もしこの賊達が狭苦しくないとしたらその成分中はどうしても欲しくないかまたは冗談ぽくないかまたは両方である
事実5: その成分中は延長オプション付けである
事実6: もし仮に「この賊達はどうしても欲しくない」ということは真実ならば「その成分中はどうしても欲しくないかもしくは冗談ぽくないかあるいは両方だ」ということは誤っている
事実7: 仮にその成分中が狭苦しいしおまけにそれが墨書すればどうしても欲しくない
事実8: もしもこの賊達がどうしても欲しくないとすればあの成分中は冗談ぽい
事実9: この賊達は狭苦しい
事実10: その成分中は所らしい
事実11: 「あの和製英語は風景構成法でないかもしくはそれは狭苦しくないかあるいは両方である」ということは誤りだ
事実12: あるものは狭苦しいしまた墨書するとすれば「どうしても欲しいということはない」ということは正しい
事実13: この賊達は墨書しないとすると「その成分中は墨書しないかもしくは冗談ぽくないかもしくはどちらもである」ということは間違いである
事実14: その成分中は狭苦しくないとすれば「この賊達は起こし始めないかもしくは現われ難くないかもしくはどちらもだ」ということは偽である
事実15: この賊達は墨書する
事実16: あの政治宣伝は墨書するということはない

仮説: 「その成分中はどうしても欲しくないかあるいはそれは冗談ぽくないかまたは両方だ」ということは成り立たない
1. 事実9と事実15から、推論1: "この賊達は狭苦しくてそれに墨書する"が導かれる
2. 事実12から、推論2: "もし仮にこの賊達が狭苦しくてかつ墨書するとするとどうしても欲しくない"が導かれる
3. 推論1と推論2から、推論3: "この賊達はどうしても欲しくない"が導かれる
4. 推論3と事実6から、仮説が導かれる

よって、仮説が証明されました。