「そのパラボラ・アンテナは慌て出さない」ということは成り立つ
fact1: もし仮にその少人数指導加配が基礎研究ならあの副腎皮質ホルモンは日参しないし加えて切れ易くない fact2: もし仮にあの副腎皮質ホルモンが日参しなくてかつ切れ易くないならばそのパラボラ・アンテナは慌て出さない fact3: なにがしかのものは輸入申告しないがしかし燃やせるなら基礎研究だ fact4: あらゆるものが輸入申告するということはないしさらにそれは燃やせる
fact4 -> int1: 「その少人数指導加配は輸入申告するということはないけれど燃やせる」ということは本当だ; fact3 -> int2: 仮にその少人数指導加配は輸入申告しないけど燃やせれば基礎研究だ; int1 & int2 -> int3: 「その少人数指導加配は基礎研究だ」ということは成り立つ; int3 & fact1 -> int4: あの副腎皮質ホルモンは日参しなくてそれは切れ易くない; int4 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にその少人数指導加配が基礎研究ならあの副腎皮質ホルモンは日参しないし加えて切れ易くない fact2: もし仮にあの副腎皮質ホルモンが日参しなくてかつ切れ易くないならばそのパラボラ・アンテナは慌て出さない fact3: なにがしかのものは輸入申告しないがしかし燃やせるなら基礎研究だ fact4: あらゆるものが輸入申告するということはないしさらにそれは燃やせる ; $hypothesis$ = 「そのパラボラ・アンテナは慌て出さない」ということは成り立つ ; $proof$ = 
fact4 -> int1: 「その少人数指導加配は輸入申告するということはないけれど燃やせる」ということは本当だ; fact3 -> int2: 仮にその少人数指導加配は輸入申告しないけど燃やせれば基礎研究だ; int1 & int2 -> int3: 「その少人数指導加配は基礎研究だ」ということは成り立つ; int3 & fact1 -> int4: あの副腎皮質ホルモンは日参しなくてそれは切れ易くない; int4 & fact2 -> hypothesis; __PROVED__
事実1: もし仮にその少人数指導加配が基礎研究ならあの副腎皮質ホルモンは日参しないし加えて切れ易くない
事実2: もし仮にあの副腎皮質ホルモンが日参しなくてかつ切れ易くないならばそのパラボラ・アンテナは慌て出さない
事実3: なにがしかのものは輸入申告しないがしかし燃やせるなら基礎研究だ
事実4: あらゆるものが輸入申告するということはないしさらにそれは燃やせる

仮説: 「そのパラボラ・アンテナは慌て出さない」ということは成り立つ
1. 事実4から、推論1: "「その少人数指導加配は輸入申告するということはないけれど燃やせる」ということは本当だ"が導かれる
2. 事実3から、推論2: "仮にその少人数指導加配は輸入申告しないけど燃やせれば基礎研究だ"が導かれる
3. 推論1と推論2から、推論3: "「その少人数指導加配は基礎研究だ」ということは成り立つ"が導かれる
4. 推論3と事実1から、推論4: "あの副腎皮質ホルモンは日参しなくてそれは切れ易くない"が導かれる
5. 推論4と事実2から、仮説が導かれる

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