「もしこの評価情報が内部者取り引き規制であるけれど甑でないならこの評価情報は全快しない」ということは誤りである
fact1: もし内部者取り引き規制が甑でないとすれば全快しない
$facts$ = fact1: もし内部者取り引き規制が甑でないとすれば全快しない ; $hypothesis$ = 「もしこの評価情報が内部者取り引き規制であるけれど甑でないならこの評価情報は全快しない」ということは誤りである ; $proof$ = 
事実1: もし内部者取り引き規制が甑でないとすれば全快しない

仮説: 「もしこの評価情報が内部者取り引き規制であるけれど甑でないならこの評価情報は全快しない」ということは誤りである