この暗黙知は五十五人だ
fact1: この暗黙知は左室肥大である fact2: もしこの開発エンジニアが噎せ返るとすれば夥しい fact3: あの一号車は夥しくない fact4: この暗黙知は一区切りだ fact5: この開発エンジニアは噎せ返る fact6: その応対は防護するということはないけれどそれは夥しい fact7: もし仮にこの暗黙知が夥しいならこの開発エンジニアは一区切りだ fact8: この開発エンジニアは兄弟猫でない fact9: この暗黙知は夥しい fact10: 仮にこの開発エンジニアが夥しいとするとあの大率は脂っぽい fact11: 仮にあの大率が脂っぽいとするとこの暗黙知は五十五人でないけど一区切りである fact12: もしこの開発エンジニアが一区切りだとしたらこの暗黙知は噎せ返る fact13: もしもあの大率が脂っぽいならばあの暗黙知は一区切りだ
fact2 & fact5 -> int1: この開発エンジニアは夥しい; int1 & fact10 -> int2: あの大率は脂っぽい; int2 & fact11 -> int3: この暗黙知は五十五人でないけれどそれは一区切りだ; int3 -> hypothesis;
$facts$ = fact1: この暗黙知は左室肥大である fact2: もしこの開発エンジニアが噎せ返るとすれば夥しい fact3: あの一号車は夥しくない fact4: この暗黙知は一区切りだ fact5: この開発エンジニアは噎せ返る fact6: その応対は防護するということはないけれどそれは夥しい fact7: もし仮にこの暗黙知が夥しいならこの開発エンジニアは一区切りだ fact8: この開発エンジニアは兄弟猫でない fact9: この暗黙知は夥しい fact10: 仮にこの開発エンジニアが夥しいとするとあの大率は脂っぽい fact11: 仮にあの大率が脂っぽいとするとこの暗黙知は五十五人でないけど一区切りである fact12: もしこの開発エンジニアが一区切りだとしたらこの暗黙知は噎せ返る fact13: もしもあの大率が脂っぽいならばあの暗黙知は一区切りだ ; $hypothesis$ = この暗黙知は五十五人だ ; $proof$ = 
fact2 & fact5 -> int1: この開発エンジニアは夥しい; int1 & fact10 -> int2: あの大率は脂っぽい; int2 & fact11 -> int3: この暗黙知は五十五人でないけれどそれは一区切りだ; int3 -> hypothesis; __DISPROVED__
事実1: この暗黙知は左室肥大である
事実2: もしこの開発エンジニアが噎せ返るとすれば夥しい
事実3: あの一号車は夥しくない
事実4: この暗黙知は一区切りだ
事実5: この開発エンジニアは噎せ返る
事実6: その応対は防護するということはないけれどそれは夥しい
事実7: もし仮にこの暗黙知が夥しいならこの開発エンジニアは一区切りだ
事実8: この開発エンジニアは兄弟猫でない
事実9: この暗黙知は夥しい
事実10: 仮にこの開発エンジニアが夥しいとするとあの大率は脂っぽい
事実11: 仮にあの大率が脂っぽいとするとこの暗黙知は五十五人でないけど一区切りである
事実12: もしこの開発エンジニアが一区切りだとしたらこの暗黙知は噎せ返る
事実13: もしもあの大率が脂っぽいならばあの暗黙知は一区切りだ

仮説: この暗黙知は五十五人だ
1. 事実2と事実5から、推論1: "この開発エンジニアは夥しい"が導かれる
2. 推論1と事実10から、推論2: "あの大率は脂っぽい"が導かれる
3. 推論2と事実11から、推論3: "この暗黙知は五十五人でないけれどそれは一区切りだ"が導かれる
4. 推論3から、仮説が否定される

よって、仮説が否定されました。