あの竹麦魚は名称変更するということはない
fact1: もしもあの大衆レストランが来航するなら減圧しない fact2: もし仮にあの大衆レストランが看取するしそれに来航するとしたらあの竹麦魚は名称変更しない fact3: あの竹麦魚が興奮し易いということはないけどそれが名称変更するとしたらあの映画ファンはしかとでない fact4: もしあの映画ファンが興奮し易くないならあの大衆レストランは看取しない fact5: あの映画ファンが其れっぽいとすればそれは関われる fact6: 「凡人である」ものはある fact7: 「あの映画ファンは気付き難いということはないがしかししかとである」ということは成り立たない fact8: もしあの大衆レストランが看取しないがそれが来航するとしたらあの竹麦魚は名称変更しない fact9: もしもなにがしかのものが来航するか看取しないかもしくは両方ともだとすればそれは減圧しない fact10: もし仮になんらかのものはメイド服であるとすればそれは減圧する fact11: 仮にこの当はしかとであるとするとそれは気付き難い fact12: 仮にあの映画ファンが興奮し易いならばメイド服だ fact13: 仮にあの竹麦魚が名称変更しない一方で気付き難いならあの映画ファンは興奮し易くない fact14: 「仮にその五千万円以上経営が来航しないしその上気付き難いということはないとしたらその五千万円以上経営は看取しない」ということは成り立つ fact15: もし「何らかのものはメイド服である」ということは成り立つとすれば興奮し易い fact16: 「あの映画ファンは気付き難くてまたしかとだ」ということは成り立たない fact17: もし仮に「「凡人だ」ということは正しい」物があるならこの当は抜けるかあるいはしかとだ fact18: もし「あの映画ファンは気付き難くないけどしかとだ」ということは事実と異なるならそれは減圧しない fact19: なにがしかの物が興奮し易いならそれは名称変更する fact20: 仮にあの映画ファンが興奮し易いということはないならばあの大衆レストランは看取しないけれど来航する fact21: もしもこの当が抜けるとしたら気付き難い fact22: 仮にあの竹麦魚は興奮し易くないとすれば「あの映画ファンは気付き難くない一方で名称変更する」ということは間違いでない
void -> assump1: 以下のように仮定する。あの映画ファンは興奮し易い; fact12 & assump1 -> int1: あの映画ファンはメイド服である; fact10 -> int2: もし仮にあの映画ファンがメイド服だとするとそれは減圧する; int1 & int2 -> int3: あの映画ファンは減圧する; fact7 & fact18 -> int4: あの映画ファンは減圧するということはない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの映画ファンは興奮し易くない; int6 & fact20 -> int7: あの大衆レストランは看取しないけど来航する; int7 & fact8 -> hypothesis;
あの竹麦魚は名称変更する
fact24 -> int8: もしあの大衆レストランが来航するかそれは看取しないかもしくはどちらもであるならばそれは減圧しない; fact27 & fact25 -> int9: この当は抜けるかあるいはそれはしかとだ; int9 & fact23 & fact26 -> int10: この当は気付き難い; int10 -> int11: 「気付き難い」ものはある;
$facts$ = fact1: もしもあの大衆レストランが来航するなら減圧しない fact2: もし仮にあの大衆レストランが看取するしそれに来航するとしたらあの竹麦魚は名称変更しない fact3: あの竹麦魚が興奮し易いということはないけどそれが名称変更するとしたらあの映画ファンはしかとでない fact4: もしあの映画ファンが興奮し易くないならあの大衆レストランは看取しない fact5: あの映画ファンが其れっぽいとすればそれは関われる fact6: 「凡人である」ものはある fact7: 「あの映画ファンは気付き難いということはないがしかししかとである」ということは成り立たない fact8: もしあの大衆レストランが看取しないがそれが来航するとしたらあの竹麦魚は名称変更しない fact9: もしもなにがしかのものが来航するか看取しないかもしくは両方ともだとすればそれは減圧しない fact10: もし仮になんらかのものはメイド服であるとすればそれは減圧する fact11: 仮にこの当はしかとであるとするとそれは気付き難い fact12: 仮にあの映画ファンが興奮し易いならばメイド服だ fact13: 仮にあの竹麦魚が名称変更しない一方で気付き難いならあの映画ファンは興奮し易くない fact14: 「仮にその五千万円以上経営が来航しないしその上気付き難いということはないとしたらその五千万円以上経営は看取しない」ということは成り立つ fact15: もし「何らかのものはメイド服である」ということは成り立つとすれば興奮し易い fact16: 「あの映画ファンは気付き難くてまたしかとだ」ということは成り立たない fact17: もし仮に「「凡人だ」ということは正しい」物があるならこの当は抜けるかあるいはしかとだ fact18: もし「あの映画ファンは気付き難くないけどしかとだ」ということは事実と異なるならそれは減圧しない fact19: なにがしかの物が興奮し易いならそれは名称変更する fact20: 仮にあの映画ファンが興奮し易いということはないならばあの大衆レストランは看取しないけれど来航する fact21: もしもこの当が抜けるとしたら気付き難い fact22: 仮にあの竹麦魚は興奮し易くないとすれば「あの映画ファンは気付き難くない一方で名称変更する」ということは間違いでない ; $hypothesis$ = あの竹麦魚は名称変更するということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの映画ファンは興奮し易い; fact12 & assump1 -> int1: あの映画ファンはメイド服である; fact10 -> int2: もし仮にあの映画ファンがメイド服だとするとそれは減圧する; int1 & int2 -> int3: あの映画ファンは減圧する; fact7 & fact18 -> int4: あの映画ファンは減圧するということはない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの映画ファンは興奮し易くない; int6 & fact20 -> int7: あの大衆レストランは看取しないけど来航する; int7 & fact8 -> hypothesis; __PROVED__
事実1: もしもあの大衆レストランが来航するなら減圧しない
事実2: もし仮にあの大衆レストランが看取するしそれに来航するとしたらあの竹麦魚は名称変更しない
事実3: あの竹麦魚が興奮し易いということはないけどそれが名称変更するとしたらあの映画ファンはしかとでない
事実4: もしあの映画ファンが興奮し易くないならあの大衆レストランは看取しない
事実5: あの映画ファンが其れっぽいとすればそれは関われる
事実6: 「凡人である」ものはある
事実7: 「あの映画ファンは気付き難いということはないがしかししかとである」ということは成り立たない
事実8: もしあの大衆レストランが看取しないがそれが来航するとしたらあの竹麦魚は名称変更しない
事実9: もしもなにがしかのものが来航するか看取しないかもしくは両方ともだとすればそれは減圧しない
事実10: もし仮になんらかのものはメイド服であるとすればそれは減圧する
事実11: 仮にこの当はしかとであるとするとそれは気付き難い
事実12: 仮にあの映画ファンが興奮し易いならばメイド服だ
事実13: 仮にあの竹麦魚が名称変更しない一方で気付き難いならあの映画ファンは興奮し易くない
事実14: 「仮にその五千万円以上経営が来航しないしその上気付き難いということはないとしたらその五千万円以上経営は看取しない」ということは成り立つ
事実15: もし「何らかのものはメイド服である」ということは成り立つとすれば興奮し易い
事実16: 「あの映画ファンは気付き難くてまたしかとだ」ということは成り立たない
事実17: もし仮に「「凡人だ」ということは正しい」物があるならこの当は抜けるかあるいはしかとだ
事実18: もし「あの映画ファンは気付き難くないけどしかとだ」ということは事実と異なるならそれは減圧しない
事実19: なにがしかの物が興奮し易いならそれは名称変更する
事実20: 仮にあの映画ファンが興奮し易いということはないならばあの大衆レストランは看取しないけれど来航する
事実21: もしもこの当が抜けるとしたら気付き難い
事実22: 仮にあの竹麦魚は興奮し易くないとすれば「あの映画ファンは気付き難くない一方で名称変更する」ということは間違いでない

仮説: あの竹麦魚は名称変更するということはない
1. 仮定1: 以下のように仮定する。あの映画ファンは興奮し易い
2. 事実12と仮定1から、推論1: "あの映画ファンはメイド服である"が導かれる
3. 事実10から、推論2: "もし仮にあの映画ファンがメイド服だとするとそれは減圧する"が導かれる
4. 推論1と推論2から、推論3: "あの映画ファンは減圧する"が導かれる
5. 事実7と事実18から、推論4: "あの映画ファンは減圧するということはない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの映画ファンは興奮し易くない"が導かれる
8. 推論6と事実20から、推論7: "あの大衆レストランは看取しないけど来航する"が導かれる
9. 推論7と事実8から、仮説が導かれる

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