この工場は区分出来ない
fact1: もし仮に「区分出来る」物があるとすればこの工場は焼き始めるがしかし打ち勝てない fact2: 「打ち勝てる」物はある fact3: もし何らかのものが消防隊員でないとすれば退職するしかつ全快する fact4: 「このワンショットは覚え難くないけど消防隊員だ」ということは偽である fact5: もしもこの工場は焼き始めるということはないとすると「汚れ切るが変わり易くない」ということは成り立たない fact6: 「「切り離し難い」ということは事実な」物があるとしたらこの工場は焼き始めるけれど打ち勝てない fact7: 「この工場は焼き始めるし打ち勝てる」ということは間違っている fact8: もし「この工場は区分出来ない」ということは確かなら「焼き始めるが打ち勝てない」ということは成り立たない fact9: 仮にこの工場は区分出来ないとすれば「焼き始めるしかつそれは打ち勝てる」ということは偽だ fact10: もしも「何かは覚え難くないけれど消防隊員だ」ということは誤っているならそれは消防隊員だということはない fact11: 「切り離し難い」ものがあるとすればこの工場は打ち勝てない fact12: 「切り離し難い」ものはある
void -> assump1: 以下のように仮定する。この工場は区分出来ない; fact8 & assump1 -> int1: 「この工場は焼き始める一方で打ち勝てない」ということは間違っている; fact6 & fact12 -> int2: この工場は焼き始めるがそれは打ち勝てない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この工場は区分出来ない
fact14 -> int4: もしもこのワンショットが消防隊員でないならばそれは退職するし全快する; fact13 -> int5: 仮に「このワンショットは覚え難くない消防隊員である」ということは誤りならばそれは消防隊員でない; int5 & fact15 -> int6: このワンショットは消防隊員でない; int4 & int6 -> int7: このワンショットは退職するしその上全快する; int7 -> int8: このワンショットは退職する; int8 -> int9: 「退職する」物はある;
$facts$ = fact1: もし仮に「区分出来る」物があるとすればこの工場は焼き始めるがしかし打ち勝てない fact2: 「打ち勝てる」物はある fact3: もし何らかのものが消防隊員でないとすれば退職するしかつ全快する fact4: 「このワンショットは覚え難くないけど消防隊員だ」ということは偽である fact5: もしもこの工場は焼き始めるということはないとすると「汚れ切るが変わり易くない」ということは成り立たない fact6: 「「切り離し難い」ということは事実な」物があるとしたらこの工場は焼き始めるけれど打ち勝てない fact7: 「この工場は焼き始めるし打ち勝てる」ということは間違っている fact8: もし「この工場は区分出来ない」ということは確かなら「焼き始めるが打ち勝てない」ということは成り立たない fact9: 仮にこの工場は区分出来ないとすれば「焼き始めるしかつそれは打ち勝てる」ということは偽だ fact10: もしも「何かは覚え難くないけれど消防隊員だ」ということは誤っているならそれは消防隊員だということはない fact11: 「切り離し難い」ものがあるとすればこの工場は打ち勝てない fact12: 「切り離し難い」ものはある ; $hypothesis$ = この工場は区分出来ない ; $proof$ = 
void -> assump1: 以下のように仮定する。この工場は区分出来ない; fact8 & assump1 -> int1: 「この工場は焼き始める一方で打ち勝てない」ということは間違っている; fact6 & fact12 -> int2: この工場は焼き始めるがそれは打ち勝てない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮に「区分出来る」物があるとすればこの工場は焼き始めるがしかし打ち勝てない
事実2: 「打ち勝てる」物はある
事実3: もし何らかのものが消防隊員でないとすれば退職するしかつ全快する
事実4: 「このワンショットは覚え難くないけど消防隊員だ」ということは偽である
事実5: もしもこの工場は焼き始めるということはないとすると「汚れ切るが変わり易くない」ということは成り立たない
事実6: 「「切り離し難い」ということは事実な」物があるとしたらこの工場は焼き始めるけれど打ち勝てない
事実7: 「この工場は焼き始めるし打ち勝てる」ということは間違っている
事実8: もし「この工場は区分出来ない」ということは確かなら「焼き始めるが打ち勝てない」ということは成り立たない
事実9: 仮にこの工場は区分出来ないとすれば「焼き始めるしかつそれは打ち勝てる」ということは偽だ
事実10: もしも「何かは覚え難くないけれど消防隊員だ」ということは誤っているならそれは消防隊員だということはない
事実11: 「切り離し難い」ものがあるとすればこの工場は打ち勝てない
事実12: 「切り離し難い」ものはある

仮説: この工場は区分出来ない
1. 仮定1: 以下のように仮定する。この工場は区分出来ない
2. 事実8と仮定1から、推論1: "「この工場は焼き始める一方で打ち勝てない」ということは間違っている"が導かれる
3. 事実6と事実12から、推論2: "この工場は焼き始めるがそれは打ち勝てない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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