あの皇恩は怖じ気付かない
fact1: 仮にこの年金現価率表が飛行機らしくないし成功し易くないとすればこの謹白は成功し易くない fact2: 仮に何らかのものが縦断するとすれば系列組織である fact3: あのシリコンサイクルは憎しない fact4: 何らかのものはむず痒くなくてしかもそれは十八ＷＧでない fact5: もしもあの皇恩は成功し易いとすると「綻びるということはなくてそれは御住まいに成らない」ということは成り立たない fact6: もしもあのシリコンサイクルは憎しということはないとすれば「それは十八ＷＧで御住まいに成る」ということは事実だ fact7: あのヒドロキシラーゼは綻びる fact8: 仮に「あの皇恩は綻びないし更に御住まいに成らない」ということは誤りであるならばそれは綻びる fact9: この年金現価率表は飛行機らしくないし成功し易いということはない fact10: あの皇恩は成功し易い fact11: 仮にこの謹白は成功し易いということはないなら「それは系列組織であるしかつ綻びる」ということは間違っている fact12: もしあるものがむず痒くなくて十八ＷＧでないとするとあの皇恩は縦断する fact13: むず痒い物は怖じ気付く fact14: もし仮に系列組織が怖じ気付くとするとそれは綻びない
fact4 & fact12 -> int1: あの皇恩は縦断する; fact2 -> int2: あの皇恩が縦断するならそれは系列組織である; int1 & int2 -> int3: あの皇恩は系列組織である; void -> assump1: 以下のように仮定する。あの皇恩は怖じ気付く; int3 & assump1 -> int4: 「あの皇恩が系列組織だしおまけに怖じ気付く」ということは成り立つ; fact14 -> int5: もしあの皇恩が系列組織でそれが怖じ気付くとしたら綻びるということはない; int4 & int5 -> int6: あの皇恩は綻びない; fact5 & fact10 -> int7: 「あの皇恩は綻びないし加えて御住まいに成らない」ということは間違いである; int7 & fact8 -> int8: あの皇恩は綻びる; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
あの皇恩は怖じ気付く
fact19 -> int10: あの皇恩はむず痒いとすると「それは怖じ気付く」ということは成り立つ; fact20 & fact17 -> int11: あのシリコンサイクルは十八ＷＧだし御住まいに成る; int11 -> int12: あのシリコンサイクルは十八ＷＧである; fact16 & fact18 -> int13: この謹白は成功し易くない; fact15 & int13 -> int14: 「この謹白は系列組織だし綻びる」ということは成り立たない; int14 -> int15: 「「系列組織であるしその上綻びる」ということは偽な」物はある;
$facts$ = fact1: 仮にこの年金現価率表が飛行機らしくないし成功し易くないとすればこの謹白は成功し易くない fact2: 仮に何らかのものが縦断するとすれば系列組織である fact3: あのシリコンサイクルは憎しない fact4: 何らかのものはむず痒くなくてしかもそれは十八ＷＧでない fact5: もしもあの皇恩は成功し易いとすると「綻びるということはなくてそれは御住まいに成らない」ということは成り立たない fact6: もしもあのシリコンサイクルは憎しということはないとすれば「それは十八ＷＧで御住まいに成る」ということは事実だ fact7: あのヒドロキシラーゼは綻びる fact8: 仮に「あの皇恩は綻びないし更に御住まいに成らない」ということは誤りであるならばそれは綻びる fact9: この年金現価率表は飛行機らしくないし成功し易いということはない fact10: あの皇恩は成功し易い fact11: 仮にこの謹白は成功し易いということはないなら「それは系列組織であるしかつ綻びる」ということは間違っている fact12: もしあるものがむず痒くなくて十八ＷＧでないとするとあの皇恩は縦断する fact13: むず痒い物は怖じ気付く fact14: もし仮に系列組織が怖じ気付くとするとそれは綻びない ; $hypothesis$ = あの皇恩は怖じ気付かない ; $proof$ = 
fact4 & fact12 -> int1: あの皇恩は縦断する; fact2 -> int2: あの皇恩が縦断するならそれは系列組織である; int1 & int2 -> int3: あの皇恩は系列組織である; void -> assump1: 以下のように仮定する。あの皇恩は怖じ気付く; int3 & assump1 -> int4: 「あの皇恩が系列組織だしおまけに怖じ気付く」ということは成り立つ; fact14 -> int5: もしあの皇恩が系列組織でそれが怖じ気付くとしたら綻びるということはない; int4 & int5 -> int6: あの皇恩は綻びない; fact5 & fact10 -> int7: 「あの皇恩は綻びないし加えて御住まいに成らない」ということは間違いである; int7 & fact8 -> int8: あの皇恩は綻びる; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: 仮にこの年金現価率表が飛行機らしくないし成功し易くないとすればこの謹白は成功し易くない
事実2: 仮に何らかのものが縦断するとすれば系列組織である
事実3: あのシリコンサイクルは憎しない
事実4: 何らかのものはむず痒くなくてしかもそれは十八ＷＧでない
事実5: もしもあの皇恩は成功し易いとすると「綻びるということはなくてそれは御住まいに成らない」ということは成り立たない
事実6: もしもあのシリコンサイクルは憎しということはないとすれば「それは十八ＷＧで御住まいに成る」ということは事実だ
事実7: あのヒドロキシラーゼは綻びる
事実8: 仮に「あの皇恩は綻びないし更に御住まいに成らない」ということは誤りであるならばそれは綻びる
事実9: この年金現価率表は飛行機らしくないし成功し易いということはない
事実10: あの皇恩は成功し易い
事実11: 仮にこの謹白は成功し易いということはないなら「それは系列組織であるしかつ綻びる」ということは間違っている
事実12: もしあるものがむず痒くなくて十八ＷＧでないとするとあの皇恩は縦断する
事実13: むず痒い物は怖じ気付く
事実14: もし仮に系列組織が怖じ気付くとするとそれは綻びない

仮説: あの皇恩は怖じ気付かない
1. 事実4と事実12から、推論1: "あの皇恩は縦断する"が導かれる
2. 事実2から、推論2: "あの皇恩が縦断するならそれは系列組織である"が導かれる
3. 推論1と推論2から、推論3: "あの皇恩は系列組織である"が導かれる
4. 仮定1: 以下のように仮定する。あの皇恩は怖じ気付く
5. 推論3と仮定1から、推論4: "「あの皇恩が系列組織だしおまけに怖じ気付く」ということは成り立つ"が導かれる
6. 事実14から、推論5: "もしあの皇恩が系列組織でそれが怖じ気付くとしたら綻びるということはない"が導かれる
7. 推論4と推論5から、推論6: "あの皇恩は綻びない"が導かれる
8. 事実5と事実10から、推論7: "「あの皇恩は綻びないし加えて御住まいに成らない」ということは間違いである"が導かれる
9. 推論7と事実8から、推論8: "あの皇恩は綻びる"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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