その成長ホルモン治療は内壁水平線である
fact1: もしその成長ホルモン治療がＣＩＳＴであるならばシャン人でないかそれは大き過ぎない fact2: もし仮にあるものはシャン人でないとするとそれは内壁水平線である fact3: もし「「第二期科学技術基本計画でなくて最でない」ということは間違いな」ものがあるとしたらその切迫はシャン人でない fact4: 仮にとあるものはシャン人だということはないか大き過ぎないかまたは両方ならそれは内壁水平線だ fact5: もし仮にあるものは学術でないなら「ＣＩＳＴでしかも内壁水平線だ」ということは嘘だ fact6: もしなんらかのものはシャン人でないとすれば「大き過ぎるということはないし加えて学術である」ということは偽だ fact7: 「「「第二期科学技術基本計画でなくて最でない」ということは正しい」ということは成り立たない」物はある fact8: その成長ホルモン治療は学術であるしおまけにＣＩＳＴである
fact8 -> int1: その成長ホルモン治療はＣＩＳＴである; int1 & fact1 -> int2: その成長ホルモン治療はシャン人だということはないか大き過ぎるということはないかまたは両方ともである; fact4 -> int3: その成長ホルモン治療がシャン人でないかそれは大き過ぎないか両方ともであるとすると内壁水平線である; int2 & int3 -> hypothesis;
fact8 -> int1: {B}{a}; int1 & fact1 -> int2: (¬{C}{a} v ¬{D}{a}); fact4 -> int3: (¬{C}{a} v ¬{D}{a}) -> {E}{a}; int2 & int3 -> hypothesis;
「その成長ホルモン治療は内壁水平線でない」ということは成り立つ
fact11 -> int4: もし仮にその切迫は学術でないならば「それはＣＩＳＴだししかも内壁水平線だ」ということは成り立たない; fact10 -> int5: もしその切迫はシャン人でないとすれば「それは大き過ぎないしそれに学術である」ということは事実と異なる; fact9 & fact12 -> int6: その切迫はシャン人でない; int5 & int6 -> int7: 「その切迫は大き過ぎないが学術だ」ということは嘘である;
$facts$ = fact1: もしその成長ホルモン治療がＣＩＳＴであるならばシャン人でないかそれは大き過ぎない fact2: もし仮にあるものはシャン人でないとするとそれは内壁水平線である fact3: もし「「第二期科学技術基本計画でなくて最でない」ということは間違いな」ものがあるとしたらその切迫はシャン人でない fact4: 仮にとあるものはシャン人だということはないか大き過ぎないかまたは両方ならそれは内壁水平線だ fact5: もし仮にあるものは学術でないなら「ＣＩＳＴでしかも内壁水平線だ」ということは嘘だ fact6: もしなんらかのものはシャン人でないとすれば「大き過ぎるということはないし加えて学術である」ということは偽だ fact7: 「「「第二期科学技術基本計画でなくて最でない」ということは正しい」ということは成り立たない」物はある fact8: その成長ホルモン治療は学術であるしおまけにＣＩＳＴである ; $hypothesis$ = その成長ホルモン治療は内壁水平線である ; $proof$ = 
fact8 -> int1: その成長ホルモン治療はＣＩＳＴである; int1 & fact1 -> int2: その成長ホルモン治療はシャン人だということはないか大き過ぎるということはないかまたは両方ともである; fact4 -> int3: その成長ホルモン治療がシャン人でないかそれは大き過ぎないか両方ともであるとすると内壁水平線である; int2 & int3 -> hypothesis; __PROVED__
事実1: もしその成長ホルモン治療がＣＩＳＴであるならばシャン人でないかそれは大き過ぎない
事実2: もし仮にあるものはシャン人でないとするとそれは内壁水平線である
事実3: もし「「第二期科学技術基本計画でなくて最でない」ということは間違いな」ものがあるとしたらその切迫はシャン人でない
事実4: 仮にとあるものはシャン人だということはないか大き過ぎないかまたは両方ならそれは内壁水平線だ
事実5: もし仮にあるものは学術でないなら「ＣＩＳＴでしかも内壁水平線だ」ということは嘘だ
事実6: もしなんらかのものはシャン人でないとすれば「大き過ぎるということはないし加えて学術である」ということは偽だ
事実7: 「「「第二期科学技術基本計画でなくて最でない」ということは正しい」ということは成り立たない」物はある
事実8: その成長ホルモン治療は学術であるしおまけにＣＩＳＴである

仮説: その成長ホルモン治療は内壁水平線である
1. 事実8から、推論1: "その成長ホルモン治療はＣＩＳＴである"が導かれる
2. 推論1と事実1から、推論2: "その成長ホルモン治療はシャン人だということはないか大き過ぎるということはないかまたは両方ともである"が導かれる
3. 事実4から、推論3: "その成長ホルモン治療がシャン人でないかそれは大き過ぎないか両方ともであるとすると内壁水平線である"が導かれる
4. 推論2と推論3から、仮説が導かれる

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