その主事は死亡時でない
fact1: 「この衛生は心許ない」ということは成り立つ fact2: その流通革命は欲しい fact3: この一年当たりは心許ない fact4: もし仮にこの衛生が欲しいし加えて心許ないならその主事は死亡時であるということはない fact5: もしもその主事が心許なくない一方でそれが欲しいならばそれは死亡時だ fact6: この衛生は大規模地震だということはない fact7: この衛生は死亡時でない fact8: その主事は欲しくて立ち会える fact9: この衛生は欲しい
fact9 & fact1 -> int1: この衛生は欲しくてまた心許ない; int1 & fact4 -> hypothesis;
fact9 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> hypothesis;
「その主事は死亡時だ」ということは事実だ
$facts$ = fact1: 「この衛生は心許ない」ということは成り立つ fact2: その流通革命は欲しい fact3: この一年当たりは心許ない fact4: もし仮にこの衛生が欲しいし加えて心許ないならその主事は死亡時であるということはない fact5: もしもその主事が心許なくない一方でそれが欲しいならばそれは死亡時だ fact6: この衛生は大規模地震だということはない fact7: この衛生は死亡時でない fact8: その主事は欲しくて立ち会える fact9: この衛生は欲しい ; $hypothesis$ = その主事は死亡時でない ; $proof$ = 
fact9 & fact1 -> int1: この衛生は欲しくてまた心許ない; int1 & fact4 -> hypothesis; __PROVED__
事実1: 「この衛生は心許ない」ということは成り立つ
事実2: その流通革命は欲しい
事実3: この一年当たりは心許ない
事実4: もし仮にこの衛生が欲しいし加えて心許ないならその主事は死亡時であるということはない
事実5: もしもその主事が心許なくない一方でそれが欲しいならばそれは死亡時だ
事実6: この衛生は大規模地震だということはない
事実7: この衛生は死亡時でない
事実8: その主事は欲しくて立ち会える
事実9: この衛生は欲しい

仮説: その主事は死亡時でない
1. 事実9と事実1から、推論1: "この衛生は欲しくてまた心許ない"が導かれる
2. 推論1と事実4から、仮説が導かれる

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