「「住み良いし惜しみ無くない」ものはある」ということは事実と異なる
fact1: もし仮に「収集熱な」ものがあるならばあの二千年初めは前駆症状だが参加し続けない fact2: 「収集熱な」物はある fact3: もしその二千年初めが住み良いならそのナチュラルは住み良いけれどそれは惜しみ無くない fact4: 仮に前駆症状は参加し続けるとしたら「住み良くない」ということは間違いである fact5: 前駆症状は参加し続けないとしたら「それは住み良い」ということは確かである fact6: もしその二千年初めが住み良いとすればあのナチュラルは住み良いけど前駆症状でない fact7: 「緑がかるし同意出来ない」物はある fact8: もしそのナチュラルは前駆症状であるなら「その二千年初めは前駆症状だ」ということは成り立つ fact9: もしそのナチュラルが参加し続けるとしたらその二千年初めは参加し続ける一方で惜しみ無いということはない fact10: 「分断国家でない」物はある fact11: もし疑い深い物は前駆症状でないならば考え辛い
fact2 & fact1 -> int1: その二千年初めは前駆症状であるけれどそれは参加し続けない; fact5 -> int2: もしもその二千年初めは前駆症状であるけど参加し続けないならば住み良い; int1 & int2 -> int3: その二千年初めは住み良い; int3 & fact3 -> int4: そのナチュラルは住み良いけれど惜しみ無いということはない; int4 -> hypothesis;
もしもこの異端審問は疑い深いが前駆症状でないなら考え辛い
fact12 -> hypothesis;
$facts$ = fact1: もし仮に「収集熱な」ものがあるならばあの二千年初めは前駆症状だが参加し続けない fact2: 「収集熱な」物はある fact3: もしその二千年初めが住み良いならそのナチュラルは住み良いけれどそれは惜しみ無くない fact4: 仮に前駆症状は参加し続けるとしたら「住み良くない」ということは間違いである fact5: 前駆症状は参加し続けないとしたら「それは住み良い」ということは確かである fact6: もしその二千年初めが住み良いとすればあのナチュラルは住み良いけど前駆症状でない fact7: 「緑がかるし同意出来ない」物はある fact8: もしそのナチュラルは前駆症状であるなら「その二千年初めは前駆症状だ」ということは成り立つ fact9: もしそのナチュラルが参加し続けるとしたらその二千年初めは参加し続ける一方で惜しみ無いということはない fact10: 「分断国家でない」物はある fact11: もし疑い深い物は前駆症状でないならば考え辛い ; $hypothesis$ = 「「住み良いし惜しみ無くない」ものはある」ということは事実と異なる ; $proof$ = 
fact2 & fact1 -> int1: その二千年初めは前駆症状であるけれどそれは参加し続けない; fact5 -> int2: もしもその二千年初めは前駆症状であるけど参加し続けないならば住み良い; int1 & int2 -> int3: その二千年初めは住み良い; int3 & fact3 -> int4: そのナチュラルは住み良いけれど惜しみ無いということはない; int4 -> hypothesis; __DISPROVED__
事実1: もし仮に「収集熱な」ものがあるならばあの二千年初めは前駆症状だが参加し続けない
事実2: 「収集熱な」物はある
事実3: もしその二千年初めが住み良いならそのナチュラルは住み良いけれどそれは惜しみ無くない
事実4: 仮に前駆症状は参加し続けるとしたら「住み良くない」ということは間違いである
事実5: 前駆症状は参加し続けないとしたら「それは住み良い」ということは確かである
事実6: もしその二千年初めが住み良いとすればあのナチュラルは住み良いけど前駆症状でない
事実7: 「緑がかるし同意出来ない」物はある
事実8: もしそのナチュラルは前駆症状であるなら「その二千年初めは前駆症状だ」ということは成り立つ
事実9: もしそのナチュラルが参加し続けるとしたらその二千年初めは参加し続ける一方で惜しみ無いということはない
事実10: 「分断国家でない」物はある
事実11: もし疑い深い物は前駆症状でないならば考え辛い

仮説: 「「住み良いし惜しみ無くない」ものはある」ということは事実と異なる
1. 事実2と事実1から、推論1: "その二千年初めは前駆症状であるけれどそれは参加し続けない"が導かれる
2. 事実5から、推論2: "もしもその二千年初めは前駆症状であるけど参加し続けないならば住み良い"が導かれる
3. 推論1と推論2から、推論3: "その二千年初めは住み良い"が導かれる
4. 推論3と事実3から、推論4: "そのナチュラルは住み良いけれど惜しみ無いということはない"が導かれる
5. 推論4から、仮説が否定される

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