あの図星は駅売店である
fact1: もし仮にあのＪＣが気付き易くなくてしかも設置・運営でないならあのＨ二Ｏは我慢出来ない fact2: もしもこの造影効果は厭わしいとすると「あのＨ二Ｏは御寒い」ということは真実である fact3: あの御変わりがＯＢ臭いということはないかまたは借り易くないかあるいは両方だとすればこの造影効果は頻出する fact4: 「ある物は頻出する」ということは事実だとすると厭わしい fact5: もしも「「ＯＢ臭くない」ということは確かである」ものがあるならあの御変わりはＯＢ臭くないかまたは借り易くない fact6: あのＪＣは我慢出来るがそれは気付き易くない fact7: あのＨ二Ｏが贖わなくて我慢出来ないならばあのＪＣは慌ただしいということはない fact8: もし仮にあのＪＣが贖うということはないならば気付き易いということはないし設置・運営でない fact9: もし仮にあのＨ二Ｏが我慢出来ないならばこの造影効果は我慢出来るがそれは慌ただしくない fact10: 「あの図星は艶めかしくない」ということは成り立つ fact11: もし「あの図星は艶めかしいかあるいは献金するか両方ともである」ということは嘘だとしたらあのＪＣは贖わない fact12: あのＪＣが気付き易いけれど設置・運営でないとしたら「あのＨ二Ｏは我慢出来ない」ということは事実である fact13: 仮にある物は御寒いとすれば「それは慌ただしくないししかも我慢出来ない」ということは誤りである fact14: ＯＢ臭くない物はある fact15: 「この造影効果は我慢出来るが慌ただしくない」ということは事実でない fact16: あのＨ二Ｏは我慢出来ないとしたら「この造影効果は慌ただしくない」ということは成り立つ fact17: もしあの図星は駅売店でないとすれば「それは艶めかしいかもしくは献金するかあるいは両方だ」ということは誤りである fact18: 「この造影効果は我慢出来るしそれに慌ただしい」ということは事実と異なる fact19: 「あのＨ二Ｏは気難しくない」ということは正しい fact20: もしあのＨ二Ｏが気付き易くないならばあのＪＣは贖わなくてまた設置・運営でない fact21: 仮にあの図星は我慢出来ないとしたら「それは贖うかあるいはそれは駅売店である」ということは成り立たない fact22: 仮にあの図星が慌ただしくないとすればこの造影効果は慌ただしいがそれは献金しない fact23: あのＪＣは気付き易くない fact24: 仮に「あのＨ二Ｏは我慢出来るかまたは艶めかしいかまたは両方である」ということは本当でないとしたらあの図星は慌ただしくない fact25: もし仮に「この造影効果は設置・運営であるか艶めかしいかあるいは両方だ」ということは偽であるならあのＪＣは我慢出来ない fact26: この造影効果は慌ただしくない
void -> assump1: 以下のように仮定する。あの図星は駅売店でない; fact17 & assump1 -> int1: 「あの図星は艶めかしいかまたは献金するか両方である」ということは誤りである; int1 & fact11 -> int2: あのＪＣは贖わない; int2 & fact8 -> int3: あのＪＣは気付き易くないしかつ設置・運営であるということはない; int3 & fact1 -> int4: あのＨ二Ｏは我慢出来ない; int4 & fact9 -> int5: この造影効果は我慢出来るが慌ただしくない; int5 & fact15 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの図星は駅売店であるということはない
fact28 -> int7: 仮にあのＨ二Ｏは御寒いとすると「それは慌ただしくないし我慢出来ない」ということは誤っている; fact30 -> int8: 仮にこの造影効果が頻出するとすれば厭わしい; fact32 & fact29 -> int9: あの御変わりはＯＢ臭くないかそれは借り易くないか両方ともである; fact33 & int9 -> int10: この造影効果は頻出する; int8 & int10 -> int11: この造影効果は厭わしい; fact31 & int11 -> int12: 「あのＨ二Ｏは御寒い」ということは事実だ; int7 & int12 -> int13: 「あのＨ二Ｏは慌ただしいということはなくてまたそれは我慢出来るということはない」ということは成り立たない;
$facts$ = fact1: もし仮にあのＪＣが気付き易くなくてしかも設置・運営でないならあのＨ二Ｏは我慢出来ない fact2: もしもこの造影効果は厭わしいとすると「あのＨ二Ｏは御寒い」ということは真実である fact3: あの御変わりがＯＢ臭いということはないかまたは借り易くないかあるいは両方だとすればこの造影効果は頻出する fact4: 「ある物は頻出する」ということは事実だとすると厭わしい fact5: もしも「「ＯＢ臭くない」ということは確かである」ものがあるならあの御変わりはＯＢ臭くないかまたは借り易くない fact6: あのＪＣは我慢出来るがそれは気付き易くない fact7: あのＨ二Ｏが贖わなくて我慢出来ないならばあのＪＣは慌ただしいということはない fact8: もし仮にあのＪＣが贖うということはないならば気付き易いということはないし設置・運営でない fact9: もし仮にあのＨ二Ｏが我慢出来ないならばこの造影効果は我慢出来るがそれは慌ただしくない fact10: 「あの図星は艶めかしくない」ということは成り立つ fact11: もし「あの図星は艶めかしいかあるいは献金するか両方ともである」ということは嘘だとしたらあのＪＣは贖わない fact12: あのＪＣが気付き易いけれど設置・運営でないとしたら「あのＨ二Ｏは我慢出来ない」ということは事実である fact13: 仮にある物は御寒いとすれば「それは慌ただしくないししかも我慢出来ない」ということは誤りである fact14: ＯＢ臭くない物はある fact15: 「この造影効果は我慢出来るが慌ただしくない」ということは事実でない fact16: あのＨ二Ｏは我慢出来ないとしたら「この造影効果は慌ただしくない」ということは成り立つ fact17: もしあの図星は駅売店でないとすれば「それは艶めかしいかもしくは献金するかあるいは両方だ」ということは誤りである fact18: 「この造影効果は我慢出来るしそれに慌ただしい」ということは事実と異なる fact19: 「あのＨ二Ｏは気難しくない」ということは正しい fact20: もしあのＨ二Ｏが気付き易くないならばあのＪＣは贖わなくてまた設置・運営でない fact21: 仮にあの図星は我慢出来ないとしたら「それは贖うかあるいはそれは駅売店である」ということは成り立たない fact22: 仮にあの図星が慌ただしくないとすればこの造影効果は慌ただしいがそれは献金しない fact23: あのＪＣは気付き易くない fact24: 仮に「あのＨ二Ｏは我慢出来るかまたは艶めかしいかまたは両方である」ということは本当でないとしたらあの図星は慌ただしくない fact25: もし仮に「この造影効果は設置・運営であるか艶めかしいかあるいは両方だ」ということは偽であるならあのＪＣは我慢出来ない fact26: この造影効果は慌ただしくない ; $hypothesis$ = あの図星は駅売店である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの図星は駅売店でない; fact17 & assump1 -> int1: 「あの図星は艶めかしいかまたは献金するか両方である」ということは誤りである; int1 & fact11 -> int2: あのＪＣは贖わない; int2 & fact8 -> int3: あのＪＣは気付き易くないしかつ設置・運営であるということはない; int3 & fact1 -> int4: あのＨ二Ｏは我慢出来ない; int4 & fact9 -> int5: この造影効果は我慢出来るが慌ただしくない; int5 & fact15 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もし仮にあのＪＣが気付き易くなくてしかも設置・運営でないならあのＨ二Ｏは我慢出来ない
事実2: もしもこの造影効果は厭わしいとすると「あのＨ二Ｏは御寒い」ということは真実である
事実3: あの御変わりがＯＢ臭いということはないかまたは借り易くないかあるいは両方だとすればこの造影効果は頻出する
事実4: 「ある物は頻出する」ということは事実だとすると厭わしい
事実5: もしも「「ＯＢ臭くない」ということは確かである」ものがあるならあの御変わりはＯＢ臭くないかまたは借り易くない
事実6: あのＪＣは我慢出来るがそれは気付き易くない
事実7: あのＨ二Ｏが贖わなくて我慢出来ないならばあのＪＣは慌ただしいということはない
事実8: もし仮にあのＪＣが贖うということはないならば気付き易いということはないし設置・運営でない
事実9: もし仮にあのＨ二Ｏが我慢出来ないならばこの造影効果は我慢出来るがそれは慌ただしくない
事実10: 「あの図星は艶めかしくない」ということは成り立つ
事実11: もし「あの図星は艶めかしいかあるいは献金するか両方ともである」ということは嘘だとしたらあのＪＣは贖わない
事実12: あのＪＣが気付き易いけれど設置・運営でないとしたら「あのＨ二Ｏは我慢出来ない」ということは事実である
事実13: 仮にある物は御寒いとすれば「それは慌ただしくないししかも我慢出来ない」ということは誤りである
事実14: ＯＢ臭くない物はある
事実15: 「この造影効果は我慢出来るが慌ただしくない」ということは事実でない
事実16: あのＨ二Ｏは我慢出来ないとしたら「この造影効果は慌ただしくない」ということは成り立つ
事実17: もしあの図星は駅売店でないとすれば「それは艶めかしいかもしくは献金するかあるいは両方だ」ということは誤りである
事実18: 「この造影効果は我慢出来るしそれに慌ただしい」ということは事実と異なる
事実19: 「あのＨ二Ｏは気難しくない」ということは正しい
事実20: もしあのＨ二Ｏが気付き易くないならばあのＪＣは贖わなくてまた設置・運営でない
事実21: 仮にあの図星は我慢出来ないとしたら「それは贖うかあるいはそれは駅売店である」ということは成り立たない
事実22: 仮にあの図星が慌ただしくないとすればこの造影効果は慌ただしいがそれは献金しない
事実23: あのＪＣは気付き易くない
事実24: 仮に「あのＨ二Ｏは我慢出来るかまたは艶めかしいかまたは両方である」ということは本当でないとしたらあの図星は慌ただしくない
事実25: もし仮に「この造影効果は設置・運営であるか艶めかしいかあるいは両方だ」ということは偽であるならあのＪＣは我慢出来ない
事実26: この造影効果は慌ただしくない

仮説: あの図星は駅売店である
1. 仮定1: 以下のように仮定する。あの図星は駅売店でない
2. 事実17と仮定1から、推論1: "「あの図星は艶めかしいかまたは献金するか両方である」ということは誤りである"が導かれる
3. 推論1と事実11から、推論2: "あのＪＣは贖わない"が導かれる
4. 推論2と事実8から、推論3: "あのＪＣは気付き易くないしかつ設置・運営であるということはない"が導かれる
5. 推論3と事実1から、推論4: "あのＨ二Ｏは我慢出来ない"が導かれる
6. 推論4と事実9から、推論5: "この造影効果は我慢出来るが慌ただしくない"が導かれる
7. 推論5と事実15から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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