この鍼灸は規定し得ない
fact1: この鍼灸は愚かしい fact2: この鍼灸は南部地域でない fact3: 「「愚かしいか規定し得る」ということは嘘な」物はある fact4: 何かは二三十人でないならそれは気侭であるということはないしそれは愚かしい fact5: 仮にこの鍼灸が自覚しないけれどそれが殴り殺すとすればその翼状は気侭でない fact6: あの刑法は前受け金なら「「その翼状は視姦しなくて加えてそれは加工し易いということはない」ということは成り立たない」ということは誤りだということはない fact7: この当該治験は自覚する fact8: 「その翼状は気侭であるし更に愚かしい」ということは正しい fact9: この鍼灸は自覚するということはないけれど気侭だ fact10: もし仮に「とある物は気侭であるということはないけど愚かしい」ということは誤っていないならば規定し得ない fact11: 「この鍼灸は気侭でないがそれは自覚する」ということは誤りだ fact12: もし「あるものは自覚しないがそれは殴り殺す」ということは誤りであるとするとそれは規定し得る
void -> assump1: 以下のように仮定する。この鍼灸は自覚しないがしかしそれは殴り殺す; fact5 & assump1 -> int1: その翼状は気侭でない; fact8 -> int2: その翼状は気侭である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この鍼灸は自覚しないけれどそれは殴り殺す」ということは誤りである; fact12 -> int5: 仮に「この鍼灸は自覚しないけれど殴り殺す」ということは成り立たないとするとそれは規定し得る; int4 & int5 -> hypothesis;
この鍼灸は気侭で答える
$facts$ = fact1: この鍼灸は愚かしい fact2: この鍼灸は南部地域でない fact3: 「「愚かしいか規定し得る」ということは嘘な」物はある fact4: 何かは二三十人でないならそれは気侭であるということはないしそれは愚かしい fact5: 仮にこの鍼灸が自覚しないけれどそれが殴り殺すとすればその翼状は気侭でない fact6: あの刑法は前受け金なら「「その翼状は視姦しなくて加えてそれは加工し易いということはない」ということは成り立たない」ということは誤りだということはない fact7: この当該治験は自覚する fact8: 「その翼状は気侭であるし更に愚かしい」ということは正しい fact9: この鍼灸は自覚するということはないけれど気侭だ fact10: もし仮に「とある物は気侭であるということはないけど愚かしい」ということは誤っていないならば規定し得ない fact11: 「この鍼灸は気侭でないがそれは自覚する」ということは誤りだ fact12: もし「あるものは自覚しないがそれは殴り殺す」ということは誤りであるとするとそれは規定し得る ; $hypothesis$ = この鍼灸は規定し得ない ; $proof$ = 
void -> assump1: 以下のように仮定する。この鍼灸は自覚しないがしかしそれは殴り殺す; fact5 & assump1 -> int1: その翼状は気侭でない; fact8 -> int2: その翼状は気侭である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この鍼灸は自覚しないけれどそれは殴り殺す」ということは誤りである; fact12 -> int5: 仮に「この鍼灸は自覚しないけれど殴り殺す」ということは成り立たないとするとそれは規定し得る; int4 & int5 -> hypothesis; __DISPROVED__
事実1: この鍼灸は愚かしい
事実2: この鍼灸は南部地域でない
事実3: 「「愚かしいか規定し得る」ということは嘘な」物はある
事実4: 何かは二三十人でないならそれは気侭であるということはないしそれは愚かしい
事実5: 仮にこの鍼灸が自覚しないけれどそれが殴り殺すとすればその翼状は気侭でない
事実6: あの刑法は前受け金なら「「その翼状は視姦しなくて加えてそれは加工し易いということはない」ということは成り立たない」ということは誤りだということはない
事実7: この当該治験は自覚する
事実8: 「その翼状は気侭であるし更に愚かしい」ということは正しい
事実9: この鍼灸は自覚するということはないけれど気侭だ
事実10: もし仮に「とある物は気侭であるということはないけど愚かしい」ということは誤っていないならば規定し得ない
事実11: 「この鍼灸は気侭でないがそれは自覚する」ということは誤りだ
事実12: もし「あるものは自覚しないがそれは殴り殺す」ということは誤りであるとするとそれは規定し得る

仮説: この鍼灸は規定し得ない
1. 仮定1: 以下のように仮定する。この鍼灸は自覚しないがしかしそれは殴り殺す
2. 事実5と仮定1から、推論1: "その翼状は気侭でない"が導かれる
3. 事実8から、推論2: "その翼状は気侭である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この鍼灸は自覚しないけれどそれは殴り殺す」ということは誤りである"が導かれる
6. 事実12から、推論5: "仮に「この鍼灸は自覚しないけれど殴り殺す」ということは成り立たないとするとそれは規定し得る"が導かれる
7. 推論4と推論5から、仮説が否定される

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