この空洞化対策は釈明しない
fact1: もし「釈明する」ものがあるならばあの一神は地球外だ fact2: 仮に「「僻みっぽくないしその上嘲笑しない」ということは成り立たない」物があるとするとあの虎尾説は釈明する fact3: 「仲裁期日である」物はある fact4: 「釈明するということはないしまた地球外でない」ものはある fact5: 何らかの物は地球外でないしさらにそれは釈明しない fact6: もしも「釈明する」物があるとするとこの空洞化対策は地球外だ fact7: もし仮に「「地球外だ」ということは正しい」ものがあるとするとこの空洞化対策は釈明する fact8: 「「終業式だということはなくてまた検討出来ない」ということは正しくない」ものはある fact9: 「その一神は地球外であるがしかし見境無いということはない」ということは偽だとしたらこの空洞化対策は釈明するということはない fact10: この空洞化対策は御国自慢だ fact11: 「この空洞化対策は釈明する一方で見境無いということはない」ということは成り立たないとするとその一神は釈明しない fact12: もしも「「好き好きでなくてその上版形でない」ということは成り立たない」ものがあるとするとその一神は地球外だ fact13: 「「好き好きでなくてその上版形でない」ということは誤りである」物はある fact14: 「「寄り付かなくて干渉しない」ということは成り立たない」物はある fact15: 「「釈明するし地球外でない」ということは誤りである」物はある fact16: 「「地球外であるしその上釈明するということはない」ということは誤っている」ものはある
fact13 & fact12 -> int1: 「その一神は地球外である」ということは真実だ; int1 -> int2: なんらかのものは地球外だ; int2 & fact7 -> hypothesis;
「「押し分ける」ということは事実である」物はある
$facts$ = fact1: もし「釈明する」ものがあるならばあの一神は地球外だ fact2: 仮に「「僻みっぽくないしその上嘲笑しない」ということは成り立たない」物があるとするとあの虎尾説は釈明する fact3: 「仲裁期日である」物はある fact4: 「釈明するということはないしまた地球外でない」ものはある fact5: 何らかの物は地球外でないしさらにそれは釈明しない fact6: もしも「釈明する」物があるとするとこの空洞化対策は地球外だ fact7: もし仮に「「地球外だ」ということは正しい」ものがあるとするとこの空洞化対策は釈明する fact8: 「「終業式だということはなくてまた検討出来ない」ということは正しくない」ものはある fact9: 「その一神は地球外であるがしかし見境無いということはない」ということは偽だとしたらこの空洞化対策は釈明するということはない fact10: この空洞化対策は御国自慢だ fact11: 「この空洞化対策は釈明する一方で見境無いということはない」ということは成り立たないとするとその一神は釈明しない fact12: もしも「「好き好きでなくてその上版形でない」ということは成り立たない」ものがあるとするとその一神は地球外だ fact13: 「「好き好きでなくてその上版形でない」ということは誤りである」物はある fact14: 「「寄り付かなくて干渉しない」ということは成り立たない」物はある fact15: 「「釈明するし地球外でない」ということは誤りである」物はある fact16: 「「地球外であるしその上釈明するということはない」ということは誤っている」ものはある ; $hypothesis$ = この空洞化対策は釈明しない ; $proof$ = 
fact13 & fact12 -> int1: 「その一神は地球外である」ということは真実だ; int1 -> int2: なんらかのものは地球外だ; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: もし「釈明する」ものがあるならばあの一神は地球外だ
事実2: 仮に「「僻みっぽくないしその上嘲笑しない」ということは成り立たない」物があるとするとあの虎尾説は釈明する
事実3: 「仲裁期日である」物はある
事実4: 「釈明するということはないしまた地球外でない」ものはある
事実5: 何らかの物は地球外でないしさらにそれは釈明しない
事実6: もしも「釈明する」物があるとするとこの空洞化対策は地球外だ
事実7: もし仮に「「地球外だ」ということは正しい」ものがあるとするとこの空洞化対策は釈明する
事実8: 「「終業式だということはなくてまた検討出来ない」ということは正しくない」ものはある
事実9: 「その一神は地球外であるがしかし見境無いということはない」ということは偽だとしたらこの空洞化対策は釈明するということはない
事実10: この空洞化対策は御国自慢だ
事実11: 「この空洞化対策は釈明する一方で見境無いということはない」ということは成り立たないとするとその一神は釈明しない
事実12: もしも「「好き好きでなくてその上版形でない」ということは成り立たない」ものがあるとするとその一神は地球外だ
事実13: 「「好き好きでなくてその上版形でない」ということは誤りである」物はある
事実14: 「「寄り付かなくて干渉しない」ということは成り立たない」物はある
事実15: 「「釈明するし地球外でない」ということは誤りである」物はある
事実16: 「「地球外であるしその上釈明するということはない」ということは誤っている」ものはある

仮説: この空洞化対策は釈明しない
1. 事実13と事実12から、推論1: "「その一神は地球外である」ということは真実だ"が導かれる
2. 推論1から、推論2: "なんらかのものは地球外だ"が導かれる
3. 推論2と事実7から、仮説が否定される

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