「もしモンテするとすると機内でない」物はある
fact1: もし仮に「ある物はスタディであるけど離席しない」ということは成り立たないならば機内である fact2: もし「この押し込み式ファンはスタディだけど離席しない」ということは誤りならば「機内だ」ということは成り立つ fact3: 「この押し込み式ファンはスタディでしかも離席する」ということは成り立たない fact4: 何かは離席するなら機内でない fact5: もしもこの押し込み式ファンはモンテするとすると「それは機内だ」ということは正しい fact6: 仮にこの押し込み式ファンはモンテすれば「スタディで離席する」ということは成り立たない fact7: もしもこの押し込み式ファンが離席するとしたらそれは機内でない fact8: 「その皮膚科医は地域志向だけれどスタディでない」ということは成り立たないなら機序だということはない fact9: 「「モンテする」ということは正しいなら機内な」ものはある fact10: このいんがまはモンテする fact11: もし「「何らかのものはスタディであるけれどそれは離席しない」ということは確かである」ということは誤っていればそれは機内であるということはない fact12: 「もし仮に化学伝達物質なら幅広くない」物はある fact13: もしもこの押し込み式ファンはモンテすれば「スタディだけど離席しない」ということは間違いだ
void -> assump1: 以下のように仮定する。この押し込み式ファンはモンテする; fact13 & assump1 -> int1: 「この押し込み式ファンはスタディだけど離席するということはない」ということは偽だ; fact11 -> int2: もしも「この押し込み式ファンはスタディである一方で離席しない」ということは事実と異なるとしたらそれは機内でない; int1 & int2 -> int3: この押し込み式ファンは機内でない; [assump1] & int3 -> int4: もし仮にこの押し込み式ファンがモンテするとすればそれは機内でない; int4 -> hypothesis;
$facts$ = fact1: もし仮に「ある物はスタディであるけど離席しない」ということは成り立たないならば機内である fact2: もし「この押し込み式ファンはスタディだけど離席しない」ということは誤りならば「機内だ」ということは成り立つ fact3: 「この押し込み式ファンはスタディでしかも離席する」ということは成り立たない fact4: 何かは離席するなら機内でない fact5: もしもこの押し込み式ファンはモンテするとすると「それは機内だ」ということは正しい fact6: 仮にこの押し込み式ファンはモンテすれば「スタディで離席する」ということは成り立たない fact7: もしもこの押し込み式ファンが離席するとしたらそれは機内でない fact8: 「その皮膚科医は地域志向だけれどスタディでない」ということは成り立たないなら機序だということはない fact9: 「「モンテする」ということは正しいなら機内な」ものはある fact10: このいんがまはモンテする fact11: もし「「何らかのものはスタディであるけれどそれは離席しない」ということは確かである」ということは誤っていればそれは機内であるということはない fact12: 「もし仮に化学伝達物質なら幅広くない」物はある fact13: もしもこの押し込み式ファンはモンテすれば「スタディだけど離席しない」ということは間違いだ ; $hypothesis$ = 「もしモンテするとすると機内でない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。この押し込み式ファンはモンテする; fact13 & assump1 -> int1: 「この押し込み式ファンはスタディだけど離席するということはない」ということは偽だ; fact11 -> int2: もしも「この押し込み式ファンはスタディである一方で離席しない」ということは事実と異なるとしたらそれは機内でない; int1 & int2 -> int3: この押し込み式ファンは機内でない; [assump1] & int3 -> int4: もし仮にこの押し込み式ファンがモンテするとすればそれは機内でない; int4 -> hypothesis; __PROVED__
事実1: もし仮に「ある物はスタディであるけど離席しない」ということは成り立たないならば機内である
事実2: もし「この押し込み式ファンはスタディだけど離席しない」ということは誤りならば「機内だ」ということは成り立つ
事実3: 「この押し込み式ファンはスタディでしかも離席する」ということは成り立たない
事実4: 何かは離席するなら機内でない
事実5: もしもこの押し込み式ファンはモンテするとすると「それは機内だ」ということは正しい
事実6: 仮にこの押し込み式ファンはモンテすれば「スタディで離席する」ということは成り立たない
事実7: もしもこの押し込み式ファンが離席するとしたらそれは機内でない
事実8: 「その皮膚科医は地域志向だけれどスタディでない」ということは成り立たないなら機序だということはない
事実9: 「「モンテする」ということは正しいなら機内な」ものはある
事実10: このいんがまはモンテする
事実11: もし「「何らかのものはスタディであるけれどそれは離席しない」ということは確かである」ということは誤っていればそれは機内であるということはない
事実12: 「もし仮に化学伝達物質なら幅広くない」物はある
事実13: もしもこの押し込み式ファンはモンテすれば「スタディだけど離席しない」ということは間違いだ

仮説: 「もしモンテするとすると機内でない」物はある
1. 仮定1: 以下のように仮定する。この押し込み式ファンはモンテする
2. 事実13と仮定1から、推論1: "「この押し込み式ファンはスタディだけど離席するということはない」ということは偽だ"が導かれる
3. 事実11から、推論2: "もしも「この押し込み式ファンはスタディである一方で離席しない」ということは事実と異なるとしたらそれは機内でない"が導かれる
4. 推論1と推論2から、推論3: "この押し込み式ファンは機内でない"が導かれる
5. [仮定1]と推論3から、推論4: "もし仮にこの押し込み式ファンがモンテするとすればそれは機内でない"が導かれる
6. 推論4から、仮説が導かれる

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