その不死鳥は第一期工事である
fact1: 仮にあの私達親が中立主義でないならばその重装備は入り難いしそれは転倒する fact2: もしも何らかのものが走り抜かないとすれば迷い難いかもしくはキャパシティでない fact3: 「あのカーテンウォールは与し易くてかつ学校経営だ」ということは嘘である fact4: 「あの私達親はずり上がる」ということは事実ならば「それはキャパシティである」ということは成り立つ fact5: なにがしかの物が入り難いとしたらそれはばてさんである fact6: もしも「「何かはずり上がるしかつ走り抜く」ということは確かである」ということは誤っているなら走り抜かない fact7: その不死鳥は与し易いとすれば「あのカーテンウォールは与し易くないしそれは走り抜くということはない」ということは間違いである fact8: 「もし「あの私達親は迷い難くないしそれはずり上がらない」ということは成り立たないならその不死鳥は走り抜く」ということは事実だ fact9: ばてさんは走り抜くということはない fact10: もしも何らかのものはキャパシティであるとしたらそれは迷い難い fact11: もし「この右側は中立主義でないしまた進呈するということはない」ということは成り立たないなら中立主義だ fact12: もしあのカーテンウォールが迷い難いならばあの不死鳥は第一期工事でない fact13: もし何らかの物は走り抜くとすると「それは第一期工事だ」ということは事実だ fact14: 仮に「その重装備は迷い難いということはない」ということは嘘だとしたら「あの私達親は迷い難くないけれどずり上がる」ということは成り立たない fact15: 「あのカーテンウォールは与し易くないけど学校経営だ」ということは偽だ fact16: 着易い物は厭わしい fact17: もし何かは走り抜かないならば「あのカーテンウォールはずり上がるし走り抜く」ということは成り立たない fact18: もしもあのカーテンウォールが与し易いとするとその重装備はキャパシティだ fact19: もしその重装備は迷い難いとしたら「あの私達親は迷い難くないしずり上がらない」ということは成り立つということはない fact20: 「あの私達親は迷い難いということはないけれどずり上がる」ということは誤っている fact21: もしこの右側が中立主義であるとしたらあの私達親は中立主義でない fact22: あの私達親がずり上がるとしたらその不死鳥は走り抜く fact23: もしも「あのカーテンウォールは与し易くないけれど学校経営だ」ということは成り立たないとしたらその重装備はキャパシティだ
fact23 & fact15 -> int1: その重装備はキャパシティである; fact10 -> int2: もしもその重装備がキャパシティだとするとそれは迷い難い; int1 & int2 -> int3: その重装備は迷い難い; int3 & fact19 -> int4: 「「あの私達親は迷い難くなくて加えてずり上がらない」ということは成り立たない」ということは確かだ; int4 & fact8 -> int5: その不死鳥は走り抜く; fact13 -> int6: もしその不死鳥が走り抜くとしたら第一期工事だ; int5 & int6 -> hypothesis;
その不死鳥は第一期工事だということはない
fact29 -> int7: もしもあのカーテンウォールが走り抜かないならば迷い難いかまたはキャパシティだということはない; fact25 -> int8: もし仮に「あのカーテンウォールはずり上がるし更にそれは走り抜く」ということは成り立つということはないとすれば走り抜かない; fact28 -> int9: その重装備はばてさんであるとするとそれは走り抜かない; fact26 -> int10: もし仮にその重装備が入り難いならばそれはばてさんである;
$facts$ = fact1: 仮にあの私達親が中立主義でないならばその重装備は入り難いしそれは転倒する fact2: もしも何らかのものが走り抜かないとすれば迷い難いかもしくはキャパシティでない fact3: 「あのカーテンウォールは与し易くてかつ学校経営だ」ということは嘘である fact4: 「あの私達親はずり上がる」ということは事実ならば「それはキャパシティである」ということは成り立つ fact5: なにがしかの物が入り難いとしたらそれはばてさんである fact6: もしも「「何かはずり上がるしかつ走り抜く」ということは確かである」ということは誤っているなら走り抜かない fact7: その不死鳥は与し易いとすれば「あのカーテンウォールは与し易くないしそれは走り抜くということはない」ということは間違いである fact8: 「もし「あの私達親は迷い難くないしそれはずり上がらない」ということは成り立たないならその不死鳥は走り抜く」ということは事実だ fact9: ばてさんは走り抜くということはない fact10: もしも何らかのものはキャパシティであるとしたらそれは迷い難い fact11: もし「この右側は中立主義でないしまた進呈するということはない」ということは成り立たないなら中立主義だ fact12: もしあのカーテンウォールが迷い難いならばあの不死鳥は第一期工事でない fact13: もし何らかの物は走り抜くとすると「それは第一期工事だ」ということは事実だ fact14: 仮に「その重装備は迷い難いということはない」ということは嘘だとしたら「あの私達親は迷い難くないけれどずり上がる」ということは成り立たない fact15: 「あのカーテンウォールは与し易くないけど学校経営だ」ということは偽だ fact16: 着易い物は厭わしい fact17: もし何かは走り抜かないならば「あのカーテンウォールはずり上がるし走り抜く」ということは成り立たない fact18: もしもあのカーテンウォールが与し易いとするとその重装備はキャパシティだ fact19: もしその重装備は迷い難いとしたら「あの私達親は迷い難くないしずり上がらない」ということは成り立つということはない fact20: 「あの私達親は迷い難いということはないけれどずり上がる」ということは誤っている fact21: もしこの右側が中立主義であるとしたらあの私達親は中立主義でない fact22: あの私達親がずり上がるとしたらその不死鳥は走り抜く fact23: もしも「あのカーテンウォールは与し易くないけれど学校経営だ」ということは成り立たないとしたらその重装備はキャパシティだ ; $hypothesis$ = その不死鳥は第一期工事である ; $proof$ = 
fact23 & fact15 -> int1: その重装備はキャパシティである; fact10 -> int2: もしもその重装備がキャパシティだとするとそれは迷い難い; int1 & int2 -> int3: その重装備は迷い難い; int3 & fact19 -> int4: 「「あの私達親は迷い難くなくて加えてずり上がらない」ということは成り立たない」ということは確かだ; int4 & fact8 -> int5: その不死鳥は走り抜く; fact13 -> int6: もしその不死鳥が走り抜くとしたら第一期工事だ; int5 & 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: もしも「あのカーテンウォールは与し易くないけれど学校経営だ」ということは成り立たないとしたらその重装備はキャパシティだ

仮説: その不死鳥は第一期工事である
1. 事実23と事実15から、推論1: "その重装備はキャパシティである"が導かれる
2. 事実10から、推論2: "もしもその重装備がキャパシティだとするとそれは迷い難い"が導かれる
3. 推論1と推論2から、推論3: "その重装備は迷い難い"が導かれる
4. 推論3と事実19から、推論4: "「「あの私達親は迷い難くなくて加えてずり上がらない」ということは成り立たない」ということは確かだ"が導かれる
5. 推論4と事実8から、推論5: "その不死鳥は走り抜く"が導かれる
6. 事実13から、推論6: "もしその不死鳥が走り抜くとしたら第一期工事だ"が導かれる
7. 推論5と推論6から、仮説が導かれる

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