「「財産的基盤でないが乗り易い」ものはある」ということは成り立たない
fact1: 仮に「ネイルアートでない」物があるとすればその被転付債権は輝かしない fact2: 女っぽくないものは財産的基盤でないけれど乗り易い fact3: 「財産的基盤でない」物はある fact4: 「ネイルアートでない」ものはある fact5: 仮に「その被転付債権は輝かしない」ということは正しいならば「この断言は支配するし加えてそれは委託する」ということは成り立つということはない fact6: もし仮に「この断言は支配するしおまけにそれは委託する」ということは誤っていれば「その西地中海は女っぽいということはない」ということは確かである
fact4 & fact1 -> int1: その被転付債権は輝かしない; int1 & fact5 -> int2: 「この断言は支配するしまた委託する」ということは嘘だ; int2 & fact6 -> int3: その西地中海は女っぽくない; fact2 -> int4: もしその西地中海が女っぽくないならばそれは財産的基盤でないし更にそれは乗り易い; int3 & int4 -> int5: その西地中海は財産的基盤でない一方で乗り易い; int5 -> hypothesis;
$facts$ = fact1: 仮に「ネイルアートでない」物があるとすればその被転付債権は輝かしない fact2: 女っぽくないものは財産的基盤でないけれど乗り易い fact3: 「財産的基盤でない」物はある fact4: 「ネイルアートでない」ものはある fact5: 仮に「その被転付債権は輝かしない」ということは正しいならば「この断言は支配するし加えてそれは委託する」ということは成り立つということはない fact6: もし仮に「この断言は支配するしおまけにそれは委託する」ということは誤っていれば「その西地中海は女っぽいということはない」ということは確かである ; $hypothesis$ = 「「財産的基盤でないが乗り易い」ものはある」ということは成り立たない ; $proof$ = 
fact4 & fact1 -> int1: その被転付債権は輝かしない; int1 & fact5 -> int2: 「この断言は支配するしまた委託する」ということは嘘だ; int2 & fact6 -> int3: その西地中海は女っぽくない; fact2 -> int4: もしその西地中海が女っぽくないならばそれは財産的基盤でないし更にそれは乗り易い; int3 & int4 -> int5: その西地中海は財産的基盤でない一方で乗り易い; int5 -> hypothesis; __DISPROVED__
事実1: 仮に「ネイルアートでない」物があるとすればその被転付債権は輝かしない
事実2: 女っぽくないものは財産的基盤でないけれど乗り易い
事実3: 「財産的基盤でない」物はある
事実4: 「ネイルアートでない」ものはある
事実5: 仮に「その被転付債権は輝かしない」ということは正しいならば「この断言は支配するし加えてそれは委託する」ということは成り立つということはない
事実6: もし仮に「この断言は支配するしおまけにそれは委託する」ということは誤っていれば「その西地中海は女っぽいということはない」ということは確かである

仮説: 「「財産的基盤でないが乗り易い」ものはある」ということは成り立たない
1. 事実4と事実1から、推論1: "その被転付債権は輝かしない"が導かれる
2. 推論1と事実5から、推論2: "「この断言は支配するしまた委託する」ということは嘘だ"が導かれる
3. 推論2と事実6から、推論3: "その西地中海は女っぽくない"が導かれる
4. 事実2から、推論4: "もしその西地中海が女っぽくないならばそれは財産的基盤でないし更にそれは乗り易い"が導かれる
5. 推論3と推論4から、推論5: "その西地中海は財産的基盤でない一方で乗り易い"が導かれる
6. 推論5から、仮説が否定される

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