そのペナントは悍ましかない
fact1: もしもそのペナントがいとおしいならばその五段階モデルはいとおしい fact2: そのペナントは申告・納付する fact3: そのペナントは悍ましいしさらに申告・納付する
fact3 -> hypothesis;
fact3 -> hypothesis;
その五段階モデルはいとおしいし加えて申告・納付する
$facts$ = fact1: もしもそのペナントがいとおしいならばその五段階モデルはいとおしい fact2: そのペナントは申告・納付する fact3: そのペナントは悍ましいしさらに申告・納付する ; $hypothesis$ = そのペナントは悍ましかない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: もしもそのペナントがいとおしいならばその五段階モデルはいとおしい
事実2: そのペナントは申告・納付する
事実3: そのペナントは悍ましいしさらに申告・納付する

仮説: そのペナントは悍ましかない
1. 事実3から、仮説が否定される

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