「あのステッカーは暮れ泥まないがしかしそれはしょぼい」ということは成り立たない
fact1: その屋根裏は除算しない fact2: もしも「あの言語的環境は利用し難くないしおまけにそれは微細化しない」ということは誤りであるとするとその屋根裏は重宝しない fact3: もし仮にあの言語的環境が晴々しいとするとあのステッカーは晴々しい fact4: 「あの言語的環境は利用し難くないけど微細化する」ということは嘘である fact5: 仮にその開胸が晴々しいとすればそれは妙齢である fact6: その開胸は晴々しかないならば「あの言語的環境は利用し難くない一方で微細化する」ということは成り立つということはない fact7: 仮にその開胸は狡賢いなら「あのステッカーは暮れ泥まない一方でしょぼい」ということは本当でない fact8: その横縞は重宝する fact9: もしもその開胸が重宝しないしそれに御塚ちゃんであるということはないとすれば「あのステッカーは重宝する」ということは成り立つ fact10: もし仮にあるものは二×二分割表でないとしたらそれは晴々しいし千九百九十七年度だ fact11: あの言語的環境は二×二分割表でない fact12: 妙齢はしょぼい fact13: もし仮にその屋根裏が除算するということはないとすればその開胸は重宝しなくてそれは御塚ちゃんでない fact14: 仮にこの画像入力信号が明快さでないならば温め直さないしそれは狡賢い fact15: もしその開胸は晴々しかないならば「あの言語的環境は利用し難くないし加えて微細化しない」ということは成り立たない fact16: その屋根裏は重宝する fact17: 晴々しいものが重宝するとしたらそれは暮れ泥まない fact18: 「この画像入力信号は明快さでない」ということは真実だ fact19: もしもその開胸が妙齢だとするとそれは狡賢い
void -> assump1: 以下のように仮定する。その開胸は晴々しかない; fact15 & assump1 -> int1: 「あの言語的環境は利用し難いということはなくて微細化しない」ということは成り立たない; int1 & fact2 -> int2: その屋根裏は重宝しない; int2 & fact16 -> int3: これは矛盾である; [assump1] & int3 -> int4: その開胸は晴々しい; int4 & fact5 -> int5: その開胸は妙齢である; int5 & fact19 -> int6: その開胸は狡賢い; int6 & fact7 -> hypothesis;
あのステッカーは暮れ泥まない一方でしょぼい
fact25 -> int7: もしもあのステッカーが晴々しいしさらにそれが重宝すれば暮れ泥むということはない; fact28 -> int8: あの言語的環境が二×二分割表でないとすれば晴々しいしおまけに千九百九十七年度である; int8 & fact27 -> int9: あの言語的環境は晴々しいし千九百九十七年度である; int9 -> int10: あの言語的環境は晴々しい; fact22 & int10 -> int11: あのステッカーは晴々しい; fact23 & fact26 -> int12: その開胸は重宝しないしさらに御塚ちゃんでない; fact29 & int12 -> int13: あのステッカーは重宝する; int11 & int13 -> int14: あのステッカーは晴々しいし重宝する; int7 & int14 -> int15: 「あのステッカーは暮れ泥まない」ということは正しい; fact24 -> int16: あのステッカーは妙齢であるならばそれはしょぼい; fact21 & fact20 -> int17: この画像入力信号は温め直さないけど狡賢い; int17 -> int18: 「温め直さないし狡賢い」物はある;
$facts$ = fact1: その屋根裏は除算しない fact2: もしも「あの言語的環境は利用し難くないしおまけにそれは微細化しない」ということは誤りであるとするとその屋根裏は重宝しない fact3: もし仮にあの言語的環境が晴々しいとするとあのステッカーは晴々しい fact4: 「あの言語的環境は利用し難くないけど微細化する」ということは嘘である fact5: 仮にその開胸が晴々しいとすればそれは妙齢である fact6: その開胸は晴々しかないならば「あの言語的環境は利用し難くない一方で微細化する」ということは成り立つということはない fact7: 仮にその開胸は狡賢いなら「あのステッカーは暮れ泥まない一方でしょぼい」ということは本当でない fact8: その横縞は重宝する fact9: もしもその開胸が重宝しないしそれに御塚ちゃんであるということはないとすれば「あのステッカーは重宝する」ということは成り立つ fact10: もし仮にあるものは二×二分割表でないとしたらそれは晴々しいし千九百九十七年度だ fact11: あの言語的環境は二×二分割表でない fact12: 妙齢はしょぼい fact13: もし仮にその屋根裏が除算するということはないとすればその開胸は重宝しなくてそれは御塚ちゃんでない fact14: 仮にこの画像入力信号が明快さでないならば温め直さないしそれは狡賢い fact15: もしその開胸は晴々しかないならば「あの言語的環境は利用し難くないし加えて微細化しない」ということは成り立たない fact16: その屋根裏は重宝する fact17: 晴々しいものが重宝するとしたらそれは暮れ泥まない fact18: 「この画像入力信号は明快さでない」ということは真実だ fact19: もしもその開胸が妙齢だとするとそれは狡賢い ; $hypothesis$ = 「あのステッカーは暮れ泥まないがしかしそれはしょぼい」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その開胸は晴々しかない; fact15 & assump1 -> int1: 「あの言語的環境は利用し難いということはなくて微細化しない」ということは成り立たない; int1 & fact2 -> int2: その屋根裏は重宝しない; int2 & fact16 -> int3: これは矛盾である; [assump1] & int3 -> int4: その開胸は晴々しい; int4 & fact5 -> int5: その開胸は妙齢である; int5 & fact19 -> int6: その開胸は狡賢い; int6 & fact7 -> hypothesis; __PROVED__
事実1: その屋根裏は除算しない
事実2: もしも「あの言語的環境は利用し難くないしおまけにそれは微細化しない」ということは誤りであるとするとその屋根裏は重宝しない
事実3: もし仮にあの言語的環境が晴々しいとするとあのステッカーは晴々しい
事実4: 「あの言語的環境は利用し難くないけど微細化する」ということは嘘である
事実5: 仮にその開胸が晴々しいとすればそれは妙齢である
事実6: その開胸は晴々しかないならば「あの言語的環境は利用し難くない一方で微細化する」ということは成り立つということはない
事実7: 仮にその開胸は狡賢いなら「あのステッカーは暮れ泥まない一方でしょぼい」ということは本当でない
事実8: その横縞は重宝する
事実9: もしもその開胸が重宝しないしそれに御塚ちゃんであるということはないとすれば「あのステッカーは重宝する」ということは成り立つ
事実10: もし仮にあるものは二×二分割表でないとしたらそれは晴々しいし千九百九十七年度だ
事実11: あの言語的環境は二×二分割表でない
事実12: 妙齢はしょぼい
事実13: もし仮にその屋根裏が除算するということはないとすればその開胸は重宝しなくてそれは御塚ちゃんでない
事実14: 仮にこの画像入力信号が明快さでないならば温め直さないしそれは狡賢い
事実15: もしその開胸は晴々しかないならば「あの言語的環境は利用し難くないし加えて微細化しない」ということは成り立たない
事実16: その屋根裏は重宝する
事実17: 晴々しいものが重宝するとしたらそれは暮れ泥まない
事実18: 「この画像入力信号は明快さでない」ということは真実だ
事実19: もしもその開胸が妙齢だとするとそれは狡賢い

仮説: 「あのステッカーは暮れ泥まないがしかしそれはしょぼい」ということは成り立たない
1. 仮定1: 以下のように仮定する。その開胸は晴々しかない
2. 事実15と仮定1から、推論1: "「あの言語的環境は利用し難いということはなくて微細化しない」ということは成り立たない"が導かれる
3. 推論1と事実2から、推論2: "その屋根裏は重宝しない"が導かれる
4. 推論2と事実16から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その開胸は晴々しい"が導かれる
6. 推論4と事実5から、推論5: "その開胸は妙齢である"が導かれる
7. 推論5と事実19から、推論6: "その開胸は狡賢い"が導かれる
8. 推論6と事実7から、仮説が導かれる

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