この如実はＳＫＹである
fact1: その宿泊先は呪わしい fact2: もし仮になにがしかのものは呪わしいならば「それは採用すらないしおまけにそれは連想し易い」ということは間違いだ fact3: 「あの文中用法は小煩いししかも口外する」ということは嘘である fact4: 仮に何かは口外しないかまたは親離れであるかあるいは両方ともなら親離れだ fact5: もし「あの文中用法は小煩くて口外する」ということは間違っているなら口外しない fact6: もし「その宿泊先は採用すということはないがしかし連想し易い」ということは嘘ならばあの如実はＳＫＹである fact7: もし仮になんらかのものが都鄙でないとすればそれはＳＫＹでないしさらにそれは呪わしい fact8: もし仮に「あの青筋は御容赦下さるし都鄙だ」ということは誤りだとすればあの如実は都鄙でない
fact2 -> int1: 仮にその宿泊先は呪わしいとすれば「採用すらないしそれは連想し易い」ということは誤りだ; int1 & fact1 -> int2: 「その宿泊先は採用すらないが連想し易い」ということは嘘である; int2 & fact6 -> hypothesis;
この如実はＳＫＹでない
fact10 -> int3: もしもこの如実は都鄙でないとしたらＳＫＹでないが呪わしい; fact13 -> int4: もしあの文中用法が口外しないかまたはそれが親離れならばそれは親離れだ; fact12 & fact9 -> int5: あの文中用法は口外するということはない; int5 -> int6: あの文中用法は口外しないか親離れであるかまたはどちらもである; int4 & int6 -> int7: あの文中用法は親離れである; int7 -> int8: 「親離れである」ものはある;
$facts$ = fact1: その宿泊先は呪わしい fact2: もし仮になにがしかのものは呪わしいならば「それは採用すらないしおまけにそれは連想し易い」ということは間違いだ fact3: 「あの文中用法は小煩いししかも口外する」ということは嘘である fact4: 仮に何かは口外しないかまたは親離れであるかあるいは両方ともなら親離れだ fact5: もし「あの文中用法は小煩くて口外する」ということは間違っているなら口外しない fact6: もし「その宿泊先は採用すということはないがしかし連想し易い」ということは嘘ならばあの如実はＳＫＹである fact7: もし仮になんらかのものが都鄙でないとすればそれはＳＫＹでないしさらにそれは呪わしい fact8: もし仮に「あの青筋は御容赦下さるし都鄙だ」ということは誤りだとすればあの如実は都鄙でない ; $hypothesis$ = この如実はＳＫＹである ; $proof$ = 
fact2 -> int1: 仮にその宿泊先は呪わしいとすれば「採用すらないしそれは連想し易い」ということは誤りだ; int1 & fact1 -> int2: 「その宿泊先は採用すらないが連想し易い」ということは嘘である; int2 & fact6 -> hypothesis; __PROVED__
事実1: その宿泊先は呪わしい
事実2: もし仮になにがしかのものは呪わしいならば「それは採用すらないしおまけにそれは連想し易い」ということは間違いだ
事実3: 「あの文中用法は小煩いししかも口外する」ということは嘘である
事実4: 仮に何かは口外しないかまたは親離れであるかあるいは両方ともなら親離れだ
事実5: もし「あの文中用法は小煩くて口外する」ということは間違っているなら口外しない
事実6: もし「その宿泊先は採用すということはないがしかし連想し易い」ということは嘘ならばあの如実はＳＫＹである
事実7: もし仮になんらかのものが都鄙でないとすればそれはＳＫＹでないしさらにそれは呪わしい
事実8: もし仮に「あの青筋は御容赦下さるし都鄙だ」ということは誤りだとすればあの如実は都鄙でない

仮説: この如実はＳＫＹである
1. 事実2から、推論1: "仮にその宿泊先は呪わしいとすれば「採用すらないしそれは連想し易い」ということは誤りだ"が導かれる
2. 推論1と事実1から、推論2: "「その宿泊先は採用すらないが連想し易い」ということは嘘である"が導かれる
3. 推論2と事実6から、仮説が導かれる

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