あのアクメは生温かくなくておまけに香しかない
fact1: あのアクメは生温かくない fact2: なにかは日本蛾塚山でないとしたらそれは生温かくない fact3: 「持ち合わない」ものはある fact4: 日本蛾塚山は素っ気なくなくてかつマクロレンズだということはない fact5: もしもあるものは日本蛾塚山であるとすると「それは生温かくないしかつ香しかない」ということは成り立たない fact6: 「頭頂でなくてまた持ち合う」ものはある fact7: もし「なんらかの物は頭頂だということはないしかつそれは持ち合うということはない」ということは成り立つとしたらあのアクメは日本蛾塚山でない fact8: 「頭頂だが持ち合わない」物はある fact9: あるものは頭頂でない fact10: 「頭頂でないし持ち合うということはない」物はある fact11: もしあるものが日本蛾塚山であるということはないとするとそれは生温かくないしそれは香しかない
fact11 -> int1: もし仮にあのアクメが日本蛾塚山でないとすれば生温かくないし更にそれは香しかない; fact10 & fact7 -> int2: あのアクメは日本蛾塚山であるということはない; int1 & int2 -> hypothesis;
「あのアクメは生温かくないしまたそれは香しいということはない」ということは嘘だ
fact12 -> int3: 仮にあのアクメは日本蛾塚山であるなら「それは生温かくないし香しかない」ということは誤りだ;
$facts$ = fact1: あのアクメは生温かくない fact2: なにかは日本蛾塚山でないとしたらそれは生温かくない fact3: 「持ち合わない」ものはある fact4: 日本蛾塚山は素っ気なくなくてかつマクロレンズだということはない fact5: もしもあるものは日本蛾塚山であるとすると「それは生温かくないしかつ香しかない」ということは成り立たない fact6: 「頭頂でなくてまた持ち合う」ものはある fact7: もし「なんらかの物は頭頂だということはないしかつそれは持ち合うということはない」ということは成り立つとしたらあのアクメは日本蛾塚山でない fact8: 「頭頂だが持ち合わない」物はある fact9: あるものは頭頂でない fact10: 「頭頂でないし持ち合うということはない」物はある fact11: もしあるものが日本蛾塚山であるということはないとするとそれは生温かくないしそれは香しかない ; $hypothesis$ = あのアクメは生温かくなくておまけに香しかない ; $proof$ = 
fact11 -> int1: もし仮にあのアクメが日本蛾塚山でないとすれば生温かくないし更にそれは香しかない; fact10 & fact7 -> int2: あのアクメは日本蛾塚山であるということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: あのアクメは生温かくない
事実2: なにかは日本蛾塚山でないとしたらそれは生温かくない
事実3: 「持ち合わない」ものはある
事実4: 日本蛾塚山は素っ気なくなくてかつマクロレンズだということはない
事実5: もしもあるものは日本蛾塚山であるとすると「それは生温かくないしかつ香しかない」ということは成り立たない
事実6: 「頭頂でなくてまた持ち合う」ものはある
事実7: もし「なんらかの物は頭頂だということはないしかつそれは持ち合うということはない」ということは成り立つとしたらあのアクメは日本蛾塚山でない
事実8: 「頭頂だが持ち合わない」物はある
事実9: あるものは頭頂でない
事実10: 「頭頂でないし持ち合うということはない」物はある
事実11: もしあるものが日本蛾塚山であるということはないとするとそれは生温かくないしそれは香しかない

仮説: あのアクメは生温かくなくておまけに香しかない
1. 事実11から、推論1: "もし仮にあのアクメが日本蛾塚山でないとすれば生温かくないし更にそれは香しかない"が導かれる
2. 事実10と事実7から、推論2: "あのアクメは日本蛾塚山であるということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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