そのアベは空城である
fact1: 仮に何らかのものが難しいならばそれは空城でないしそれは部落外である fact2: もし「部落外な」ものがあるとしたらそのアベは部落外であるかまたは空城であるかもしくは両方ともだ fact3: その要件事実は空城である fact4: そのアベはＴＶ局だ fact5: そのアベは空城だ fact6: その生徒指導室は空城である fact7: なにがしかのものが奪回しないならばそれは部落外で難しい fact8: そのアベは好例だ fact9: このざら場は空城である fact10: その省スペースは苦しがらない fact11: そのアベは厳めしい fact12: もしも「とあるものは去れるしおまけに硬膜下血腫である」ということは事実と異なればそれは奪回しない fact13: 仮に「苦しがらない」物はあるなら「その私達現代人は去れるし硬膜下血腫だ」ということは成り立たない fact14: もしその私達現代人が去れないとすればそのアベは難しいしおまけに奪回する
fact5 -> hypothesis;
fact5 -> hypothesis;
「そのアベは空城でない」ということは成り立つ
fact16 -> int1: そのアベが難しいなら空城でないしそれにそれは部落外だ;
$facts$ = fact1: 仮に何らかのものが難しいならばそれは空城でないしそれは部落外である fact2: もし「部落外な」ものがあるとしたらそのアベは部落外であるかまたは空城であるかもしくは両方ともだ fact3: その要件事実は空城である fact4: そのアベはＴＶ局だ fact5: そのアベは空城だ fact6: その生徒指導室は空城である fact7: なにがしかのものが奪回しないならばそれは部落外で難しい fact8: そのアベは好例だ fact9: このざら場は空城である fact10: その省スペースは苦しがらない fact11: そのアベは厳めしい fact12: もしも「とあるものは去れるしおまけに硬膜下血腫である」ということは事実と異なればそれは奪回しない fact13: 仮に「苦しがらない」物はあるなら「その私達現代人は去れるし硬膜下血腫だ」ということは成り立たない fact14: もしその私達現代人が去れないとすればそのアベは難しいしおまけに奪回する ; $hypothesis$ = そのアベは空城である ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 仮に何らかのものが難しいならばそれは空城でないしそれは部落外である
事実2: もし「部落外な」ものがあるとしたらそのアベは部落外であるかまたは空城であるかもしくは両方ともだ
事実3: その要件事実は空城である
事実4: そのアベはＴＶ局だ
事実5: そのアベは空城だ
事実6: その生徒指導室は空城である
事実7: なにがしかのものが奪回しないならばそれは部落外で難しい
事実8: そのアベは好例だ
事実9: このざら場は空城である
事実10: その省スペースは苦しがらない
事実11: そのアベは厳めしい
事実12: もしも「とあるものは去れるしおまけに硬膜下血腫である」ということは事実と異なればそれは奪回しない
事実13: 仮に「苦しがらない」物はあるなら「その私達現代人は去れるし硬膜下血腫だ」ということは成り立たない
事実14: もしその私達現代人が去れないとすればそのアベは難しいしおまけに奪回する

仮説: そのアベは空城である
1. 事実5から、仮説が導かれる

よって、仮説が証明されました。