あの自主規制は来館するということはない
fact1: もし何らかの物が腹立たしいならばそれは住み易い fact2: この護衛無しはきつくない fact3: もし仮にあの自主規制は載地式自走式立体駐車場設備でないとすると「それは来館しない」ということは事実と異ならない fact4: もし仮に「「「あの一乗寺は踏み出せるしチューニングする」ということは事実だ」ということは嘘だ」ということは本当であるとしたらこの護衛無しはチューニングするということはない fact5: もし仮になにかは挑戦し続けないとしたらそれは腹立たしいかあるいは押し隠すかまたは両方ともである fact6: もしある物は載地式自走式立体駐車場設備でないとすると来館しない fact7: もし仮にこの護衛無しはチューニングしないとしたら「それは挑戦し続けるし煙たい」ということは成り立たない fact8: あの空中写真は平生でなくて居住用不動産でない fact9: 仮に「あるものは載地式自走式立体駐車場設備であるがしかし住み易くない」ということは成り立たないとすれば「来館するということはない」ということは成り立つ fact10: あの一乗寺は機械力でない fact11: 仮に「なにかは挑戦し続けるしまた煙たい」ということは成り立たないなら挑戦し続けない fact12: あの一乗寺は機械力でないとすると「踏み出せるしその上チューニングする」ということは偽である fact13: 仮に何かは載地式自走式立体駐車場設備ならば「それは息苦しいということはないし更にきついということはない」ということは偽である fact14: 仮に「この護衛無しは住み易い」ということは成り立つとしたらあの自主規制は載地式自走式立体駐車場設備だ fact15: もし仮に「何かは息苦しいということはないしそれはきつかない」ということは間違っているとすると「来館する」ということは本当である fact16: この護衛無しは息苦しくないしきついということはない fact17: 仮にこの護衛無しは息苦しくないならば「あの自主規制は載地式自走式立体駐車場設備だが住み易くない」ということは正しくない
fact16 -> int1: この護衛無しは息苦しくない; int1 & fact17 -> int2: 「あの自主規制は載地式自走式立体駐車場設備であるけれどそれは住み易くない」ということは成り立たない; fact9 -> int3: 「あの自主規制が載地式自走式立体駐車場設備だけど住み易くない」ということは成り立たないならば「来館するということはない」ということは真実である; int2 & int3 -> hypothesis;
あの自主規制は来館する
fact18 -> int4: もし仮に「あの自主規制は息苦しいということはないし加えてきつかない」ということは事実と異なるとすれば来館する; fact24 -> int5: あの自主規制は載地式自走式立体駐車場設備だとしたら「それは息苦しくなくてきついということはない」ということは嘘である; fact21 -> int6: もしもこの護衛無しが挑戦し続けないなら腹立たしいかもしくはそれは押し隠すかまたは両方ともである; fact20 -> int7: もし仮に「この護衛無しは挑戦し続けるししかも煙たい」ということは間違いだとしたらそれは挑戦し続けない; fact26 & fact25 -> int8: 「あの一乗寺は踏み出せるし加えてチューニングする」ということは偽だ; fact27 & int8 -> int9: この護衛無しはチューニングしない; fact19 & int9 -> int10: 「この護衛無しは挑戦し続けるしまた煙たい」ということは成り立たない; int7 & int10 -> int11: この護衛無しは挑戦し続けない; int6 & int11 -> int12: この護衛無しは腹立たしいか押し隠すかあるいは両方である; fact22 -> int13: この護衛無しが腹立たしいなら住み易い;
$facts$ = fact1: もし何らかの物が腹立たしいならばそれは住み易い fact2: この護衛無しはきつくない fact3: もし仮にあの自主規制は載地式自走式立体駐車場設備でないとすると「それは来館しない」ということは事実と異ならない fact4: もし仮に「「「あの一乗寺は踏み出せるしチューニングする」ということは事実だ」ということは嘘だ」ということは本当であるとしたらこの護衛無しはチューニングするということはない fact5: もし仮になにかは挑戦し続けないとしたらそれは腹立たしいかあるいは押し隠すかまたは両方ともである fact6: もしある物は載地式自走式立体駐車場設備でないとすると来館しない fact7: もし仮にこの護衛無しはチューニングしないとしたら「それは挑戦し続けるし煙たい」ということは成り立たない fact8: あの空中写真は平生でなくて居住用不動産でない fact9: 仮に「あるものは載地式自走式立体駐車場設備であるがしかし住み易くない」ということは成り立たないとすれば「来館するということはない」ということは成り立つ fact10: あの一乗寺は機械力でない fact11: 仮に「なにかは挑戦し続けるしまた煙たい」ということは成り立たないなら挑戦し続けない fact12: あの一乗寺は機械力でないとすると「踏み出せるしその上チューニングする」ということは偽である fact13: 仮に何かは載地式自走式立体駐車場設備ならば「それは息苦しいということはないし更にきついということはない」ということは偽である fact14: 仮に「この護衛無しは住み易い」ということは成り立つとしたらあの自主規制は載地式自走式立体駐車場設備だ fact15: もし仮に「何かは息苦しいということはないしそれはきつかない」ということは間違っているとすると「来館する」ということは本当である fact16: この護衛無しは息苦しくないしきついということはない fact17: 仮にこの護衛無しは息苦しくないならば「あの自主規制は載地式自走式立体駐車場設備だが住み易くない」ということは正しくない ; $hypothesis$ = あの自主規制は来館するということはない ; $proof$ = 
fact16 -> int1: この護衛無しは息苦しくない; int1 & fact17 -> int2: 「あの自主規制は載地式自走式立体駐車場設備であるけれどそれは住み易くない」ということは成り立たない; fact9 -> int3: 「あの自主規制が載地式自走式立体駐車場設備だけど住み易くない」ということは成り立たないならば「来館するということはない」ということは真実である; int2 & int3 -> hypothesis; __PROVED__
事実1: もし何らかの物が腹立たしいならばそれは住み易い
事実2: この護衛無しはきつくない
事実3: もし仮にあの自主規制は載地式自走式立体駐車場設備でないとすると「それは来館しない」ということは事実と異ならない
事実4: もし仮に「「「あの一乗寺は踏み出せるしチューニングする」ということは事実だ」ということは嘘だ」ということは本当であるとしたらこの護衛無しはチューニングするということはない
事実5: もし仮になにかは挑戦し続けないとしたらそれは腹立たしいかあるいは押し隠すかまたは両方ともである
事実6: もしある物は載地式自走式立体駐車場設備でないとすると来館しない
事実7: もし仮にこの護衛無しはチューニングしないとしたら「それは挑戦し続けるし煙たい」ということは成り立たない
事実8: あの空中写真は平生でなくて居住用不動産でない
事実9: 仮に「あるものは載地式自走式立体駐車場設備であるがしかし住み易くない」ということは成り立たないとすれば「来館するということはない」ということは成り立つ
事実10: あの一乗寺は機械力でない
事実11: 仮に「なにかは挑戦し続けるしまた煙たい」ということは成り立たないなら挑戦し続けない
事実12: あの一乗寺は機械力でないとすると「踏み出せるしその上チューニングする」ということは偽である
事実13: 仮に何かは載地式自走式立体駐車場設備ならば「それは息苦しいということはないし更にきついということはない」ということは偽である
事実14: 仮に「この護衛無しは住み易い」ということは成り立つとしたらあの自主規制は載地式自走式立体駐車場設備だ
事実15: もし仮に「何かは息苦しいということはないしそれはきつかない」ということは間違っているとすると「来館する」ということは本当である
事実16: この護衛無しは息苦しくないしきついということはない
事実17: 仮にこの護衛無しは息苦しくないならば「あの自主規制は載地式自走式立体駐車場設備だが住み易くない」ということは正しくない

仮説: あの自主規制は来館するということはない
1. 事実16から、推論1: "この護衛無しは息苦しくない"が導かれる
2. 推論1と事実17から、推論2: "「あの自主規制は載地式自走式立体駐車場設備であるけれどそれは住み易くない」ということは成り立たない"が導かれる
3. 事実9から、推論3: "「あの自主規制が載地式自走式立体駐車場設備だけど住み易くない」ということは成り立たないならば「来館するということはない」ということは真実である"が導かれる
4. 推論2と推論3から、仮説が導かれる

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