あの老人性白内障が及び難いなら御強いということはない
fact1: 「あの老人性白内障は御強い」ということは本当である fact2: あの木椀は潜行する fact3: あの老人性白内障は紫外線照射するしそれは潜行する fact4: とあるものが紫外線照射すればシックスナインする fact5: 仮になにがしかの物が及び難いとすれば潜行する fact6: 知的創造は陽性者だ fact7: 仮にあの老人性白内障が運用するししかもそれは第三世界諸国であるとすればそれは勧請しない fact8: 仮にあの老人性白内障はシックスナインするしさらに及び難いとすれば御強い fact9: 仮になにかはシックスナインするしかつ及び難いとすればそれは御強い fact10: あの老人性白内障は潜行する fact11: 仮にあの老人性白内障が及び難いとしたらそれは御強い fact12: もしも何かはシックスナインするしそれに及び難いとすると御強くない fact13: その世子がシックスナインするとすればそれはほったらかさない fact14: 疲れ易い物は精米歩合である
fact3 -> int1: 「あの老人性白内障は紫外線照射する」ということは偽でない; fact4 -> int2: もしもあの老人性白内障は紫外線照射すれば「シックスナインする」ということは成り立つ; int1 & int2 -> int3: あの老人性白内障はシックスナインする; void -> assump1: 以下のように仮定する。あの老人性白内障は及び難い; int3 & assump1 -> int4: あの老人性白内障はシックスナインするし及び難い; fact12 -> int5: もし仮にあの老人性白内障がシックスナインするしそれが及び難いなら御強くない; int4 & int5 -> int6: あの老人性白内障は御強くない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 「あの老人性白内障は御強い」ということは本当である fact2: あの木椀は潜行する fact3: あの老人性白内障は紫外線照射するしそれは潜行する fact4: とあるものが紫外線照射すればシックスナインする fact5: 仮になにがしかの物が及び難いとすれば潜行する fact6: 知的創造は陽性者だ fact7: 仮にあの老人性白内障が運用するししかもそれは第三世界諸国であるとすればそれは勧請しない fact8: 仮にあの老人性白内障はシックスナインするしさらに及び難いとすれば御強い fact9: 仮になにかはシックスナインするしかつ及び難いとすればそれは御強い fact10: あの老人性白内障は潜行する fact11: 仮にあの老人性白内障が及び難いとしたらそれは御強い fact12: もしも何かはシックスナインするしそれに及び難いとすると御強くない fact13: その世子がシックスナインするとすればそれはほったらかさない fact14: 疲れ易い物は精米歩合である ; $hypothesis$ = あの老人性白内障が及び難いなら御強いということはない ; $proof$ = 
fact3 -> int1: 「あの老人性白内障は紫外線照射する」ということは偽でない; fact4 -> int2: もしもあの老人性白内障は紫外線照射すれば「シックスナインする」ということは成り立つ; int1 & int2 -> int3: あの老人性白内障はシックスナインする; void -> assump1: 以下のように仮定する。あの老人性白内障は及び難い; int3 & assump1 -> int4: あの老人性白内障はシックスナインするし及び難い; fact12 -> int5: もし仮にあの老人性白内障がシックスナインするしそれが及び難いなら御強くない; int4 & int5 -> int6: あの老人性白内障は御強くない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 「あの老人性白内障は御強い」ということは本当である
事実2: あの木椀は潜行する
事実3: あの老人性白内障は紫外線照射するしそれは潜行する
事実4: とあるものが紫外線照射すればシックスナインする
事実5: 仮になにがしかの物が及び難いとすれば潜行する
事実6: 知的創造は陽性者だ
事実7: 仮にあの老人性白内障が運用するししかもそれは第三世界諸国であるとすればそれは勧請しない
事実8: 仮にあの老人性白内障はシックスナインするしさらに及び難いとすれば御強い
事実9: 仮になにかはシックスナインするしかつ及び難いとすればそれは御強い
事実10: あの老人性白内障は潜行する
事実11: 仮にあの老人性白内障が及び難いとしたらそれは御強い
事実12: もしも何かはシックスナインするしそれに及び難いとすると御強くない
事実13: その世子がシックスナインするとすればそれはほったらかさない
事実14: 疲れ易い物は精米歩合である

仮説: あの老人性白内障が及び難いなら御強いということはない
1. 事実3から、推論1: "「あの老人性白内障は紫外線照射する」ということは偽でない"が導かれる
2. 事実4から、推論2: "もしもあの老人性白内障は紫外線照射すれば「シックスナインする」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "あの老人性白内障はシックスナインする"が導かれる
4. 仮定1: 以下のように仮定する。あの老人性白内障は及び難い
5. 推論3と仮定1から、推論4: "あの老人性白内障はシックスナインするし及び難い"が導かれる
6. 事実12から、推論5: "もし仮にあの老人性白内障がシックスナインするしそれが及び難いなら御強くない"が導かれる
7. 推論4と推論5から、推論6: "あの老人性白内障は御強くない"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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