この一踊りは腫れぼったくない
fact1: もしも何かは無理無いならそれは算出しない fact2: あるものは調査しない fact3: 「もし仮にとあるものが調査しないならこの一踊りは腫れぼったいということはない」ということは成り立つ fact4: 「ビードロでない」ものはある fact5: もし何らかのものが算出しないならばそれは腫れぼったいしその上調査する fact6: あのプロテスタント王が食い尽くす一方でそれが冷め易くないとすればあの一踊りは冷め易い fact7: 「調査する」物はある fact8: 「丸っこくない」物はある fact9: もし仮になにがしかの物が調査しないとしたらこの法的責任は滝尾神社でない fact10: 「保持し続けない」物はある fact11: 仮に何らかのものが継承すれば食い尽くす fact12: あのプロテスタント王は継承する fact13: 冷め易いものは無理無い fact14: 「「腫れぼったくない」ということは本当な」物はある
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
この一踊りは腫れぼったい
fact18 -> int1: 仮にこの一踊りが算出しないならばそれは腫れぼったいししかも調査する; fact17 -> int2: もしもこの一踊りが無理無いならば算出するということはない; fact20 -> int3: もし仮にこの一踊りが冷め易いとしたらそれは無理無い; fact16 -> int4: もしあのプロテスタント王が継承するならそれは食い尽くす; int4 & fact15 -> int5: あのプロテスタント王は食い尽くす;
$facts$ = fact1: もしも何かは無理無いならそれは算出しない fact2: あるものは調査しない fact3: 「もし仮にとあるものが調査しないならこの一踊りは腫れぼったいということはない」ということは成り立つ fact4: 「ビードロでない」ものはある fact5: もし何らかのものが算出しないならばそれは腫れぼったいしその上調査する fact6: あのプロテスタント王が食い尽くす一方でそれが冷め易くないとすればあの一踊りは冷め易い fact7: 「調査する」物はある fact8: 「丸っこくない」物はある fact9: もし仮になにがしかの物が調査しないとしたらこの法的責任は滝尾神社でない fact10: 「保持し続けない」物はある fact11: 仮に何らかのものが継承すれば食い尽くす fact12: あのプロテスタント王は継承する fact13: 冷め易いものは無理無い fact14: 「「腫れぼったくない」ということは本当な」物はある ; $hypothesis$ = この一踊りは腫れぼったくない ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: もしも何かは無理無いならそれは算出しない
事実2: あるものは調査しない
事実3: 「もし仮にとあるものが調査しないならこの一踊りは腫れぼったいということはない」ということは成り立つ
事実4: 「ビードロでない」ものはある
事実5: もし何らかのものが算出しないならばそれは腫れぼったいしその上調査する
事実6: あのプロテスタント王が食い尽くす一方でそれが冷め易くないとすればあの一踊りは冷め易い
事実7: 「調査する」物はある
事実8: 「丸っこくない」物はある
事実9: もし仮になにがしかの物が調査しないとしたらこの法的責任は滝尾神社でない
事実10: 「保持し続けない」物はある
事実11: 仮に何らかのものが継承すれば食い尽くす
事実12: あのプロテスタント王は継承する
事実13: 冷め易いものは無理無い
事実14: 「「腫れぼったくない」ということは本当な」物はある

仮説: この一踊りは腫れぼったくない
1. 事実2と事実3から、仮説が導かれる

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