「そのステップ部は自然選択で更に活性化・増殖する」ということは本当だ
fact1: 常連らしい物は活性化・増殖する fact2: もしそのステップ部が自然選択であるとするとこのポリシリコンは改選する fact3: もしもそのステップ部が煩くないとすればこのポリシリコンは自然選択だ fact4: もしそのステップ部が活性化・増殖するということはないならこのポリシリコンは改選する fact5: そのチェック模様は美化しない fact6: そのステップ部は常連らしくない fact7: もしもそのチェック模様が美化しないならばこのポリシリコンは煩い fact8: この婚家は美化しない fact9: このポリシリコンは活性化・増殖する fact10: もしそのステップ部が常連らしくないならば改選するか苦しかもしくはどちらもだ fact11: このポリシリコンは煩いかまたは苦しか両方である fact12: もし仮にある物が苦しなら自然選択だ fact13: もしなんらかの物が改選するなら自然選択だ fact14: あの超音波所見は自然選択でない fact15: 「あの代表的疾患は煩い」ということは偽でない fact16: もし仮にこのポリシリコンが煩いとするとそのステップ部は活性化・増殖する fact17: もし仮にとあるものが美化するとしたらそれは自然選択である fact18: そのチェック模様は煩い
fact7 & fact5 -> int1: このポリシリコンは煩い; int1 & fact16 -> int2: そのステップ部は活性化・増殖する; fact13 -> int3: もしそのステップ部が改選するなら自然選択である; fact10 & fact6 -> int4: そのステップ部は改選するかもしくは苦しかあるいはどちらもである; fact12 -> int5: もしもそのステップ部が苦しとすればそれは自然選択だ; int3 & int4 & int5 -> int6: そのステップ部は自然選択である; int2 & int6 -> hypothesis;
fact7 & fact5 -> int1: {B}{b}; int1 & fact16 -> int2: {C}{c}; fact13 -> int3: {F}{c} -> {D}{c}; fact10 & fact6 -> int4: ({F}{c} v {E}{c}); fact12 -> int5: {E}{c} -> {D}{c}; int3 & int4 & int5 -> int6: {D}{c}; int2 & int6 -> hypothesis;
$facts$ = fact1: 常連らしい物は活性化・増殖する fact2: もしそのステップ部が自然選択であるとするとこのポリシリコンは改選する fact3: もしもそのステップ部が煩くないとすればこのポリシリコンは自然選択だ fact4: もしそのステップ部が活性化・増殖するということはないならこのポリシリコンは改選する fact5: そのチェック模様は美化しない fact6: そのステップ部は常連らしくない fact7: もしもそのチェック模様が美化しないならばこのポリシリコンは煩い fact8: この婚家は美化しない fact9: このポリシリコンは活性化・増殖する fact10: もしそのステップ部が常連らしくないならば改選するか苦しかもしくはどちらもだ fact11: このポリシリコンは煩いかまたは苦しか両方である fact12: もし仮にある物が苦しなら自然選択だ fact13: もしなんらかの物が改選するなら自然選択だ fact14: あの超音波所見は自然選択でない fact15: 「あの代表的疾患は煩い」ということは偽でない fact16: もし仮にこのポリシリコンが煩いとするとそのステップ部は活性化・増殖する fact17: もし仮にとあるものが美化するとしたらそれは自然選択である fact18: そのチェック模様は煩い ; $hypothesis$ = 「そのステップ部は自然選択で更に活性化・増殖する」ということは本当だ ; $proof$ = 
fact7 & fact5 -> int1: このポリシリコンは煩い; int1 & fact16 -> int2: そのステップ部は活性化・増殖する; fact13 -> int3: もしそのステップ部が改選するなら自然選択である; fact10 & fact6 -> int4: そのステップ部は改選するかもしくは苦しかあるいはどちらもである; fact12 -> int5: もしもそのステップ部が苦しとすればそれは自然選択だ; int3 & int4 & int5 -> int6: そのステップ部は自然選択である; int2 & int6 -> hypothesis; __PROVED__
事実1: 常連らしい物は活性化・増殖する
事実2: もしそのステップ部が自然選択であるとするとこのポリシリコンは改選する
事実3: もしもそのステップ部が煩くないとすればこのポリシリコンは自然選択だ
事実4: もしそのステップ部が活性化・増殖するということはないならこのポリシリコンは改選する
事実5: そのチェック模様は美化しない
事実6: そのステップ部は常連らしくない
事実7: もしもそのチェック模様が美化しないならばこのポリシリコンは煩い
事実8: この婚家は美化しない
事実9: このポリシリコンは活性化・増殖する
事実10: もしそのステップ部が常連らしくないならば改選するか苦しかもしくはどちらもだ
事実11: このポリシリコンは煩いかまたは苦しか両方である
事実12: もし仮にある物が苦しなら自然選択だ
事実13: もしなんらかの物が改選するなら自然選択だ
事実14: あの超音波所見は自然選択でない
事実15: 「あの代表的疾患は煩い」ということは偽でない
事実16: もし仮にこのポリシリコンが煩いとするとそのステップ部は活性化・増殖する
事実17: もし仮にとあるものが美化するとしたらそれは自然選択である
事実18: そのチェック模様は煩い

仮説: 「そのステップ部は自然選択で更に活性化・増殖する」ということは本当だ
1. 事実7と事実5から、推論1: "このポリシリコンは煩い"が導かれる
2. 推論1と事実16から、推論2: "そのステップ部は活性化・増殖する"が導かれる
3. 事実13から、推論3: "もしそのステップ部が改選するなら自然選択である"が導かれる
4. 事実10と事実6から、推論4: "そのステップ部は改選するかもしくは苦しかあるいはどちらもである"が導かれる
5. 事実12から、推論5: "もしもそのステップ部が苦しとすればそれは自然選択だ"が導かれる
6. 推論3と推論4と推論5から、推論6: "そのステップ部は自然選択である"が導かれる
7. 推論2と推論6から、仮説が導かれる

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