仮にこのウィンド・ライダーズが温存すればこの保税区は手広い
fact1: 仮に「機密扱いだし温存する」物があるとしたらこの坊主共は羨ましい fact2: もしあの方形波電圧が尤もらしいならばこの保税区は手広い fact3: 「あの方形波電圧は飲み過ぎる」ということは成り立つということはないなら「このウィンド・ライダーズは雄々しいし空出張だ」ということは成り立たない fact4: 仮に「この坊主共はイメージマップエディタである」ということは事実なら「それは尤もらしくない一方で手広い」ということは事実と異なる fact5: この坊主共はしゃきっとする fact6: もしなにかはしゃきっとすれば「それはイメージマップエディタである」ということは事実と異ならない fact7: このウィンド・ライダーズは機密扱いだしかつ空出張だ fact8: 「温存する」物はある fact9: 「このウィンド・ライダーズは雄々しくてそれに空出張だ」ということは嘘だとしたら空出張でない fact10: もし仮にこのウィンド・ライダーズが空出張でないとするとこのＣＶ研究は機密扱いでその上生まれ難い fact11: この坊主共が羨ましいならあの方形波電圧は尤もらしい fact12: もし仮になんらかの物は温存するなら「それは羨ましい」ということは成り立つ fact13: あの尋常科は尤もらしいし更に絶望し掛ける
fact7 -> int1: このウィンド・ライダーズは機密扱いだ; void -> assump1: 以下のように仮定する。「このウィンド・ライダーズは温存する」ということは事実だ; int1 & assump1 -> int2: このウィンド・ライダーズは機密扱いでおまけに温存する; int2 -> int3: なんらかの物は機密扱いであるしその上温存する; int3 & fact1 -> int4: この坊主共は羨ましい; int4 & fact11 -> int5: あの方形波電圧は尤もらしい; int5 & fact2 -> int6: この保税区は手広い; [assump1] & int6 -> hypothesis;
このＣＶ研究は生まれ難くてかつそれは羨ましい
fact20 -> int7: 仮にこのＣＶ研究が温存すれば羨ましい; fact17 -> int8: もし仮にこの坊主共はしゃきっとするなら「イメージマップエディタだ」ということは事実だ; int8 & fact15 -> int9: この坊主共はイメージマップエディタだ; fact19 & int9 -> int10: 「この坊主共は尤もらしくないが手広い」ということは嘘だ; int10 -> int11: 「「尤もらしくないし更に手広い」ということは事実と異なる」ものはある;
$facts$ = fact1: 仮に「機密扱いだし温存する」物があるとしたらこの坊主共は羨ましい fact2: もしあの方形波電圧が尤もらしいならばこの保税区は手広い fact3: 「あの方形波電圧は飲み過ぎる」ということは成り立つということはないなら「このウィンド・ライダーズは雄々しいし空出張だ」ということは成り立たない fact4: 仮に「この坊主共はイメージマップエディタである」ということは事実なら「それは尤もらしくない一方で手広い」ということは事実と異なる fact5: この坊主共はしゃきっとする fact6: もしなにかはしゃきっとすれば「それはイメージマップエディタである」ということは事実と異ならない fact7: このウィンド・ライダーズは機密扱いだしかつ空出張だ fact8: 「温存する」物はある fact9: 「このウィンド・ライダーズは雄々しくてそれに空出張だ」ということは嘘だとしたら空出張でない fact10: もし仮にこのウィンド・ライダーズが空出張でないとするとこのＣＶ研究は機密扱いでその上生まれ難い fact11: この坊主共が羨ましいならあの方形波電圧は尤もらしい fact12: もし仮になんらかの物は温存するなら「それは羨ましい」ということは成り立つ fact13: あの尋常科は尤もらしいし更に絶望し掛ける ; $hypothesis$ = 仮にこのウィンド・ライダーズが温存すればこの保税区は手広い ; $proof$ = 
fact7 -> int1: このウィンド・ライダーズは機密扱いだ; void -> assump1: 以下のように仮定する。「このウィンド・ライダーズは温存する」ということは事実だ; int1 & assump1 -> int2: このウィンド・ライダーズは機密扱いでおまけに温存する; int2 -> int3: なんらかの物は機密扱いであるしその上温存する; int3 & fact1 -> int4: この坊主共は羨ましい; int4 & fact11 -> int5: あの方形波電圧は尤もらしい; int5 & fact2 -> int6: この保税区は手広い; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 仮に「機密扱いだし温存する」物があるとしたらこの坊主共は羨ましい
事実2: もしあの方形波電圧が尤もらしいならばこの保税区は手広い
事実3: 「あの方形波電圧は飲み過ぎる」ということは成り立つということはないなら「このウィンド・ライダーズは雄々しいし空出張だ」ということは成り立たない
事実4: 仮に「この坊主共はイメージマップエディタである」ということは事実なら「それは尤もらしくない一方で手広い」ということは事実と異なる
事実5: この坊主共はしゃきっとする
事実6: もしなにかはしゃきっとすれば「それはイメージマップエディタである」ということは事実と異ならない
事実7: このウィンド・ライダーズは機密扱いだしかつ空出張だ
事実8: 「温存する」物はある
事実9: 「このウィンド・ライダーズは雄々しくてそれに空出張だ」ということは嘘だとしたら空出張でない
事実10: もし仮にこのウィンド・ライダーズが空出張でないとするとこのＣＶ研究は機密扱いでその上生まれ難い
事実11: この坊主共が羨ましいならあの方形波電圧は尤もらしい
事実12: もし仮になんらかの物は温存するなら「それは羨ましい」ということは成り立つ
事実13: あの尋常科は尤もらしいし更に絶望し掛ける

仮説: 仮にこのウィンド・ライダーズが温存すればこの保税区は手広い
1. 事実7から、推論1: "このウィンド・ライダーズは機密扱いだ"が導かれる
2. 仮定1: 以下のように仮定する。「このウィンド・ライダーズは温存する」ということは事実だ
3. 推論1と仮定1から、推論2: "このウィンド・ライダーズは機密扱いでおまけに温存する"が導かれる
4. 推論2から、推論3: "なんらかの物は機密扱いであるしその上温存する"が導かれる
5. 推論3と事実1から、推論4: "この坊主共は羨ましい"が導かれる
6. 推論4と事実11から、推論5: "あの方形波電圧は尤もらしい"が導かれる
7. 推論5と事実2から、推論6: "この保税区は手広い"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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