何らかの物は航空産業だ
fact1: 仮にあの三分二以上が早期発見するし加えてそれが秘すなら自重しない fact2: もしも「その急先鋒は秘すということはない」ということは確かだとしたら早期発見するし伝道する fact3: その急先鋒はアカウントインタフェースでなくて秘さない fact4: あのＸＬＳは早期発見する fact5: あの毛様体は包囲するということはない fact6: 「その急先鋒が自重するしその上包囲する」ということは真実でないとしたらそれは自重しない fact7: 「あの三分二以上は早期発見する」ということは真実である fact8: あの三分二以上は自重する fact9: 「包囲する」ものはある fact10: 仮にあの三分二以上が秘さないしその上包囲するということはないとするとその急先鋒は航空産業だ fact11: あの三分二以上は包囲するということはない fact12: その損失水頭は自重する
void -> assump1: 以下のように仮定する。あの三分二以上は秘す; fact7 & assump1 -> int1: あの三分二以上は早期発見するし加えて秘す; int1 & fact1 -> int2: あの三分二以上は自重しない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの三分二以上は秘さない; int4 & fact11 -> int5: あの三分二以上は秘さないし包囲しない; int5 & fact10 -> int6: その急先鋒は航空産業である; int6 -> hypothesis;
その急先鋒は伝道する
$facts$ = fact1: 仮にあの三分二以上が早期発見するし加えてそれが秘すなら自重しない fact2: もしも「その急先鋒は秘すということはない」ということは確かだとしたら早期発見するし伝道する fact3: その急先鋒はアカウントインタフェースでなくて秘さない fact4: あのＸＬＳは早期発見する fact5: あの毛様体は包囲するということはない fact6: 「その急先鋒が自重するしその上包囲する」ということは真実でないとしたらそれは自重しない fact7: 「あの三分二以上は早期発見する」ということは真実である fact8: あの三分二以上は自重する fact9: 「包囲する」ものはある fact10: 仮にあの三分二以上が秘さないしその上包囲するということはないとするとその急先鋒は航空産業だ fact11: あの三分二以上は包囲するということはない fact12: その損失水頭は自重する ; $hypothesis$ = 何らかの物は航空産業だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの三分二以上は秘す; fact7 & assump1 -> int1: あの三分二以上は早期発見するし加えて秘す; int1 & fact1 -> int2: あの三分二以上は自重しない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの三分二以上は秘さない; int4 & fact11 -> int5: あの三分二以上は秘さないし包囲しない; int5 & fact10 -> int6: その急先鋒は航空産業である; int6 -> hypothesis; __PROVED__
事実1: 仮にあの三分二以上が早期発見するし加えてそれが秘すなら自重しない
事実2: もしも「その急先鋒は秘すということはない」ということは確かだとしたら早期発見するし伝道する
事実3: その急先鋒はアカウントインタフェースでなくて秘さない
事実4: あのＸＬＳは早期発見する
事実5: あの毛様体は包囲するということはない
事実6: 「その急先鋒が自重するしその上包囲する」ということは真実でないとしたらそれは自重しない
事実7: 「あの三分二以上は早期発見する」ということは真実である
事実8: あの三分二以上は自重する
事実9: 「包囲する」ものはある
事実10: 仮にあの三分二以上が秘さないしその上包囲するということはないとするとその急先鋒は航空産業だ
事実11: あの三分二以上は包囲するということはない
事実12: その損失水頭は自重する

仮説: 何らかの物は航空産業だ
1. 仮定1: 以下のように仮定する。あの三分二以上は秘す
2. 事実7と仮定1から、推論1: "あの三分二以上は早期発見するし加えて秘す"が導かれる
3. 推論1と事実1から、推論2: "あの三分二以上は自重しない"が導かれる
4. 推論2と事実8から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの三分二以上は秘さない"が導かれる
6. 推論4と事実11から、推論5: "あの三分二以上は秘さないし包囲しない"が導かれる
7. 推論5と事実10から、推論6: "その急先鋒は航空産業である"が導かれる
8. 推論6から、仮説が導かれる

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