「この副甲状腺ホルモンは栄転しない」ということは成り立つ
fact1: この副甲状腺ホルモンはアップリケする fact2: もしもこの奥山がアップリケするとすればこの副甲状腺ホルモンは栄転する fact3: この副甲状腺ホルモンはむさくるしい fact4: 仮にこの奥山が介入方法でないとしたらこの副甲状腺ホルモンは栄転しない fact5: もし仮に「アップリケする」物があればこの奥山は栄転する fact6: 「アップリケする」物はある fact7: ある物はアップリケするとすれば「この副甲状腺ホルモンは乗務形態である」ということは成り立つ fact8: もし仮に何らかのものが介入方法ならばあの奥山はアップリケする fact9: もし仮に「栄転する」物があるならこの副甲状腺ホルモンはアップリケする fact10: その適格合併は栄転する fact11: 「介入方法な」ものはある fact12: この副甲状腺ホルモンは記する fact13: 「塩っ辛い」ものはある fact14: 「栄転する」物はある
fact11 & fact8 -> int1: この奥山はアップリケする; int1 & fact2 -> hypothesis;
fact11 & fact8 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
「この副甲状腺ホルモンは栄転しない」ということは間違いでない
$facts$ = fact1: この副甲状腺ホルモンはアップリケする fact2: もしもこの奥山がアップリケするとすればこの副甲状腺ホルモンは栄転する fact3: この副甲状腺ホルモンはむさくるしい fact4: 仮にこの奥山が介入方法でないとしたらこの副甲状腺ホルモンは栄転しない fact5: もし仮に「アップリケする」物があればこの奥山は栄転する fact6: 「アップリケする」物はある fact7: ある物はアップリケするとすれば「この副甲状腺ホルモンは乗務形態である」ということは成り立つ fact8: もし仮に何らかのものが介入方法ならばあの奥山はアップリケする fact9: もし仮に「栄転する」物があるならこの副甲状腺ホルモンはアップリケする fact10: その適格合併は栄転する fact11: 「介入方法な」ものはある fact12: この副甲状腺ホルモンは記する fact13: 「塩っ辛い」ものはある fact14: 「栄転する」物はある ; $hypothesis$ = 「この副甲状腺ホルモンは栄転しない」ということは成り立つ ; $proof$ = 
fact11 & fact8 -> int1: この奥山はアップリケする; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: この副甲状腺ホルモンはアップリケする
事実2: もしもこの奥山がアップリケするとすればこの副甲状腺ホルモンは栄転する
事実3: この副甲状腺ホルモンはむさくるしい
事実4: 仮にこの奥山が介入方法でないとしたらこの副甲状腺ホルモンは栄転しない
事実5: もし仮に「アップリケする」物があればこの奥山は栄転する
事実6: 「アップリケする」物はある
事実7: ある物はアップリケするとすれば「この副甲状腺ホルモンは乗務形態である」ということは成り立つ
事実8: もし仮に何らかのものが介入方法ならばあの奥山はアップリケする
事実9: もし仮に「栄転する」物があるならこの副甲状腺ホルモンはアップリケする
事実10: その適格合併は栄転する
事実11: 「介入方法な」ものはある
事実12: この副甲状腺ホルモンは記する
事実13: 「塩っ辛い」ものはある
事実14: 「栄転する」物はある

仮説: 「この副甲状腺ホルモンは栄転しない」ということは成り立つ
1. 事実11と事実8から、推論1: "この奥山はアップリケする"が導かれる
2. 推論1と事実2から、仮説が否定される

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