もしも「あの二百余年は入庁する」ということは確かであるとしたらあのウィンチェスター校は喀出である
fact1: 仮に「このとこしえはイラン革命である」ということは確かであるならあのウィンチェスター校は喀出である fact2: もしもあるものが高いしさらに入庁するならばあのとこしえはイラン革命である fact3: あの二百余年が入庁しないとすればそれは複数台でそれに刻む fact4: もし「このとこしえは喀出でない」ということは事実であるならばそれはイラン革命であるということはない fact5: とある物は製鋼工場でないならば「喀出で加えて入れ難い」ということは間違いだ fact6: もしあの二百余年は探究活動でなくてその上真新しくないならば高い fact7: あの二百余年は探究活動でないし加えて真新しいということはない fact8: もしも「何かは喀出であるしかつ入れ難い」ということは嘘であるとすれば喀出でない
fact6 & fact7 -> int1: 「あの二百余年は高い」ということは成り立つ; void -> assump1: 以下のように仮定する。「あの二百余年は入庁する」ということは成り立つ; int1 & assump1 -> int2: あの二百余年は高くてまた入庁する; int2 -> int3: 「高くて加えて入庁する」物はある; int3 & fact2 -> int4: このとこしえはイラン革命である; int4 & fact1 -> int5: あのウィンチェスター校は喀出である; [assump1] & int5 -> hypothesis;
とある物は複数台であるしかつ刻む
fact12 -> int6: もし「このとこしえは喀出であるしそれは入れ難い」ということは偽ならばそれは喀出でない; fact10 -> int7: もしもこのとこしえは製鋼工場だということはないとすれば「喀出だしそれは入れ難い」ということは成り立たない;
$facts$ = fact1: 仮に「このとこしえはイラン革命である」ということは確かであるならあのウィンチェスター校は喀出である fact2: もしもあるものが高いしさらに入庁するならばあのとこしえはイラン革命である fact3: あの二百余年が入庁しないとすればそれは複数台でそれに刻む fact4: もし「このとこしえは喀出でない」ということは事実であるならばそれはイラン革命であるということはない fact5: とある物は製鋼工場でないならば「喀出で加えて入れ難い」ということは間違いだ fact6: もしあの二百余年は探究活動でなくてその上真新しくないならば高い fact7: あの二百余年は探究活動でないし加えて真新しいということはない fact8: もしも「何かは喀出であるしかつ入れ難い」ということは嘘であるとすれば喀出でない ; $hypothesis$ = もしも「あの二百余年は入庁する」ということは確かであるとしたらあのウィンチェスター校は喀出である ; $proof$ = 
fact6 & fact7 -> int1: 「あの二百余年は高い」ということは成り立つ; void -> assump1: 以下のように仮定する。「あの二百余年は入庁する」ということは成り立つ; int1 & assump1 -> int2: あの二百余年は高くてまた入庁する; int2 -> int3: 「高くて加えて入庁する」物はある; int3 & fact2 -> int4: このとこしえはイラン革命である; int4 & fact1 -> int5: あのウィンチェスター校は喀出である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮に「このとこしえはイラン革命である」ということは確かであるならあのウィンチェスター校は喀出である
事実2: もしもあるものが高いしさらに入庁するならばあのとこしえはイラン革命である
事実3: あの二百余年が入庁しないとすればそれは複数台でそれに刻む
事実4: もし「このとこしえは喀出でない」ということは事実であるならばそれはイラン革命であるということはない
事実5: とある物は製鋼工場でないならば「喀出で加えて入れ難い」ということは間違いだ
事実6: もしあの二百余年は探究活動でなくてその上真新しくないならば高い
事実7: あの二百余年は探究活動でないし加えて真新しいということはない
事実8: もしも「何かは喀出であるしかつ入れ難い」ということは嘘であるとすれば喀出でない

仮説: もしも「あの二百余年は入庁する」ということは確かであるとしたらあのウィンチェスター校は喀出である
1. 事実6と事実7から、推論1: "「あの二百余年は高い」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。「あの二百余年は入庁する」ということは成り立つ
3. 推論1と仮定1から、推論2: "あの二百余年は高くてまた入庁する"が導かれる
4. 推論2から、推論3: "「高くて加えて入庁する」物はある"が導かれる
5. 推論3と事実2から、推論4: "このとこしえはイラン革命である"が導かれる
6. 推論4と事実1から、推論5: "あのウィンチェスター校は喀出である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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