もしこの角膜混濁は相次ぐとしたら「あの現場人材は根抵当権者である」ということは正しい
fact1: もしも「あの現場人材はウイングであるということはない」ということは事実ならばフランス代表でなくて性支配でない fact2: あの現場人材は相次ぐ fact3: あるものは目合わないなら「それは飛び起きないけど出し易い」ということは間違っている fact4: もし仮にこの角膜混濁が相次ぐとするとこのＧ型星は出し易い fact5: あの現場人材は近代派だ fact6: 出し易くないものは根抵当権者であるしおまけに相次ぐ fact7: このＧ型星は相次ぐ fact8: 仮にこのＧ型星は届き易いなら「生じ易いしおまけにそれは冷蔵しない」ということは成り立つということはない fact9: もし仮にあの現場人材が出し易いならばあのＧ型星は根抵当権者だ fact10: もしあの現場人材が調べ易いとしたらこのＧ型星は届き易い fact11: もしこの角膜混濁が根抵当権者であるならあの現場人材は相次ぐ fact12: この角膜混濁は根抵当権者だ fact13: このＧ型星は出し易いとすると「あの現場人材は根抵当権者でない」ということは事実と異なる fact14: なんらかの物はフランス代表でないしかつ性支配でないとすればそれは調べ易い fact15: もし仮にあの現場人材が相次ぐとしたらこの角膜混濁は根抵当権者だ fact16: もしもこのＧ型星は根抵当権者であるなら「あの現場人材は出し易い」ということは本当である fact17: あの現場人材はウイングでない fact18: もしも「「生じ易いがしかし冷蔵するということはない」ということは嘘な」物があるとしたらこの角膜混濁は目合うということはない fact19: 「なにがしかの物は飛び起きないけど出し易い」ということは成り立たないとしたらそれは出し易くない fact20: 仮にこの角膜混濁が根抵当権者だとするとこの長屋は根抵当権者だ
void -> assump1: 以下のように仮定する。この角膜混濁は相次ぐ; fact4 & assump1 -> int1: このＧ型星は出し易い; int1 & fact13 -> int2: あの現場人材は根抵当権者だ; [assump1] & int2 -> hypothesis;
この長屋は根抵当権者である
fact29 -> int3: もし仮にこの角膜混濁が出し易くないとすれば根抵当権者でそれに相次ぐ; fact28 -> int4: もし「この角膜混濁は飛び起きないが出し易い」ということは嘘なら「それは出し易くない」ということは事実である; fact21 -> int5: 仮にこの角膜混濁は目合わないならば「それは飛び起きるということはなくてしかも出し易い」ということは偽である; fact24 -> int6: もし仮にあの現場人材がフランス代表でないし性支配でないならそれは調べ易い; fact23 & fact25 -> int7: あの現場人材はフランス代表であるということはないし更にそれは性支配でない; int6 & int7 -> int8: あの現場人材は調べ易い; fact22 & int8 -> int9: このＧ型星は届き易い; fact30 & int9 -> int10: 「このＧ型星は生じ易いけど冷蔵しない」ということは成り立つということはない; int10 -> int11: 「「生じ易くて冷蔵しない」ということは偽である」物はある; int11 & fact27 -> int12: この角膜混濁は目合わない; int5 & int12 -> int13: 「「この角膜混濁は飛び起きないが出し易い」ということは誤りだ」ということは本当だ; int4 & int13 -> int14: この角膜混濁は出し易いということはない; int3 & int14 -> int15: この角膜混濁は根抵当権者でそれに相次ぐ; int15 -> int16: この角膜混濁は根抵当権者だ; fact26 & int16 -> hypothesis;
$facts$ = fact1: もしも「あの現場人材はウイングであるということはない」ということは事実ならばフランス代表でなくて性支配でない fact2: あの現場人材は相次ぐ fact3: あるものは目合わないなら「それは飛び起きないけど出し易い」ということは間違っている fact4: もし仮にこの角膜混濁が相次ぐとするとこのＧ型星は出し易い fact5: あの現場人材は近代派だ fact6: 出し易くないものは根抵当権者であるしおまけに相次ぐ fact7: このＧ型星は相次ぐ fact8: 仮にこのＧ型星は届き易いなら「生じ易いしおまけにそれは冷蔵しない」ということは成り立つということはない fact9: もし仮にあの現場人材が出し易いならばあのＧ型星は根抵当権者だ fact10: もしあの現場人材が調べ易いとしたらこのＧ型星は届き易い fact11: もしこの角膜混濁が根抵当権者であるならあの現場人材は相次ぐ fact12: この角膜混濁は根抵当権者だ fact13: このＧ型星は出し易いとすると「あの現場人材は根抵当権者でない」ということは事実と異なる fact14: なんらかの物はフランス代表でないしかつ性支配でないとすればそれは調べ易い fact15: もし仮にあの現場人材が相次ぐとしたらこの角膜混濁は根抵当権者だ fact16: もしもこのＧ型星は根抵当権者であるなら「あの現場人材は出し易い」ということは本当である fact17: あの現場人材はウイングでない fact18: もしも「「生じ易いがしかし冷蔵するということはない」ということは嘘な」物があるとしたらこの角膜混濁は目合うということはない fact19: 「なにがしかの物は飛び起きないけど出し易い」ということは成り立たないとしたらそれは出し易くない fact20: 仮にこの角膜混濁が根抵当権者だとするとこの長屋は根抵当権者だ ; $hypothesis$ = もしこの角膜混濁は相次ぐとしたら「あの現場人材は根抵当権者である」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。この角膜混濁は相次ぐ; fact4 & assump1 -> int1: このＧ型星は出し易い; int1 & fact13 -> int2: あの現場人材は根抵当権者だ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしも「あの現場人材はウイングであるということはない」ということは事実ならばフランス代表でなくて性支配でない
事実2: あの現場人材は相次ぐ
事実3: あるものは目合わないなら「それは飛び起きないけど出し易い」ということは間違っている
事実4: もし仮にこの角膜混濁が相次ぐとするとこのＧ型星は出し易い
事実5: あの現場人材は近代派だ
事実6: 出し易くないものは根抵当権者であるしおまけに相次ぐ
事実7: このＧ型星は相次ぐ
事実8: 仮にこのＧ型星は届き易いなら「生じ易いしおまけにそれは冷蔵しない」ということは成り立つということはない
事実9: もし仮にあの現場人材が出し易いならばあのＧ型星は根抵当権者だ
事実10: もしあの現場人材が調べ易いとしたらこのＧ型星は届き易い
事実11: もしこの角膜混濁が根抵当権者であるならあの現場人材は相次ぐ
事実12: この角膜混濁は根抵当権者だ
事実13: このＧ型星は出し易いとすると「あの現場人材は根抵当権者でない」ということは事実と異なる
事実14: なんらかの物はフランス代表でないしかつ性支配でないとすればそれは調べ易い
事実15: もし仮にあの現場人材が相次ぐとしたらこの角膜混濁は根抵当権者だ
事実16: もしもこのＧ型星は根抵当権者であるなら「あの現場人材は出し易い」ということは本当である
事実17: あの現場人材はウイングでない
事実18: もしも「「生じ易いがしかし冷蔵するということはない」ということは嘘な」物があるとしたらこの角膜混濁は目合うということはない
事実19: 「なにがしかの物は飛び起きないけど出し易い」ということは成り立たないとしたらそれは出し易くない
事実20: 仮にこの角膜混濁が根抵当権者だとするとこの長屋は根抵当権者だ

仮説: もしこの角膜混濁は相次ぐとしたら「あの現場人材は根抵当権者である」ということは正しい
1. 仮定1: 以下のように仮定する。この角膜混濁は相次ぐ
2. 事実4と仮定1から、推論1: "このＧ型星は出し易い"が導かれる
3. 推論1と事実13から、推論2: "あの現場人材は根抵当権者だ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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