このカナダ大山猫は近くない
fact1: 陥り易い物が冗談っぽくないとしたらそれは広くない fact2: そのイオン交換膜が冗談っぽくないとするとこのカナダ大山猫は陥り易くない fact3: そのイオン交換膜は深し fact4: もしもその消費生活が陥り易いけど賃借しないとするとそのイオン交換膜は陥り易くない fact5: もし仮にとある物が陥り易いということはないとすればそれは賃借する fact6: もしそのイオン交換膜がいがらっぽいということはないとすると賃借するしそれに近い fact7: もし仮にこのカナダ大山猫が賃借するしその上近いとすればその消費生活はいがらっぽくない fact8: その消費生活は頑是無くない fact9: もし仮にそのイオン交換膜が陥り易くないならこのカナダ大山猫は近いし更にそれは冗談っぽい fact10: 「その毎週木曜日は頑是無いけど広くない」ということは誤りだ fact11: そのイオン交換膜は冗談っぽくない fact12: 仮にその消費生活は頑是無くないとすると「肩入れで加えてそれは深しない」ということは成り立つということはない fact13: もしもこのカナダ大山猫は頑是無くないなら「そのイオン交換膜は深しないしさらに肩入れでない」ということは事実と異なる fact14: もしも「そのイオン交換膜は深しないしかつ肩入れでない」ということは正しくないとすればそれはいがらっぽくない fact15: もし仮にその毎週木曜日がいがらっぽいしおまけに近いとするとその消費生活は広いということはない fact16: 「このカナダ大山猫はいがらっぽい」ということは成り立つ fact17: 「その毎週木曜日は頑是無い一方でそれは広くない」ということは偽であるとするとそれは肩入れでない fact18: その毎週木曜日は肩入れであるということはないならば「その消費生活はいがらっぽくて加えて深し」ということは確かだ fact19: この工業全体は陥り易いということはない
fact2 & fact11 -> int1: このカナダ大山猫は陥り易くない; fact5 -> int2: 仮にこのカナダ大山猫は陥り易くないとすると「賃借する」ということは成り立つ; int1 & int2 -> int3: このカナダ大山猫は賃借する; void -> assump1: 以下のように仮定する。このカナダ大山猫は近い; int3 & assump1 -> int4: このカナダ大山猫は賃借するしかつ近い; int4 & fact7 -> int5: その消費生活はいがらっぽくない; fact17 & fact10 -> int6: その毎週木曜日は肩入れでない; fact18 & int6 -> int7: その消費生活はいがらっぽいしそれは深し; int7 -> int8: その消費生活はいがらっぽい; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
この体温調節中枢は広いということはない
fact20 -> int10: もしもこの体温調節中枢が陥り易いけれどそれが冗談っぽいということはないならばそれは広くない;
$facts$ = fact1: 陥り易い物が冗談っぽくないとしたらそれは広くない fact2: そのイオン交換膜が冗談っぽくないとするとこのカナダ大山猫は陥り易くない fact3: そのイオン交換膜は深し fact4: もしもその消費生活が陥り易いけど賃借しないとするとそのイオン交換膜は陥り易くない fact5: もし仮にとある物が陥り易いということはないとすればそれは賃借する fact6: もしそのイオン交換膜がいがらっぽいということはないとすると賃借するしそれに近い fact7: もし仮にこのカナダ大山猫が賃借するしその上近いとすればその消費生活はいがらっぽくない fact8: その消費生活は頑是無くない fact9: もし仮にそのイオン交換膜が陥り易くないならこのカナダ大山猫は近いし更にそれは冗談っぽい fact10: 「その毎週木曜日は頑是無いけど広くない」ということは誤りだ fact11: そのイオン交換膜は冗談っぽくない fact12: 仮にその消費生活は頑是無くないとすると「肩入れで加えてそれは深しない」ということは成り立つということはない fact13: もしもこのカナダ大山猫は頑是無くないなら「そのイオン交換膜は深しないしさらに肩入れでない」ということは事実と異なる fact14: もしも「そのイオン交換膜は深しないしかつ肩入れでない」ということは正しくないとすればそれはいがらっぽくない fact15: もし仮にその毎週木曜日がいがらっぽいしおまけに近いとするとその消費生活は広いということはない fact16: 「このカナダ大山猫はいがらっぽい」ということは成り立つ fact17: 「その毎週木曜日は頑是無い一方でそれは広くない」ということは偽であるとするとそれは肩入れでない fact18: その毎週木曜日は肩入れであるということはないならば「その消費生活はいがらっぽくて加えて深し」ということは確かだ fact19: この工業全体は陥り易いということはない ; $hypothesis$ = このカナダ大山猫は近くない ; $proof$ = 
fact2 & fact11 -> int1: このカナダ大山猫は陥り易くない; fact5 -> int2: 仮にこのカナダ大山猫は陥り易くないとすると「賃借する」ということは成り立つ; int1 & int2 -> int3: このカナダ大山猫は賃借する; void -> assump1: 以下のように仮定する。このカナダ大山猫は近い; int3 & assump1 -> int4: このカナダ大山猫は賃借するしかつ近い; int4 & fact7 -> int5: その消費生活はいがらっぽくない; fact17 & fact10 -> int6: その毎週木曜日は肩入れでない; fact18 & int6 -> int7: その消費生活はいがらっぽいしそれは深し; int7 -> int8: その消費生活はいがらっぽい; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: 陥り易い物が冗談っぽくないとしたらそれは広くない
事実2: そのイオン交換膜が冗談っぽくないとするとこのカナダ大山猫は陥り易くない
事実3: そのイオン交換膜は深し
事実4: もしもその消費生活が陥り易いけど賃借しないとするとそのイオン交換膜は陥り易くない
事実5: もし仮にとある物が陥り易いということはないとすればそれは賃借する
事実6: もしそのイオン交換膜がいがらっぽいということはないとすると賃借するしそれに近い
事実7: もし仮にこのカナダ大山猫が賃借するしその上近いとすればその消費生活はいがらっぽくない
事実8: その消費生活は頑是無くない
事実9: もし仮にそのイオン交換膜が陥り易くないならこのカナダ大山猫は近いし更にそれは冗談っぽい
事実10: 「その毎週木曜日は頑是無いけど広くない」ということは誤りだ
事実11: そのイオン交換膜は冗談っぽくない
事実12: 仮にその消費生活は頑是無くないとすると「肩入れで加えてそれは深しない」ということは成り立つということはない
事実13: もしもこのカナダ大山猫は頑是無くないなら「そのイオン交換膜は深しないしさらに肩入れでない」ということは事実と異なる
事実14: もしも「そのイオン交換膜は深しないしかつ肩入れでない」ということは正しくないとすればそれはいがらっぽくない
事実15: もし仮にその毎週木曜日がいがらっぽいしおまけに近いとするとその消費生活は広いということはない
事実16: 「このカナダ大山猫はいがらっぽい」ということは成り立つ
事実17: 「その毎週木曜日は頑是無い一方でそれは広くない」ということは偽であるとするとそれは肩入れでない
事実18: その毎週木曜日は肩入れであるということはないならば「その消費生活はいがらっぽくて加えて深し」ということは確かだ
事実19: この工業全体は陥り易いということはない

仮説: このカナダ大山猫は近くない
1. 事実2と事実11から、推論1: "このカナダ大山猫は陥り易くない"が導かれる
2. 事実5から、推論2: "仮にこのカナダ大山猫は陥り易くないとすると「賃借する」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "このカナダ大山猫は賃借する"が導かれる
4. 仮定1: 以下のように仮定する。このカナダ大山猫は近い
5. 推論3と仮定1から、推論4: "このカナダ大山猫は賃借するしかつ近い"が導かれる
6. 推論4と事実7から、推論5: "その消費生活はいがらっぽくない"が導かれる
7. 事実17と事実10から、推論6: "その毎週木曜日は肩入れでない"が導かれる
8. 事実18と推論6から、推論7: "その消費生活はいがらっぽいしそれは深し"が導かれる
9. 推論7から、推論8: "その消費生活はいがらっぽい"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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