「「白くておまけにティ・マーカーだということはない」ものはある」ということは成り立たない
fact1: その跳躍は製品化しない fact2: そのビターは製品化しない fact3: 「そのビターはティ・マーカーでなくてかつそれは塗り替えない」ということは成り立つ fact4: そのビターは貧しくない fact5: もしなにがしかの物が製品化しなくてそれが貧しくないとしたら白い
fact2 & fact4 -> int1: そのビターは製品化しないし更に貧しくない; fact5 -> int2: もしそのビターは製品化しないしそれに貧しくないとすると白い; int1 & int2 -> int3: そのビターは白い; fact3 -> int4: そのビターはティ・マーカーでない; int3 & int4 -> int5: そのビターは白いけどそれはティ・マーカーでない; int5 -> hypothesis;
$facts$ = fact1: その跳躍は製品化しない fact2: そのビターは製品化しない fact3: 「そのビターはティ・マーカーでなくてかつそれは塗り替えない」ということは成り立つ fact4: そのビターは貧しくない fact5: もしなにがしかの物が製品化しなくてそれが貧しくないとしたら白い ; $hypothesis$ = 「「白くておまけにティ・マーカーだということはない」ものはある」ということは成り立たない ; $proof$ = 
fact2 & fact4 -> int1: そのビターは製品化しないし更に貧しくない; fact5 -> int2: もしそのビターは製品化しないしそれに貧しくないとすると白い; int1 & int2 -> int3: そのビターは白い; fact3 -> int4: そのビターはティ・マーカーでない; int3 & int4 -> int5: そのビターは白いけどそれはティ・マーカーでない; int5 -> hypothesis; __DISPROVED__
事実1: その跳躍は製品化しない
事実2: そのビターは製品化しない
事実3: 「そのビターはティ・マーカーでなくてかつそれは塗り替えない」ということは成り立つ
事実4: そのビターは貧しくない
事実5: もしなにがしかの物が製品化しなくてそれが貧しくないとしたら白い

仮説: 「「白くておまけにティ・マーカーだということはない」ものはある」ということは成り立たない
1. 事実2と事実4から、推論1: "そのビターは製品化しないし更に貧しくない"が導かれる
2. 事実5から、推論2: "もしそのビターは製品化しないしそれに貧しくないとすると白い"が導かれる
3. 推論1と推論2から、推論3: "そのビターは白い"が導かれる
4. 事実3から、推論4: "そのビターはティ・マーカーでない"が導かれる
5. 推論3と推論4から、推論5: "そのビターは白いけどそれはティ・マーカーでない"が導かれる
6. 推論5から、仮説が否定される

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