あの図・表的ディスクロージャーは漕ぐということはない
fact1: 仮にあの図・表的ディスクロージャーは結び付き難くて打ち難いとすればそれは純色であるということはない fact2: あの図・表的ディスクロージャーは結び付き難くてさらに打ち難い fact3: 「もしこのパステルが大人気無くないとすればあの図・表的ディスクロージャーは純色であるしかつそれは打ち難い」ということは真実だ fact4: もし仮になんらかの物が純色だということはないとすると漕ぐ fact5: 純色は漕ぐということはないけど結び付き難い
fact4 -> int1: あの図・表的ディスクロージャーは純色でないならば漕ぐ; fact1 & fact2 -> int2: あの図・表的ディスクロージャーは純色でない; int1 & int2 -> hypothesis;
あの図・表的ディスクロージャーは漕がない
fact6 -> int3: もし仮に「あの図・表的ディスクロージャーは純色である」ということは本当だとするとそれは漕がないしその上結び付き難い;
$facts$ = fact1: 仮にあの図・表的ディスクロージャーは結び付き難くて打ち難いとすればそれは純色であるということはない fact2: あの図・表的ディスクロージャーは結び付き難くてさらに打ち難い fact3: 「もしこのパステルが大人気無くないとすればあの図・表的ディスクロージャーは純色であるしかつそれは打ち難い」ということは真実だ fact4: もし仮になんらかの物が純色だということはないとすると漕ぐ fact5: 純色は漕ぐということはないけど結び付き難い ; $hypothesis$ = あの図・表的ディスクロージャーは漕ぐということはない ; $proof$ = 
fact4 -> int1: あの図・表的ディスクロージャーは純色でないならば漕ぐ; fact1 & fact2 -> int2: あの図・表的ディスクロージャーは純色でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にあの図・表的ディスクロージャーは結び付き難くて打ち難いとすればそれは純色であるということはない
事実2: あの図・表的ディスクロージャーは結び付き難くてさらに打ち難い
事実3: 「もしこのパステルが大人気無くないとすればあの図・表的ディスクロージャーは純色であるしかつそれは打ち難い」ということは真実だ
事実4: もし仮になんらかの物が純色だということはないとすると漕ぐ
事実5: 純色は漕ぐということはないけど結び付き難い

仮説: あの図・表的ディスクロージャーは漕ぐということはない
1. 事実4から、推論1: "あの図・表的ディスクロージャーは純色でないならば漕ぐ"が導かれる
2. 事実1と事実2から、推論2: "あの図・表的ディスクロージャーは純色でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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