このシュゴ鳥は起こし易い
fact1: 仮にあのＤＶＤ‐Ｒが起こし易いとしたらこのシュゴ鳥は起こし易い fact2: 「「頑是無いかあるいは困難さでないかまたはどちらもだ」ということは成り立たない」ものはある fact3: もしも「「頑是無いかもしくは困難さでないかまたはどちらもである」ということは事実でない」ものがあるとすればこのシュゴ鳥は起こし易くない fact4: なにかは頑是無いということはない
fact2 & fact3 -> hypothesis;
「このシュゴ鳥は起こし易い」ということは成り立つ
$facts$ = fact1: 仮にあのＤＶＤ‐Ｒが起こし易いとしたらこのシュゴ鳥は起こし易い fact2: 「「頑是無いかあるいは困難さでないかまたはどちらもだ」ということは成り立たない」ものはある fact3: もしも「「頑是無いかもしくは困難さでないかまたはどちらもである」ということは事実でない」ものがあるとすればこのシュゴ鳥は起こし易くない fact4: なにかは頑是無いということはない ; $hypothesis$ = このシュゴ鳥は起こし易い ; $proof$ = 
fact2 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮にあのＤＶＤ‐Ｒが起こし易いとしたらこのシュゴ鳥は起こし易い
事実2: 「「頑是無いかあるいは困難さでないかまたはどちらもだ」ということは成り立たない」ものはある
事実3: もしも「「頑是無いかもしくは困難さでないかまたはどちらもである」ということは事実でない」ものがあるとすればこのシュゴ鳥は起こし易くない
事実4: なにかは頑是無いということはない

仮説: このシュゴ鳥は起こし易い
1. 事実2と事実3から、仮説が否定される

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