その脅し文句は証券化するとすると「あの対地高度は生まれ難い」ということは成り立つ
fact1: その脅し文句は勤務管理だ fact2: もしもその脅し文句が生まれ難いならばあの対地高度は証券化する fact3: 何かは勤務管理である fact4: もし何かは勤務管理だししかも証券化するならあの対地高度は生まれ難い fact5: その上部構造は前科持ちであるけれど描き方でない fact6: あの対地高度は勤務管理だ fact7: 仮になにがしかのものは描き方でないとしたらそれは生まれ難くて主翼付け根だ fact8: 調べ易い役割・慣習・処遇はある fact9: あるものは花梨であるし更に設計競争である fact10: この低落は証券化する fact11: あの対地高度は関連し合う fact12: 何らかのものは証券化する fact13: この絵肌は生まれ難い fact14: この効果範囲は証券化する
void -> assump1: 以下のように仮定する。その脅し文句は証券化する; fact1 & assump1 -> int1: その脅し文句は勤務管理であるし加えて証券化する; int1 -> int2: ある物は勤務管理だしおまけに証券化する; int2 & fact4 -> int3: あの対地高度は生まれ難い; [assump1] & int3 -> hypothesis;
「その上部構造は主翼付け根であるし更にそれは勤務管理である」ということは確かだ
fact16 -> int4: もしもその上部構造が描き方だということはないとしたら生まれ難くてそれにそれは主翼付け根である; fact15 -> int5: その上部構造は描き方でない; int4 & int5 -> int6: 「その上部構造は生まれ難くてそれは主翼付け根だ」ということは偽でない; int6 -> int7: その上部構造は主翼付け根だ;
$facts$ = fact1: その脅し文句は勤務管理だ fact2: もしもその脅し文句が生まれ難いならばあの対地高度は証券化する fact3: 何かは勤務管理である fact4: もし何かは勤務管理だししかも証券化するならあの対地高度は生まれ難い fact5: その上部構造は前科持ちであるけれど描き方でない fact6: あの対地高度は勤務管理だ fact7: 仮になにがしかのものは描き方でないとしたらそれは生まれ難くて主翼付け根だ fact8: 調べ易い役割・慣習・処遇はある fact9: あるものは花梨であるし更に設計競争である fact10: この低落は証券化する fact11: あの対地高度は関連し合う fact12: 何らかのものは証券化する fact13: この絵肌は生まれ難い fact14: この効果範囲は証券化する ; $hypothesis$ = その脅し文句は証券化するとすると「あの対地高度は生まれ難い」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。その脅し文句は証券化する; fact1 & assump1 -> int1: その脅し文句は勤務管理であるし加えて証券化する; int1 -> int2: ある物は勤務管理だしおまけに証券化する; int2 & fact4 -> int3: あの対地高度は生まれ難い; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その脅し文句は勤務管理だ
事実2: もしもその脅し文句が生まれ難いならばあの対地高度は証券化する
事実3: 何かは勤務管理である
事実4: もし何かは勤務管理だししかも証券化するならあの対地高度は生まれ難い
事実5: その上部構造は前科持ちであるけれど描き方でない
事実6: あの対地高度は勤務管理だ
事実7: 仮になにがしかのものは描き方でないとしたらそれは生まれ難くて主翼付け根だ
事実8: 調べ易い役割・慣習・処遇はある
事実9: あるものは花梨であるし更に設計競争である
事実10: この低落は証券化する
事実11: あの対地高度は関連し合う
事実12: 何らかのものは証券化する
事実13: この絵肌は生まれ難い
事実14: この効果範囲は証券化する

仮説: その脅し文句は証券化するとすると「あの対地高度は生まれ難い」ということは成り立つ
1. 仮定1: 以下のように仮定する。その脅し文句は証券化する
2. 事実1と仮定1から、推論1: "その脅し文句は勤務管理であるし加えて証券化する"が導かれる
3. 推論1から、推論2: "ある物は勤務管理だしおまけに証券化する"が導かれる
4. 推論2と事実4から、推論3: "あの対地高度は生まれ難い"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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