「この発声訓練は動物性蛋白質である」ということは確かだ
fact1: もしもあの小範囲が東アジア共同体でないならばこの発声訓練は素早くないかもしくは動物性蛋白質であるか両方である fact2: 「この製鉄所は台地上でないし加えてそれはインストール出来ない」ということは成り立たない fact3: 「この製鉄所は素早くない」ということは成り立つとするとあの小範囲は東アジア共同体であるか動物性蛋白質である fact4: 「東アジア共同体でない」ものはある fact5: もし仮にあるものは烽火であるならば東アジア共同体でない fact6: もし仮にとある物が東アジア共同体でないとすればこの発声訓練は素早いしまた動物性蛋白質だ fact7: もしある物は台地上であるということはないとしたら「施設サービス計画であるしおまけにそれは烽火である」ということは間違いでない
fact4 & fact6 -> int1: この発声訓練は素早いししかも動物性蛋白質だ; int1 -> hypothesis;
fact4 & fact6 -> int1: ({B}{a} & {C}{a}); int1 -> hypothesis;
このＨＰＴ系は動物性蛋白質だ
fact8 -> int2: もしもあの小範囲は烽火であるならそれは東アジア共同体でない; fact9 -> int3: 仮にあの小範囲が台地上でないとすればそれは施設サービス計画であるしおまけに烽火だ;
$facts$ = fact1: もしもあの小範囲が東アジア共同体でないならばこの発声訓練は素早くないかもしくは動物性蛋白質であるか両方である fact2: 「この製鉄所は台地上でないし加えてそれはインストール出来ない」ということは成り立たない fact3: 「この製鉄所は素早くない」ということは成り立つとするとあの小範囲は東アジア共同体であるか動物性蛋白質である fact4: 「東アジア共同体でない」ものはある fact5: もし仮にあるものは烽火であるならば東アジア共同体でない fact6: もし仮にとある物が東アジア共同体でないとすればこの発声訓練は素早いしまた動物性蛋白質だ fact7: もしある物は台地上であるということはないとしたら「施設サービス計画であるしおまけにそれは烽火である」ということは間違いでない ; $hypothesis$ = 「この発声訓練は動物性蛋白質である」ということは確かだ ; $proof$ = 
fact4 & fact6 -> int1: この発声訓練は素早いししかも動物性蛋白質だ; int1 -> hypothesis; __PROVED__
事実1: もしもあの小範囲が東アジア共同体でないならばこの発声訓練は素早くないかもしくは動物性蛋白質であるか両方である
事実2: 「この製鉄所は台地上でないし加えてそれはインストール出来ない」ということは成り立たない
事実3: 「この製鉄所は素早くない」ということは成り立つとするとあの小範囲は東アジア共同体であるか動物性蛋白質である
事実4: 「東アジア共同体でない」ものはある
事実5: もし仮にあるものは烽火であるならば東アジア共同体でない
事実6: もし仮にとある物が東アジア共同体でないとすればこの発声訓練は素早いしまた動物性蛋白質だ
事実7: もしある物は台地上であるということはないとしたら「施設サービス計画であるしおまけにそれは烽火である」ということは間違いでない

仮説: 「この発声訓練は動物性蛋白質である」ということは確かだ
1. 事実4と事実6から、推論1: "この発声訓練は素早いししかも動物性蛋白質だ"が導かれる
2. 推論1から、仮説が導かれる

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