この遅れ馳せは神がかる
fact1: 仮にこのＰハウスが流れ易いとすればあの遅れ馳せは神がかる fact2: もしこのＰハウスが神がかるとしたらあの全庁共通は入手法でないが俗っぽい fact3: このＰハウスは俗っぽい fact4: 俗っぽくないものは入手法であるか神がかるか両方ともだ fact5: もしもこのＰハウスが流れ易いかあるいはそれが入手法でないか両方であるならばこの遅れ馳せは神がかる fact6: その社会常識は明るいかもしくはそれは転職する fact7: もし「あのＡＳは流れ易くないかもしくは順守事項であるかまたは両方ともである」ということは確かだとすればあのＰハウスは俗っぽくない fact8: もしこのＰハウスが俗っぽいなら入手法でない
fact8 & fact3 -> int1: このＰハウスは入手法でない; int1 -> int2: このＰハウスは流れ易いかもしくは入手法でないかまたは両方ともだ; int2 & fact5 -> hypothesis;
fact8 & fact3 -> int1: ¬{B}{a}; int1 -> int2: ({C}{a} v ¬{B}{a}); int2 & fact5 -> hypothesis;
「この遅れ馳せが神はからない」ということは成り立つ
fact10 -> int3: このＰハウスが俗っぽくないとすれば入手法であるかあるいは神がかる;
$facts$ = fact1: 仮にこのＰハウスが流れ易いとすればあの遅れ馳せは神がかる fact2: もしこのＰハウスが神がかるとしたらあの全庁共通は入手法でないが俗っぽい fact3: このＰハウスは俗っぽい fact4: 俗っぽくないものは入手法であるか神がかるか両方ともだ fact5: もしもこのＰハウスが流れ易いかあるいはそれが入手法でないか両方であるならばこの遅れ馳せは神がかる fact6: その社会常識は明るいかもしくはそれは転職する fact7: もし「あのＡＳは流れ易くないかもしくは順守事項であるかまたは両方ともである」ということは確かだとすればあのＰハウスは俗っぽくない fact8: もしこのＰハウスが俗っぽいなら入手法でない ; $hypothesis$ = この遅れ馳せは神がかる ; $proof$ = 
fact8 & fact3 -> int1: このＰハウスは入手法でない; int1 -> int2: このＰハウスは流れ易いかもしくは入手法でないかまたは両方ともだ; int2 & fact5 -> hypothesis; __PROVED__
事実1: 仮にこのＰハウスが流れ易いとすればあの遅れ馳せは神がかる
事実2: もしこのＰハウスが神がかるとしたらあの全庁共通は入手法でないが俗っぽい
事実3: このＰハウスは俗っぽい
事実4: 俗っぽくないものは入手法であるか神がかるか両方ともだ
事実5: もしもこのＰハウスが流れ易いかあるいはそれが入手法でないか両方であるならばこの遅れ馳せは神がかる
事実6: その社会常識は明るいかもしくはそれは転職する
事実7: もし「あのＡＳは流れ易くないかもしくは順守事項であるかまたは両方ともである」ということは確かだとすればあのＰハウスは俗っぽくない
事実8: もしこのＰハウスが俗っぽいなら入手法でない

仮説: この遅れ馳せは神がかる
1. 事実8と事実3から、推論1: "このＰハウスは入手法でない"が導かれる
2. 推論1から、推論2: "このＰハウスは流れ易いかもしくは入手法でないかまたは両方ともだ"が導かれる
3. 推論2と事実5から、仮説が導かれる

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