この心筋酸素需要は固くない
fact1: この網膜色素上皮は総輸出比率でない fact2: もし仮になにがしかのものは掴み上げないなら「それは固くない」ということは本当だ fact3: 仮に「「船場であるしさらに片付く」ということは間違いな」ものがあるとすればこの心筋酸素需要は掴み上げない fact4: もし仮にこの網膜色素上皮は総輸出比率であるということはないとしたら「それは船場であるしかつ片付く」ということは嘘である
fact4 & fact1 -> int1: 「この網膜色素上皮は船場であるしそれは片付く」ということは誤りである; int1 -> int2: 「「船場だしおまけに片付く」ということは間違っている」物はある; int2 & fact3 -> int3: この心筋酸素需要は掴み上げるということはない; fact2 -> int4: もしこの心筋酸素需要は掴み上げるということはないとすると「それは固くない」ということは確かだ; int3 & int4 -> hypothesis;
$facts$ = fact1: この網膜色素上皮は総輸出比率でない fact2: もし仮になにがしかのものは掴み上げないなら「それは固くない」ということは本当だ fact3: 仮に「「船場であるしさらに片付く」ということは間違いな」ものがあるとすればこの心筋酸素需要は掴み上げない fact4: もし仮にこの網膜色素上皮は総輸出比率であるということはないとしたら「それは船場であるしかつ片付く」ということは嘘である ; $hypothesis$ = この心筋酸素需要は固くない ; $proof$ = 
fact4 & fact1 -> int1: 「この網膜色素上皮は船場であるしそれは片付く」ということは誤りである; int1 -> int2: 「「船場だしおまけに片付く」ということは間違っている」物はある; int2 & fact3 -> int3: この心筋酸素需要は掴み上げるということはない; fact2 -> int4: もしこの心筋酸素需要は掴み上げるということはないとすると「それは固くない」ということは確かだ; int3 & int4 -> hypothesis; __PROVED__
事実1: この網膜色素上皮は総輸出比率でない
事実2: もし仮になにがしかのものは掴み上げないなら「それは固くない」ということは本当だ
事実3: 仮に「「船場であるしさらに片付く」ということは間違いな」ものがあるとすればこの心筋酸素需要は掴み上げない
事実4: もし仮にこの網膜色素上皮は総輸出比率であるということはないとしたら「それは船場であるしかつ片付く」ということは嘘である

仮説: この心筋酸素需要は固くない
1. 事実4と事実1から、推論1: "「この網膜色素上皮は船場であるしそれは片付く」ということは誤りである"が導かれる
2. 推論1から、推論2: "「「船場だしおまけに片付く」ということは間違っている」物はある"が導かれる
3. 推論2と事実3から、推論3: "この心筋酸素需要は掴み上げるということはない"が導かれる
4. 事実2から、推論4: "もしこの心筋酸素需要は掴み上げるということはないとすると「それは固くない」ということは確かだ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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