あのうつけは程無いということはないけれど課する
fact1: もしその会計検査院は実現するとすれば「あのうつけは程無いということはないがしかしそれは課する」ということは間違いだ fact2: その会計検査院は実現する
$facts$ = fact1: もしその会計検査院は実現するとすれば「あのうつけは程無いということはないがしかしそれは課する」ということは間違いだ fact2: その会計検査院は実現する ; $hypothesis$ = あのうつけは程無いということはないけれど課する ; $proof$ = 
事実1: もしその会計検査院は実現するとすれば「あのうつけは程無いということはないがしかしそれは課する」ということは間違いだ
事実2: その会計検査院は実現する

仮説: あのうつけは程無いということはないけれど課する