「あの葉書は溜め込み易いが結合出来ない」ということは間違いである
fact1: あのホットスポットは殉教である fact2: 「あのホットスポットは殉教でないかあるいはそれは判別するということはない」ということは成り立たない fact3: もしもある物は分解され難いなら「それは溜め込み易いがしかし結合出来るということはない」ということは誤っている fact4: 「あの葉書は殉教でないかまたは結合出来ない」ということは誤っているとしたらあのホットスポットは溜め込み易い fact5: あのホットスポットは木目細かい fact6: もし仮に「あのホットスポットは殉教でないか判別しないかあるいは両方である」ということは偽であるならあの葉書は溜め込み易い fact7: あの予定説はテレカである一方で商人らしくない fact8: あの葉書は結合出来ない fact9: あの強盗事件は親しい fact10: もしも「あのホットスポットは殉教であるか判別するということはないか両方ともである」ということは偽であるとすればあの葉書は溜め込み易い fact11: 仮に「なにかは殉教であるしかつそれは結合出来る」ということは確かでないとすれば殉教でない fact12: 「あのホットスポットは信仰上でないか結合出来ないかどちらもだ」ということは成り立たない
fact6 & fact2 -> int1: あの葉書は溜め込み易い; int1 & fact8 -> hypothesis;
fact6 & fact2 -> int1: {B}{b}; int1 & fact8 -> hypothesis;
「あの葉書は溜め込み易いが結合出来ない」ということは事実と異なる
fact14 -> int2: もしあの葉書は分解され難いなら「溜め込み易いけど結合出来るということはない」ということは事実と異なる; fact13 -> int3: 「親しい」ものはある;
$facts$ = fact1: あのホットスポットは殉教である fact2: 「あのホットスポットは殉教でないかあるいはそれは判別するということはない」ということは成り立たない fact3: もしもある物は分解され難いなら「それは溜め込み易いがしかし結合出来るということはない」ということは誤っている fact4: 「あの葉書は殉教でないかまたは結合出来ない」ということは誤っているとしたらあのホットスポットは溜め込み易い fact5: あのホットスポットは木目細かい fact6: もし仮に「あのホットスポットは殉教でないか判別しないかあるいは両方である」ということは偽であるならあの葉書は溜め込み易い fact7: あの予定説はテレカである一方で商人らしくない fact8: あの葉書は結合出来ない fact9: あの強盗事件は親しい fact10: もしも「あのホットスポットは殉教であるか判別するということはないか両方ともである」ということは偽であるとすればあの葉書は溜め込み易い fact11: 仮に「なにかは殉教であるしかつそれは結合出来る」ということは確かでないとすれば殉教でない fact12: 「あのホットスポットは信仰上でないか結合出来ないかどちらもだ」ということは成り立たない ; $hypothesis$ = 「あの葉書は溜め込み易いが結合出来ない」ということは間違いである ; $proof$ = 
fact6 & fact2 -> int1: あの葉書は溜め込み易い; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: あのホットスポットは殉教である
事実2: 「あのホットスポットは殉教でないかあるいはそれは判別するということはない」ということは成り立たない
事実3: もしもある物は分解され難いなら「それは溜め込み易いがしかし結合出来るということはない」ということは誤っている
事実4: 「あの葉書は殉教でないかまたは結合出来ない」ということは誤っているとしたらあのホットスポットは溜め込み易い
事実5: あのホットスポットは木目細かい
事実6: もし仮に「あのホットスポットは殉教でないか判別しないかあるいは両方である」ということは偽であるならあの葉書は溜め込み易い
事実7: あの予定説はテレカである一方で商人らしくない
事実8: あの葉書は結合出来ない
事実9: あの強盗事件は親しい
事実10: もしも「あのホットスポットは殉教であるか判別するということはないか両方ともである」ということは偽であるとすればあの葉書は溜め込み易い
事実11: 仮に「なにかは殉教であるしかつそれは結合出来る」ということは確かでないとすれば殉教でない
事実12: 「あのホットスポットは信仰上でないか結合出来ないかどちらもだ」ということは成り立たない

仮説: 「あの葉書は溜め込み易いが結合出来ない」ということは間違いである
1. 事実6と事実2から、推論1: "あの葉書は溜め込み易い"が導かれる
2. 推論1と事実8から、仮説が否定される

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