「仮に管轄審査会であるとしたら明治後期である」ものはある
fact1: もしも戊辰戦争は聖職者達でないとしたら明治後期だ fact2: あるものが管轄審査会であるならそれは戊辰戦争で加えてそれは聖職者達でない fact3: あのオーバーフローは対象線だ fact4: もし「「あのオーバーフローは座り易くなくてその上それは列挙でない」ということは本当である」ということは誤りであるならそれは列挙だ
fact2 -> int1: もしその翼開帳が管轄審査会であるならばそれが戊辰戦争だし聖職者達でない; void -> assump1: 以下のように仮定する。その翼開帳は管轄審査会だ; int1 & assump1 -> int2: その翼開帳が戊辰戦争だけど聖職者達でない; fact1 -> int3: もしもその翼開帳が戊辰戦争だ一方で聖職者達でないならば明治後期だ; int2 & int3 -> int4: 「その翼開帳は明治後期でない」ということは成り立たない; [assump1] & int4 -> int5: もし「その翼開帳は管轄審査会である」ということは成り立つならそれは明治後期である; int5 -> hypothesis;
「その翼開帳はひょろ長くない」ということは事実と異なる
$facts$ = fact1: もしも戊辰戦争は聖職者達でないとしたら明治後期だ fact2: あるものが管轄審査会であるならそれは戊辰戦争で加えてそれは聖職者達でない fact3: あのオーバーフローは対象線だ fact4: もし「「あのオーバーフローは座り易くなくてその上それは列挙でない」ということは本当である」ということは誤りであるならそれは列挙だ ; $hypothesis$ = 「仮に管轄審査会であるとしたら明治後期である」ものはある ; $proof$ = 
fact2 -> int1: もしその翼開帳が管轄審査会であるならばそれが戊辰戦争だし聖職者達でない; void -> assump1: 以下のように仮定する。その翼開帳は管轄審査会だ; int1 & assump1 -> int2: その翼開帳が戊辰戦争だけど聖職者達でない; fact1 -> int3: もしもその翼開帳が戊辰戦争だ一方で聖職者達でないならば明治後期だ; int2 & int3 -> int4: 「その翼開帳は明治後期でない」ということは成り立たない; [assump1] & int4 -> int5: もし「その翼開帳は管轄審査会である」ということは成り立つならそれは明治後期である; int5 -> hypothesis; __PROVED__
事実1: もしも戊辰戦争は聖職者達でないとしたら明治後期だ
事実2: あるものが管轄審査会であるならそれは戊辰戦争で加えてそれは聖職者達でない
事実3: あのオーバーフローは対象線だ
事実4: もし「「あのオーバーフローは座り易くなくてその上それは列挙でない」ということは本当である」ということは誤りであるならそれは列挙だ

仮説: 「仮に管轄審査会であるとしたら明治後期である」ものはある
1. 事実2から、推論1: "もしその翼開帳が管轄審査会であるならばそれが戊辰戦争だし聖職者達でない"が導かれる
2. 仮定1: 以下のように仮定する。その翼開帳は管轄審査会だ
3. 推論1と仮定1から、推論2: "その翼開帳が戊辰戦争だけど聖職者達でない"が導かれる
4. 事実1から、推論3: "もしもその翼開帳が戊辰戦争だ一方で聖職者達でないならば明治後期だ"が導かれる
5. 推論2と推論3から、推論4: "「その翼開帳は明治後期でない」ということは成り立たない"が導かれる
6. [仮定1]と推論4から、推論5: "もし「その翼開帳は管轄審査会である」ということは成り立つならそれは明治後期である"が導かれる
7. 推論5から、仮説が導かれる

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