もしも「そのセイウチは御取り仕切らない」ということは確かだとすると「可決成立する」ということは成り立つ
fact1: とあるものが御取り仕切らないとするとそれは可決成立する
$facts$ = fact1: とあるものが御取り仕切らないとするとそれは可決成立する ; $hypothesis$ = もしも「そのセイウチは御取り仕切らない」ということは確かだとすると「可決成立する」ということは成り立つ ; $proof$ = 
事実1: とあるものが御取り仕切らないとするとそれは可決成立する

仮説: もしも「そのセイウチは御取り仕切らない」ということは確かだとすると「可決成立する」ということは成り立つ