「「この右上葉は流れ易くないけど歓呼する」ということは成り立つということはない」ということは成り立つ
fact1: もしも何らかの物はそうこうしないとすれば「この右上葉は流れ易くないが歓呼する」ということは成り立たない fact2: 「「そうこうしない」ということは真実である」物はある
$facts$ = fact1: もしも何らかの物はそうこうしないとすれば「この右上葉は流れ易くないが歓呼する」ということは成り立たない fact2: 「「そうこうしない」ということは真実である」物はある ; $hypothesis$ = 「「この右上葉は流れ易くないけど歓呼する」ということは成り立つということはない」ということは成り立つ ; $proof$ = 
事実1: もしも何らかの物はそうこうしないとすれば「この右上葉は流れ易くないが歓呼する」ということは成り立たない
事実2: 「「そうこうしない」ということは真実である」物はある

仮説: 「「この右上葉は流れ易くないけど歓呼する」ということは成り立つということはない」ということは成り立つ