もしも「そのブルームは胸苦しい一方でそれは蓮池でない」ということは成り立たないとすれば「それは税である」ということは成り立つ
fact1: もし仮に「「あるものは胸苦しいけど蓮池であるということはない」ということは事実だ」ということは事実と異なるとすれば税である
$facts$ = fact1: もし仮に「「あるものは胸苦しいけど蓮池であるということはない」ということは事実だ」ということは事実と異なるとすれば税である ; $hypothesis$ = もしも「そのブルームは胸苦しい一方でそれは蓮池でない」ということは成り立たないとすれば「それは税である」ということは成り立つ ; $proof$ = 
事実1: もし仮に「「あるものは胸苦しいけど蓮池であるということはない」ということは事実だ」ということは事実と異なるとすれば税である

仮説: もしも「そのブルームは胸苦しい一方でそれは蓮池でない」ということは成り立たないとすれば「それは税である」ということは成り立つ