あのビートは掻い出す
fact1: もし仮にあのビートはすっごくないとしたら「それは大総統でないがしかし騒がしい」ということは間違いである fact2: あのビートはすっごいということはない fact3: もし「なにかは大総統だということはない一方で騒がしい」ということは成り立たないとしたら「掻い出す」ということは事実だ
fact3 -> int1: 「あのビートは大総統でないがしかしそれは騒がしい」ということは誤っているとすると掻い出す; fact1 & fact2 -> int2: 「「あのビートは大総統だということはないが騒がしい」ということは本当である」ということは事実と異なる; int1 & int2 -> hypothesis;
$facts$ = fact1: もし仮にあのビートはすっごくないとしたら「それは大総統でないがしかし騒がしい」ということは間違いである fact2: あのビートはすっごいということはない fact3: もし「なにかは大総統だということはない一方で騒がしい」ということは成り立たないとしたら「掻い出す」ということは事実だ ; $hypothesis$ = あのビートは掻い出す ; $proof$ = 
fact3 -> int1: 「あのビートは大総統でないがしかしそれは騒がしい」ということは誤っているとすると掻い出す; fact1 & fact2 -> int2: 「「あのビートは大総統だということはないが騒がしい」ということは本当である」ということは事実と異なる; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にあのビートはすっごくないとしたら「それは大総統でないがしかし騒がしい」ということは間違いである
事実2: あのビートはすっごいということはない
事実3: もし「なにかは大総統だということはない一方で騒がしい」ということは成り立たないとしたら「掻い出す」ということは事実だ

仮説: あのビートは掻い出す
1. 事実3から、推論1: "「あのビートは大総統でないがしかしそれは騒がしい」ということは誤っているとすると掻い出す"が導かれる
2. 事実1と事実2から、推論2: "「「あのビートは大総統だということはないが騒がしい」ということは本当である」ということは事実と異なる"が導かれる
3. 推論1と推論2から、仮説が導かれる

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