その予約無しは闇鬼だ
fact1: もし仮に何かは低迷しなくてそれに闇鬼でないとすればそれは湿る fact2: もし仮に「とあるものは奉安しないしフィレンツェ出身でない」ということは誤りならば内容スケールである fact3: あの御化け屋敷はかりかりしないが残元本だ fact4: もしもとあるものが低迷しないとしたらそれは闇鬼であるししかも湿る fact5: なんらかのものは敬愛であるということはないならば「奉安しないしかつフィレンツェ出身でない」ということは成り立たない fact6: 全てのものは湿るしそれは低迷する fact7: あの御化け屋敷がかりかりしないがしかしそれは残元本であるとすれば敬愛でない fact8: 何もかもは低迷する fact9: もし「あの漆喰作りは湿る」ということは真実であるならその予約無しは湿る fact10: もし仮にあの漆喰作りが湿るとすればその予約無しは湿るがしかし闇鬼でない fact11: 「内容スケールである」ものがあるとするとあの八重咲きは小休止するかまたは低迷するかもしくは両方ともだ
fact6 -> int1: あの漆喰作りは湿るし加えて低迷する; int1 -> int2: あの漆喰作りは湿る; int2 & fact10 -> int3: その予約無しは湿る一方で闇鬼でない; int3 -> hypothesis;
その予約無しは闇鬼である
fact13 -> int4: もしも「その予約無しは低迷しない」ということは確かであるとすればそれは闇鬼であるし湿る; fact12 -> int5: 仮に「あの御化け屋敷は奉安しないしそれにフィレンツェ出身でない」ということは間違っているとすればそれは内容スケールだ; fact17 -> int6: もし仮にあの御化け屋敷は敬愛でないとしたら「それは奉安するということはなくてかつフィレンツェ出身でない」ということは間違いである; fact15 & fact16 -> int7: あの御化け屋敷は敬愛でない; int6 & int7 -> int8: 「「あの御化け屋敷は奉安しないしフィレンツェ出身でない」ということは偽だ」ということは本当である; int5 & int8 -> int9: 「あの御化け屋敷は内容スケールである」ということは成り立つ; int9 -> int10: 「「内容スケールだ」ということは成り立つ」物はある; int10 & fact14 -> int11: あの八重咲きは小休止するかまたは低迷するかあるいは両方ともである;
$facts$ = fact1: もし仮に何かは低迷しなくてそれに闇鬼でないとすればそれは湿る fact2: もし仮に「とあるものは奉安しないしフィレンツェ出身でない」ということは誤りならば内容スケールである fact3: あの御化け屋敷はかりかりしないが残元本だ fact4: もしもとあるものが低迷しないとしたらそれは闇鬼であるししかも湿る fact5: なんらかのものは敬愛であるということはないならば「奉安しないしかつフィレンツェ出身でない」ということは成り立たない fact6: 全てのものは湿るしそれは低迷する fact7: あの御化け屋敷がかりかりしないがしかしそれは残元本であるとすれば敬愛でない fact8: 何もかもは低迷する fact9: もし「あの漆喰作りは湿る」ということは真実であるならその予約無しは湿る fact10: もし仮にあの漆喰作りが湿るとすればその予約無しは湿るがしかし闇鬼でない fact11: 「内容スケールである」ものがあるとするとあの八重咲きは小休止するかまたは低迷するかもしくは両方ともだ ; $hypothesis$ = その予約無しは闇鬼だ ; $proof$ = 
fact6 -> int1: あの漆喰作りは湿るし加えて低迷する; int1 -> int2: あの漆喰作りは湿る; int2 & fact10 -> int3: その予約無しは湿る一方で闇鬼でない; int3 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは低迷しなくてそれに闇鬼でないとすればそれは湿る
事実2: もし仮に「とあるものは奉安しないしフィレンツェ出身でない」ということは誤りならば内容スケールである
事実3: あの御化け屋敷はかりかりしないが残元本だ
事実4: もしもとあるものが低迷しないとしたらそれは闇鬼であるししかも湿る
事実5: なんらかのものは敬愛であるということはないならば「奉安しないしかつフィレンツェ出身でない」ということは成り立たない
事実6: 全てのものは湿るしそれは低迷する
事実7: あの御化け屋敷がかりかりしないがしかしそれは残元本であるとすれば敬愛でない
事実8: 何もかもは低迷する
事実9: もし「あの漆喰作りは湿る」ということは真実であるならその予約無しは湿る
事実10: もし仮にあの漆喰作りが湿るとすればその予約無しは湿るがしかし闇鬼でない
事実11: 「内容スケールである」ものがあるとするとあの八重咲きは小休止するかまたは低迷するかもしくは両方ともだ

仮説: その予約無しは闇鬼だ
1. 事実6から、推論1: "あの漆喰作りは湿るし加えて低迷する"が導かれる
2. 推論1から、推論2: "あの漆喰作りは湿る"が導かれる
3. 推論2と事実10から、推論3: "その予約無しは湿る一方で闇鬼でない"が導かれる
4. 推論3から、仮説が否定される

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