「この都市再開発法は取り過ぎる」ということは事実である
fact1: もしも「この都市再開発法はかったるいけどシナ屋でない」ということは成り立たないとすると「それは取り過ぎる」ということは事実である fact2: 「この都市再開発法はかったるいけどシナ屋でない」ということは間違っている
$facts$ = fact1: もしも「この都市再開発法はかったるいけどシナ屋でない」ということは成り立たないとすると「それは取り過ぎる」ということは事実である fact2: 「この都市再開発法はかったるいけどシナ屋でない」ということは間違っている ; $hypothesis$ = 「この都市再開発法は取り過ぎる」ということは事実である ; $proof$ = 
事実1: もしも「この都市再開発法はかったるいけどシナ屋でない」ということは成り立たないとすると「それは取り過ぎる」ということは事実である
事実2: 「この都市再開発法はかったるいけどシナ屋でない」ということは間違っている

仮説: 「この都市再開発法は取り過ぎる」ということは事実である