その監督機関はきもい
fact1: なにがしかのものは上げ下げするけれど一式戦でない fact2: もし何かは上げ下げする一方で一式戦でないとしたらその監督機関はきもい
$facts$ = fact1: なにがしかのものは上げ下げするけれど一式戦でない fact2: もし何かは上げ下げする一方で一式戦でないとしたらその監督機関はきもい ; $hypothesis$ = その監督機関はきもい ; $proof$ = 
事実1: なにがしかのものは上げ下げするけれど一式戦でない
事実2: もし何かは上げ下げする一方で一式戦でないとしたらその監督機関はきもい

仮説: その監督機関はきもい