この冷却は祈りする
fact1: もしあの大学者が運悪いしまたそれがヘヤピンだとしたらこの冷却は祈りしない fact2: もしこの脳漿が単耳だ一方でそれはサンドバッグでないとすれば「あの大学者は運悪い」ということは成り立つ fact3: もしその融資先がヘヤピンならあの大学者はヘヤピンである fact4: この脳漿は単耳でない fact5: 仮にこの脳漿はヘヤピンであるならば「その融資先はサンドバッグだ」ということは本当である fact6: その融資先はヘヤピンであるかまたはそれは休職するかあるいは両方である fact7: この脳漿は単耳であるということはないしそれはサンドバッグでない fact8: 仮にその融資先は休職すれば「あの大学者はヘヤピンだ」ということは成り立つ fact9: この脳漿が単耳でないし更にそれがサンドバッグでないならあの大学者は運悪い
fact9 & fact7 -> int1: あの大学者は運悪い; fact3 & fact6 & fact8 -> int2: あの大学者はヘヤピンである; int1 & int2 -> int3: あの大学者は運悪くてかつそれはヘヤピンだ; int3 & fact1 -> hypothesis;
$facts$ = fact1: もしあの大学者が運悪いしまたそれがヘヤピンだとしたらこの冷却は祈りしない fact2: もしこの脳漿が単耳だ一方でそれはサンドバッグでないとすれば「あの大学者は運悪い」ということは成り立つ fact3: もしその融資先がヘヤピンならあの大学者はヘヤピンである fact4: この脳漿は単耳でない fact5: 仮にこの脳漿はヘヤピンであるならば「その融資先はサンドバッグだ」ということは本当である fact6: その融資先はヘヤピンであるかまたはそれは休職するかあるいは両方である fact7: この脳漿は単耳であるということはないしそれはサンドバッグでない fact8: 仮にその融資先は休職すれば「あの大学者はヘヤピンだ」ということは成り立つ fact9: この脳漿が単耳でないし更にそれがサンドバッグでないならあの大学者は運悪い ; $hypothesis$ = この冷却は祈りする ; $proof$ = 
fact9 & fact7 -> int1: あの大学者は運悪い; fact3 & fact6 & fact8 -> int2: あの大学者はヘヤピンである; int1 & int2 -> int3: あの大学者は運悪くてかつそれはヘヤピンだ; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もしあの大学者が運悪いしまたそれがヘヤピンだとしたらこの冷却は祈りしない
事実2: もしこの脳漿が単耳だ一方でそれはサンドバッグでないとすれば「あの大学者は運悪い」ということは成り立つ
事実3: もしその融資先がヘヤピンならあの大学者はヘヤピンである
事実4: この脳漿は単耳でない
事実5: 仮にこの脳漿はヘヤピンであるならば「その融資先はサンドバッグだ」ということは本当である
事実6: その融資先はヘヤピンであるかまたはそれは休職するかあるいは両方である
事実7: この脳漿は単耳であるということはないしそれはサンドバッグでない
事実8: 仮にその融資先は休職すれば「あの大学者はヘヤピンだ」ということは成り立つ
事実9: この脳漿が単耳でないし更にそれがサンドバッグでないならあの大学者は運悪い

仮説: この冷却は祈りする
1. 事実9と事実7から、推論1: "あの大学者は運悪い"が導かれる
2. 事実3と事実6と事実8から、推論2: "あの大学者はヘヤピンである"が導かれる
3. 推論1と推論2から、推論3: "あの大学者は運悪くてかつそれはヘヤピンだ"が導かれる
4. 推論3と事実1から、仮説が否定される

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