その高段者は取り消し得ということはないけど販売‐商品テーブルだ
fact1: それは取り消し得ないししかも販売‐商品テーブルだという物はない
$facts$ = fact1: それは取り消し得ないししかも販売‐商品テーブルだという物はない ; $hypothesis$ = その高段者は取り消し得ということはないけど販売‐商品テーブルだ ; $proof$ = 
事実1: それは取り消し得ないししかも販売‐商品テーブルだという物はない

仮説: その高段者は取り消し得ということはないけど販売‐商品テーブルだ