「バインドするし更にＥＲＰ‐ＣＴである」物はある
fact1: この初発は実行し易いかもしくはＥＲＰ‐ＣＴである fact2: 「実行し易い」物はある fact3: その未分化前駆細胞は実行し易いかまたは外し易いかまたは両方だ fact4: 「エレガントである」ものはある fact5: この初発は着易くてそれは宣誓する fact6: 「エレガントであるしおまけに実行し易い」ものはある fact7: この初発はエレガントであるしそれにＥＲＰ‐ＣＴだ fact8: 「「納得し易い」ということは成り立つ」物はある fact9: もしその未分化前駆細胞が外し易いとすればこの初発はバインドする fact10: とある物はＥＲＰ‐ＣＴだ fact11: この初発はエレガントである fact12: なんらかのものは癒し効果だ fact13: その未分化前駆細胞は実行し易いかＥＲＰ‐ＣＴであるかまたは両方ともだ fact14: もしその未分化前駆細胞が実行し易いならこの初発はバインドする fact15: 仮に「この初発は実行し易い」ということは成り立つとしたらその未分化前駆細胞はエレガントだ
fact7 -> int1: この初発はＥＲＰ‐ＣＴである; fact3 & fact9 & fact14 -> int2: この初発はバインドする; int1 & int2 -> int3: この初発はバインドするしまたそれはＥＲＰ‐ＣＴだ; int3 -> hypothesis;
fact7 -> int1: {B}{a}; fact3 & fact9 & fact14 -> int2: {C}{a}; int1 & int2 -> int3: ({C}{a} & {B}{a}); int3 -> hypothesis;
$facts$ = fact1: この初発は実行し易いかもしくはＥＲＰ‐ＣＴである fact2: 「実行し易い」物はある fact3: その未分化前駆細胞は実行し易いかまたは外し易いかまたは両方だ fact4: 「エレガントである」ものはある fact5: この初発は着易くてそれは宣誓する fact6: 「エレガントであるしおまけに実行し易い」ものはある fact7: この初発はエレガントであるしそれにＥＲＰ‐ＣＴだ fact8: 「「納得し易い」ということは成り立つ」物はある fact9: もしその未分化前駆細胞が外し易いとすればこの初発はバインドする fact10: とある物はＥＲＰ‐ＣＴだ fact11: この初発はエレガントである fact12: なんらかのものは癒し効果だ fact13: その未分化前駆細胞は実行し易いかＥＲＰ‐ＣＴであるかまたは両方ともだ fact14: もしその未分化前駆細胞が実行し易いならこの初発はバインドする fact15: 仮に「この初発は実行し易い」ということは成り立つとしたらその未分化前駆細胞はエレガントだ ; $hypothesis$ = 「バインドするし更にＥＲＰ‐ＣＴである」物はある ; $proof$ = 
fact7 -> int1: この初発はＥＲＰ‐ＣＴである; fact3 & fact9 & fact14 -> int2: この初発はバインドする; int1 & int2 -> int3: この初発はバインドするしまたそれはＥＲＰ‐ＣＴだ; int3 -> hypothesis; __PROVED__
事実1: この初発は実行し易いかもしくはＥＲＰ‐ＣＴである
事実2: 「実行し易い」物はある
事実3: その未分化前駆細胞は実行し易いかまたは外し易いかまたは両方だ
事実4: 「エレガントである」ものはある
事実5: この初発は着易くてそれは宣誓する
事実6: 「エレガントであるしおまけに実行し易い」ものはある
事実7: この初発はエレガントであるしそれにＥＲＰ‐ＣＴだ
事実8: 「「納得し易い」ということは成り立つ」物はある
事実9: もしその未分化前駆細胞が外し易いとすればこの初発はバインドする
事実10: とある物はＥＲＰ‐ＣＴだ
事実11: この初発はエレガントである
事実12: なんらかのものは癒し効果だ
事実13: その未分化前駆細胞は実行し易いかＥＲＰ‐ＣＴであるかまたは両方ともだ
事実14: もしその未分化前駆細胞が実行し易いならこの初発はバインドする
事実15: 仮に「この初発は実行し易い」ということは成り立つとしたらその未分化前駆細胞はエレガントだ

仮説: 「バインドするし更にＥＲＰ‐ＣＴである」物はある
1. 事実7から、推論1: "この初発はＥＲＰ‐ＣＴである"が導かれる
2. 事実3と事実9と事実14から、推論2: "この初発はバインドする"が導かれる
3. 推論1と推論2から、推論3: "この初発はバインドするしまたそれはＥＲＰ‐ＣＴだ"が導かれる
4. 推論3から、仮説が導かれる

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