そのカレントシーンは頑是無くない
fact1: その統帥は頑是無い fact2: そのカレントシーンは鋭い fact3: そのカレントシーンは頑是無い fact4: この変性・凝集は頑是無い fact5: そのカレントシーンはピット作業である
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: その統帥は頑是無い fact2: そのカレントシーンは鋭い fact3: そのカレントシーンは頑是無い fact4: この変性・凝集は頑是無い fact5: そのカレントシーンはピット作業である ; $hypothesis$ = そのカレントシーンは頑是無くない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: その統帥は頑是無い
事実2: そのカレントシーンは鋭い
事実3: そのカレントシーンは頑是無い
事実4: この変性・凝集は頑是無い
事実5: そのカレントシーンはピット作業である

仮説: そのカレントシーンは頑是無くない
1. 事実3から、仮説が否定される

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