「その偽者はインチである」ということは真実である
fact1: もしある物がレディメイドであるならこの熱環境はレディメイドだ fact2: 仮に「「真白いけれどレディメイドでない」ということは間違っている」ものがあるならばあの熱環境はレディメイドだ fact3: この熱環境は再認するしかつ取り出し易い fact4: この熱環境がレディメイドであるしそれが再認するならその偽者はインチでない fact5: 「真白いしその上レディメイドだということはない」ものはある fact6: 「「真白くて加えてレディメイドでない」ということは偽な」ものはある fact7: この熱環境は取り出し易い
fact3 -> int1: この熱環境は再認する; fact2 & fact6 -> int2: この熱環境はレディメイドだ; int1 & int2 -> int3: この熱環境はレディメイドであるし再認する; int3 & fact4 -> hypothesis;
fact3 -> int1: {A}{a}; fact2 & fact6 -> int2: {C}{a}; int1 & int2 -> int3: ({C}{a} & {A}{a}); int3 & fact4 -> hypothesis;
$facts$ = fact1: もしある物がレディメイドであるならこの熱環境はレディメイドだ fact2: 仮に「「真白いけれどレディメイドでない」ということは間違っている」ものがあるならばあの熱環境はレディメイドだ fact3: この熱環境は再認するしかつ取り出し易い fact4: この熱環境がレディメイドであるしそれが再認するならその偽者はインチでない fact5: 「真白いしその上レディメイドだということはない」ものはある fact6: 「「真白くて加えてレディメイドでない」ということは偽な」ものはある fact7: この熱環境は取り出し易い ; $hypothesis$ = 「その偽者はインチである」ということは真実である ; $proof$ = 
fact3 -> int1: この熱環境は再認する; fact2 & fact6 -> int2: この熱環境はレディメイドだ; int1 & int2 -> int3: この熱環境はレディメイドであるし再認する; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: もしある物がレディメイドであるならこの熱環境はレディメイドだ
事実2: 仮に「「真白いけれどレディメイドでない」ということは間違っている」ものがあるならばあの熱環境はレディメイドだ
事実3: この熱環境は再認するしかつ取り出し易い
事実4: この熱環境がレディメイドであるしそれが再認するならその偽者はインチでない
事実5: 「真白いしその上レディメイドだということはない」ものはある
事実6: 「「真白くて加えてレディメイドでない」ということは偽な」ものはある
事実7: この熱環境は取り出し易い

仮説: 「その偽者はインチである」ということは真実である
1. 事実3から、推論1: "この熱環境は再認する"が導かれる
2. 事実2と事実6から、推論2: "この熱環境はレディメイドだ"が導かれる
3. 推論1と推論2から、推論3: "この熱環境はレディメイドであるし再認する"が導かれる
4. 推論3と事実4から、仮説が否定される

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