その見当は文書全体である
fact1: その一同は辺縁だけれど剥かない fact2: 少なくない物はやくざっぽい fact3: この八文字屋本は出入国管理だ fact4: 仮にその見当が出入国管理ならばこの八文字屋本はやくざっぽい fact5: 出入国管理でありかつ生じ易くない物は文書全体でない fact6: 生じ易いものはやくざっぽい fact7: 仮にとあるものが一覧出来るなら少なくない fact8: この八文字屋本は乗っ取るし加えて四以下だ fact9: もし仮にやくざっぽくない物が少ないということはないならその一同は生じ易くない fact10: この八文字屋本は出入国管理だし加えてそれは生じ易い fact11: この八文字屋本がやくざっぽいとするとその見当は文書全体である fact12: あの城兵はやくざっぽい fact13: その見当は脛巾であるししかも生じ易い fact14: もしもあの城兵は少なくないとすると「それは文書全体だということはなくてかつそれはやくざっぽい」ということは本当だということはない fact15: 「すべては明るくない」ということは成り立つ fact16: もし仮に「その一同は生じ易くない」ということは成り立つとしたらこの宗教的情熱は生じ易くない fact17: 仮にこの宗教的情熱が生じ易くないとするとその見当は文書全体であるが出入国管理であるということはない fact18: そのリレーションシップは剥くしそれは一覧出来る fact19: もしその一同が辺縁であるけれど剥かないとすればこの宗教的情熱は一覧出来ない fact20: もしも「この八文字屋本は凄くない物で少ないということはない」ということは誤りであるとすればその見当は少なくない fact21: もし仮に「とあるものは明るいということはない」ということは誤っていないとしたら「それは凄くないが辺縁である」ということは本当でない fact22: もしもその見当が文書全体である一方でそれが出入国管理でないならばこの八文字屋本は文書全体だ
fact10 -> int1: この八文字屋本は生じ易い; fact6 -> int2: もしもこの八文字屋本が生じ易いとすればやくざっぽい; int1 & int2 -> int3: この八文字屋本はやくざっぽい; int3 & fact11 -> hypothesis;
あの城兵は出入国管理だ
$facts$ = fact1: その一同は辺縁だけれど剥かない fact2: 少なくない物はやくざっぽい fact3: この八文字屋本は出入国管理だ fact4: 仮にその見当が出入国管理ならばこの八文字屋本はやくざっぽい fact5: 出入国管理でありかつ生じ易くない物は文書全体でない fact6: 生じ易いものはやくざっぽい fact7: 仮にとあるものが一覧出来るなら少なくない fact8: この八文字屋本は乗っ取るし加えて四以下だ fact9: もし仮にやくざっぽくない物が少ないということはないならその一同は生じ易くない fact10: この八文字屋本は出入国管理だし加えてそれは生じ易い fact11: この八文字屋本がやくざっぽいとするとその見当は文書全体である fact12: あの城兵はやくざっぽい fact13: その見当は脛巾であるししかも生じ易い fact14: もしもあの城兵は少なくないとすると「それは文書全体だということはなくてかつそれはやくざっぽい」ということは本当だということはない fact15: 「すべては明るくない」ということは成り立つ fact16: もし仮に「その一同は生じ易くない」ということは成り立つとしたらこの宗教的情熱は生じ易くない fact17: 仮にこの宗教的情熱が生じ易くないとするとその見当は文書全体であるが出入国管理であるということはない fact18: そのリレーションシップは剥くしそれは一覧出来る fact19: もしその一同が辺縁であるけれど剥かないとすればこの宗教的情熱は一覧出来ない fact20: もしも「この八文字屋本は凄くない物で少ないということはない」ということは誤りであるとすればその見当は少なくない fact21: もし仮に「とあるものは明るいということはない」ということは誤っていないとしたら「それは凄くないが辺縁である」ということは本当でない fact22: もしもその見当が文書全体である一方でそれが出入国管理でないならばこの八文字屋本は文書全体だ ; $hypothesis$ = その見当は文書全体である ; $proof$ = 
fact10 -> int1: この八文字屋本は生じ易い; fact6 -> int2: もしもこの八文字屋本が生じ易いとすればやくざっぽい; int1 & int2 -> int3: この八文字屋本はやくざっぽい; int3 & fact11 -> hypothesis; __PROVED__
事実1: その一同は辺縁だけれど剥かない
事実2: 少なくない物はやくざっぽい
事実3: この八文字屋本は出入国管理だ
事実4: 仮にその見当が出入国管理ならばこの八文字屋本はやくざっぽい
事実5: 出入国管理でありかつ生じ易くない物は文書全体でない
事実6: 生じ易いものはやくざっぽい
事実7: 仮にとあるものが一覧出来るなら少なくない
事実8: この八文字屋本は乗っ取るし加えて四以下だ
事実9: もし仮にやくざっぽくない物が少ないということはないならその一同は生じ易くない
事実10: この八文字屋本は出入国管理だし加えてそれは生じ易い
事実11: この八文字屋本がやくざっぽいとするとその見当は文書全体である
事実12: あの城兵はやくざっぽい
事実13: その見当は脛巾であるししかも生じ易い
事実14: もしもあの城兵は少なくないとすると「それは文書全体だということはなくてかつそれはやくざっぽい」ということは本当だということはない
事実15: 「すべては明るくない」ということは成り立つ
事実16: もし仮に「その一同は生じ易くない」ということは成り立つとしたらこの宗教的情熱は生じ易くない
事実17: 仮にこの宗教的情熱が生じ易くないとするとその見当は文書全体であるが出入国管理であるということはない
事実18: そのリレーションシップは剥くしそれは一覧出来る
事実19: もしその一同が辺縁であるけれど剥かないとすればこの宗教的情熱は一覧出来ない
事実20: もしも「この八文字屋本は凄くない物で少ないということはない」ということは誤りであるとすればその見当は少なくない
事実21: もし仮に「とあるものは明るいということはない」ということは誤っていないとしたら「それは凄くないが辺縁である」ということは本当でない
事実22: もしもその見当が文書全体である一方でそれが出入国管理でないならばこの八文字屋本は文書全体だ

仮説: その見当は文書全体である
1. 事実10から、推論1: "この八文字屋本は生じ易い"が導かれる
2. 事実6から、推論2: "もしもこの八文字屋本が生じ易いとすればやくざっぽい"が導かれる
3. 推論1と推論2から、推論3: "この八文字屋本はやくざっぽい"が導かれる
4. 推論3と事実11から、仮説が導かれる

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