このＴＭＯは掴み出すししかもそれは書院番頭である
fact1: もし「出欠席・備考等でないが蝙蝠安である」ものがあるとすればこのプローストは掴み出さない fact2: もしこのプローストが掴み出さないとしたらこのＴＭＯは掴み出すし加えて書院番頭である fact3: この精査が書院番頭だし徹し切れる fact4: なにかは出欠席・備考等でないがしかし蝙蝠安だ
fact4 & fact1 -> int1: このプローストは掴み出さない; int1 & fact2 -> hypothesis;
fact4 & fact1 -> int1: ¬{C}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: もし「出欠席・備考等でないが蝙蝠安である」ものがあるとすればこのプローストは掴み出さない fact2: もしこのプローストが掴み出さないとしたらこのＴＭＯは掴み出すし加えて書院番頭である fact3: この精査が書院番頭だし徹し切れる fact4: なにかは出欠席・備考等でないがしかし蝙蝠安だ ; $hypothesis$ = このＴＭＯは掴み出すししかもそれは書院番頭である ; $proof$ = 
fact4 & fact1 -> int1: このプローストは掴み出さない; int1 & fact2 -> hypothesis; __PROVED__
事実1: もし「出欠席・備考等でないが蝙蝠安である」ものがあるとすればこのプローストは掴み出さない
事実2: もしこのプローストが掴み出さないとしたらこのＴＭＯは掴み出すし加えて書院番頭である
事実3: この精査が書院番頭だし徹し切れる
事実4: なにかは出欠席・備考等でないがしかし蝙蝠安だ

仮説: このＴＭＯは掴み出すししかもそれは書院番頭である
1. 事実4と事実1から、推論1: "このプローストは掴み出さない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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