この投資ファンドはややこしい
fact1: その古写本は気触れるということはない fact2: 仮にこの投資ファンドが踊らないならそれは気触れるし押さえ難い fact3: この投資ファンドはややこしいとすれば「その古写本は家賃収入でないがしかし失礼する」ということは成り立たない fact4: もし「なんらかの物は家賃収入でないが失礼する」ということは成り立たないとすると「それは押さえ難くない」ということは確かである fact5: その古写本は押さえ難いがしかしそれは気触れない fact6: もし仮に「その古写本は押さえ難いけれど気触れない」ということは正しくないならこの投資ファンドはややこしい
void -> assump1: 以下のように仮定する。この投資ファンドはややこしい; fact3 & assump1 -> int1: 「「その古写本は家賃収入でない一方で失礼する」ということは本当でない」ということは本当である; fact4 -> int2: もし仮に「その古写本は家賃収入でないが失礼する」ということは誤りだとしたらそれは押さえ難くない; int1 & int2 -> int3: その古写本は押さえ難いということはない; fact5 -> int4: 「その古写本は押さえ難い」ということは成り立つ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
「あの新潮社刊はややこしくない一方で依頼す」ということは誤っている
$facts$ = fact1: その古写本は気触れるということはない fact2: 仮にこの投資ファンドが踊らないならそれは気触れるし押さえ難い fact3: この投資ファンドはややこしいとすれば「その古写本は家賃収入でないがしかし失礼する」ということは成り立たない fact4: もし「なんらかの物は家賃収入でないが失礼する」ということは成り立たないとすると「それは押さえ難くない」ということは確かである fact5: その古写本は押さえ難いがしかしそれは気触れない fact6: もし仮に「その古写本は押さえ難いけれど気触れない」ということは正しくないならこの投資ファンドはややこしい ; $hypothesis$ = この投資ファンドはややこしい ; $proof$ = 
void -> assump1: 以下のように仮定する。この投資ファンドはややこしい; fact3 & assump1 -> int1: 「「その古写本は家賃収入でない一方で失礼する」ということは本当でない」ということは本当である; fact4 -> int2: もし仮に「その古写本は家賃収入でないが失礼する」ということは誤りだとしたらそれは押さえ難くない; int1 & int2 -> int3: その古写本は押さえ難いということはない; fact5 -> int4: 「その古写本は押さえ難い」ということは成り立つ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: その古写本は気触れるということはない
事実2: 仮にこの投資ファンドが踊らないならそれは気触れるし押さえ難い
事実3: この投資ファンドはややこしいとすれば「その古写本は家賃収入でないがしかし失礼する」ということは成り立たない
事実4: もし「なんらかの物は家賃収入でないが失礼する」ということは成り立たないとすると「それは押さえ難くない」ということは確かである
事実5: その古写本は押さえ難いがしかしそれは気触れない
事実6: もし仮に「その古写本は押さえ難いけれど気触れない」ということは正しくないならこの投資ファンドはややこしい

仮説: この投資ファンドはややこしい
1. 仮定1: 以下のように仮定する。この投資ファンドはややこしい
2. 事実3と仮定1から、推論1: "「「その古写本は家賃収入でない一方で失礼する」ということは本当でない」ということは本当である"が導かれる
3. 事実4から、推論2: "もし仮に「その古写本は家賃収入でないが失礼する」ということは誤りだとしたらそれは押さえ難くない"が導かれる
4. 推論1と推論2から、推論3: "その古写本は押さえ難いということはない"が導かれる
5. 事実5から、推論4: "「その古写本は押さえ難い」ということは成り立つ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

よって、仮説が否定されました。