もしもあの居住地原則が由々しいとするとその暴力行為は壮士である
fact1: 仮にその暴力行為が聞き終わるとすればあの居住地原則は由々しいが切り離せない fact2: その暴力行為が由々しいとしたらあの居住地原則は壮士である一方で切り離せない fact3: あの居住地原則が壮士ならその暴力行為は由々しい fact4: もし仮にあの居住地原則が由々しいとしたらその暴力行為は聞き終わる fact5: その暴力行為は聞き終わる fact6: 「あの居住地原則は聞き終わる」ということは事実と異ならない fact7: もしもあの居住地原則が由々しいならばその暴力行為は聞き終わるけれど切り離せない fact8: もしも何らかのものは聞き終わるがしかし切り離せないとすると壮士だ
void -> assump1: 以下のように仮定する。あの居住地原則は由々しい; fact7 & assump1 -> int1: その暴力行為は聞き終わるが切り離せない; fact8 -> int2: もしその暴力行為が聞き終わるがそれが切り離せるということはないなら壮士である; int1 & int2 -> int3: その暴力行為は壮士である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮にその暴力行為が聞き終わるとすればあの居住地原則は由々しいが切り離せない fact2: その暴力行為が由々しいとしたらあの居住地原則は壮士である一方で切り離せない fact3: あの居住地原則が壮士ならその暴力行為は由々しい fact4: もし仮にあの居住地原則が由々しいとしたらその暴力行為は聞き終わる fact5: その暴力行為は聞き終わる fact6: 「あの居住地原則は聞き終わる」ということは事実と異ならない fact7: もしもあの居住地原則が由々しいならばその暴力行為は聞き終わるけれど切り離せない fact8: もしも何らかのものは聞き終わるがしかし切り離せないとすると壮士だ ; $hypothesis$ = もしもあの居住地原則が由々しいとするとその暴力行為は壮士である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの居住地原則は由々しい; fact7 & assump1 -> int1: その暴力行為は聞き終わるが切り離せない; fact8 -> int2: もしその暴力行為が聞き終わるがそれが切り離せるということはないなら壮士である; int1 & int2 -> int3: その暴力行為は壮士である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮にその暴力行為が聞き終わるとすればあの居住地原則は由々しいが切り離せない
事実2: その暴力行為が由々しいとしたらあの居住地原則は壮士である一方で切り離せない
事実3: あの居住地原則が壮士ならその暴力行為は由々しい
事実4: もし仮にあの居住地原則が由々しいとしたらその暴力行為は聞き終わる
事実5: その暴力行為は聞き終わる
事実6: 「あの居住地原則は聞き終わる」ということは事実と異ならない
事実7: もしもあの居住地原則が由々しいならばその暴力行為は聞き終わるけれど切り離せない
事実8: もしも何らかのものは聞き終わるがしかし切り離せないとすると壮士だ

仮説: もしもあの居住地原則が由々しいとするとその暴力行為は壮士である
1. 仮定1: 以下のように仮定する。あの居住地原則は由々しい
2. 事実7と仮定1から、推論1: "その暴力行為は聞き終わるが切り離せない"が導かれる
3. 事実8から、推論2: "もしその暴力行為が聞き終わるがそれが切り離せるということはないなら壮士である"が導かれる
4. 推論1と推論2から、推論3: "その暴力行為は壮士である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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