「「仮に思い立つとすれば「継続し難いけど後ろ暗くない」ということは本当でない」物はある」ということは偽だ
fact1: 仮にこの二十日判決が思い立つとしたらそれは継続し難くてそれにそれは後ろ暗くない fact2: 仮に何かは惜しいとすれば「タイル画だ一方で本当らしいということはない」ということは誤っている fact3: もしこの二十日判決は思い立つなら「継続し難いけど後ろ暗いということはない」ということは真実でない fact4: 「「もし仮に各線だとすれば「純情である一方で永続であるということはない」ということは誤っている」物はある」ということは成り立つ fact5: 「もし思い立つとすると「継続し難くておまけに後ろ暗い」ということは間違っている」物はある fact6: 「仮に思い立つとしたら継続し難いがしかし後ろ暗くない」物はある fact7: 仮になんらかの物はでっかいとすると「建て込むけどカウンセリング・ルームであるということはない」ということは誤っている
fact3 -> hypothesis;
「仮に惜しいとすると「タイル画であるけど本当らしくない」ということは成り立つということはない」ものはある
fact8 -> int1: 仮にこの再生産は惜しいとしたら「それはタイル画だ一方で本当らしいということはない」ということは誤りである; int1 -> hypothesis;
$facts$ = fact1: 仮にこの二十日判決が思い立つとしたらそれは継続し難くてそれにそれは後ろ暗くない fact2: 仮に何かは惜しいとすれば「タイル画だ一方で本当らしいということはない」ということは誤っている fact3: もしこの二十日判決は思い立つなら「継続し難いけど後ろ暗いということはない」ということは真実でない fact4: 「「もし仮に各線だとすれば「純情である一方で永続であるということはない」ということは誤っている」物はある」ということは成り立つ fact5: 「もし思い立つとすると「継続し難くておまけに後ろ暗い」ということは間違っている」物はある fact6: 「仮に思い立つとしたら継続し難いがしかし後ろ暗くない」物はある fact7: 仮になんらかの物はでっかいとすると「建て込むけどカウンセリング・ルームであるということはない」ということは誤っている ; $hypothesis$ = 「「仮に思い立つとすれば「継続し難いけど後ろ暗くない」ということは本当でない」物はある」ということは偽だ ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 仮にこの二十日判決が思い立つとしたらそれは継続し難くてそれにそれは後ろ暗くない
事実2: 仮に何かは惜しいとすれば「タイル画だ一方で本当らしいということはない」ということは誤っている
事実3: もしこの二十日判決は思い立つなら「継続し難いけど後ろ暗いということはない」ということは真実でない
事実4: 「「もし仮に各線だとすれば「純情である一方で永続であるということはない」ということは誤っている」物はある」ということは成り立つ
事実5: 「もし思い立つとすると「継続し難くておまけに後ろ暗い」ということは間違っている」物はある
事実6: 「仮に思い立つとしたら継続し難いがしかし後ろ暗くない」物はある
事実7: 仮になんらかの物はでっかいとすると「建て込むけどカウンセリング・ルームであるということはない」ということは誤っている

仮説: 「「仮に思い立つとすれば「継続し難いけど後ろ暗くない」ということは本当でない」物はある」ということは偽だ
1. 事実3から、仮説が否定される

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