このミスター・スターリングは棚割でない
fact1: もしそのステーキハウスが棚上げするならそれは改名する fact2: 仮になにかは構成し直さないならそれは錯覚しない一方で保ち易い fact3: 仮に何かは錯覚するということはないが保ち易いならばそれは債務不履行説でない fact4: 仮に「あるものは棚上げしない」ということは本当だとすると改名しない一方で棚割である fact5: もしこのミスター・スターリングは国籍法であるとしたらそれは棚割だ fact6: どれもこれもは構成し直さない fact7: もしこの次作が債務不履行説でないならばその穴杓子は国籍法であるがしかし気配りするということはない fact8: あの墓標は気配りする fact9: もし仮にそのステーキハウスは棚割であるとしたら正当化する fact10: 棚割は国籍法でないかまたは棚上げしないかどちらもだ fact11: もし仮にそのステーキハウスが改名しないけどそれが棚割だとするとこのミスター・スターリングは棚割である fact12: そのステーキハウスは気配りするとしたら「それは国籍法だ」ということは真実である fact13: この執念は棚上げする fact14: そのステーキハウスはセンターフィーだ fact15: 仮に「このミスター・スターリングは棚割だ」ということは正しいなら「気配りする」ということは間違っていない fact16: そのステーキハウスは気配りする fact17: そのステーキハウスは棚上げする fact18: もし仮にそのステーキハウスが国籍法であるしその上それが改名すればこのミスター・スターリングは棚割だということはない
fact1 & fact17 -> int1: そのステーキハウスは改名する; fact16 & fact12 -> int2: そのステーキハウスは国籍法だ; int1 & int2 -> int3: そのステーキハウスは国籍法でおまけにそれは改名する; int3 & fact18 -> hypothesis;
このミスター・スターリングは棚割だ
fact21 -> int4: 仮にそのステーキハウスが棚上げしないとするとそれは改名しないがしかし棚割である;
$facts$ = fact1: もしそのステーキハウスが棚上げするならそれは改名する fact2: 仮になにかは構成し直さないならそれは錯覚しない一方で保ち易い fact3: 仮に何かは錯覚するということはないが保ち易いならばそれは債務不履行説でない fact4: 仮に「あるものは棚上げしない」ということは本当だとすると改名しない一方で棚割である fact5: もしこのミスター・スターリングは国籍法であるとしたらそれは棚割だ fact6: どれもこれもは構成し直さない fact7: もしこの次作が債務不履行説でないならばその穴杓子は国籍法であるがしかし気配りするということはない fact8: あの墓標は気配りする fact9: もし仮にそのステーキハウスは棚割であるとしたら正当化する fact10: 棚割は国籍法でないかまたは棚上げしないかどちらもだ fact11: もし仮にそのステーキハウスが改名しないけどそれが棚割だとするとこのミスター・スターリングは棚割である fact12: そのステーキハウスは気配りするとしたら「それは国籍法だ」ということは真実である fact13: この執念は棚上げする fact14: そのステーキハウスはセンターフィーだ fact15: 仮に「このミスター・スターリングは棚割だ」ということは正しいなら「気配りする」ということは間違っていない fact16: そのステーキハウスは気配りする fact17: そのステーキハウスは棚上げする fact18: もし仮にそのステーキハウスが国籍法であるしその上それが改名すればこのミスター・スターリングは棚割だということはない ; $hypothesis$ = このミスター・スターリングは棚割でない ; $proof$ = 
fact1 & fact17 -> int1: そのステーキハウスは改名する; fact16 & fact12 -> int2: そのステーキハウスは国籍法だ; int1 & int2 -> int3: そのステーキハウスは国籍法でおまけにそれは改名する; int3 & fact18 -> hypothesis; __PROVED__
事実1: もしそのステーキハウスが棚上げするならそれは改名する
事実2: 仮になにかは構成し直さないならそれは錯覚しない一方で保ち易い
事実3: 仮に何かは錯覚するということはないが保ち易いならばそれは債務不履行説でない
事実4: 仮に「あるものは棚上げしない」ということは本当だとすると改名しない一方で棚割である
事実5: もしこのミスター・スターリングは国籍法であるとしたらそれは棚割だ
事実6: どれもこれもは構成し直さない
事実7: もしこの次作が債務不履行説でないならばその穴杓子は国籍法であるがしかし気配りするということはない
事実8: あの墓標は気配りする
事実9: もし仮にそのステーキハウスは棚割であるとしたら正当化する
事実10: 棚割は国籍法でないかまたは棚上げしないかどちらもだ
事実11: もし仮にそのステーキハウスが改名しないけどそれが棚割だとするとこのミスター・スターリングは棚割である
事実12: そのステーキハウスは気配りするとしたら「それは国籍法だ」ということは真実である
事実13: この執念は棚上げする
事実14: そのステーキハウスはセンターフィーだ
事実15: 仮に「このミスター・スターリングは棚割だ」ということは正しいなら「気配りする」ということは間違っていない
事実16: そのステーキハウスは気配りする
事実17: そのステーキハウスは棚上げする
事実18: もし仮にそのステーキハウスが国籍法であるしその上それが改名すればこのミスター・スターリングは棚割だということはない

仮説: このミスター・スターリングは棚割でない
1. 事実1と事実17から、推論1: "そのステーキハウスは改名する"が導かれる
2. 事実16と事実12から、推論2: "そのステーキハウスは国籍法だ"が導かれる
3. 推論1と推論2から、推論3: "そのステーキハウスは国籍法でおまけにそれは改名する"が導かれる
4. 推論3と事実18から、仮説が導かれる

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