「「この大雀蜂は千万で使用・消費する」ということは成り立たない」ということは確かだ
fact1: なにがしかのものはオーバーフローする fact2: 「オーバーフローする」物があるとすればこの大雀蜂は千万であるし加えてそれは使用・消費する
$facts$ = fact1: なにがしかのものはオーバーフローする fact2: 「オーバーフローする」物があるとすればこの大雀蜂は千万であるし加えてそれは使用・消費する ; $hypothesis$ = 「「この大雀蜂は千万で使用・消費する」ということは成り立たない」ということは確かだ ; $proof$ = 
事実1: なにがしかのものはオーバーフローする
事実2: 「オーバーフローする」物があるとすればこの大雀蜂は千万であるし加えてそれは使用・消費する

仮説: 「「この大雀蜂は千万で使用・消費する」ということは成り立たない」ということは確かだ