「この長寿館は日本側でない」ということは事実だ
fact1: もしも「「企業情報システムであるし胡散臭い」ということは正しい」ものはあるとしたら「この長寿館は日本側だ」ということは確かだ fact2: 何かは企業情報システムで更に胡散臭い
$facts$ = fact1: もしも「「企業情報システムであるし胡散臭い」ということは正しい」ものはあるとしたら「この長寿館は日本側だ」ということは確かだ fact2: 何かは企業情報システムで更に胡散臭い ; $hypothesis$ = 「この長寿館は日本側でない」ということは事実だ ; $proof$ = 
事実1: もしも「「企業情報システムであるし胡散臭い」ということは正しい」ものはあるとしたら「この長寿館は日本側だ」ということは確かだ
事実2: 何かは企業情報システムで更に胡散臭い

仮説: 「この長寿館は日本側でない」ということは事実だ