「もしも立ちしないとすれば「茶色っぽいということはないけれど痛飲する」ということは成り立たない」物はある
fact1: 「もし仮にこの増上は立ちしないならば「「この増上は茶色っぽくないけど痛飲する」ということは確かである」ということは本当でない」ということは確かだ
$facts$ = fact1: 「もし仮にこの増上は立ちしないならば「「この増上は茶色っぽくないけど痛飲する」ということは確かである」ということは本当でない」ということは確かだ ; $hypothesis$ = 「もしも立ちしないとすれば「茶色っぽいということはないけれど痛飲する」ということは成り立たない」物はある ; $proof$ = 
事実1: 「もし仮にこの増上は立ちしないならば「「この増上は茶色っぽくないけど痛飲する」ということは確かである」ということは本当でない」ということは確かだ

仮説: 「もしも立ちしないとすれば「茶色っぽいということはないけれど痛飲する」ということは成り立たない」物はある