そのライトバンは浮かべる
fact1: 「「フォーミュラで更に計算する」ということは成り立たない」ものはある fact2: もし「「フォーミュラで計算する」ということは成り立たない」ものはあるとしたら「そのライトバンは浮かべない」ということは確かだということはない
$facts$ = fact1: 「「フォーミュラで更に計算する」ということは成り立たない」ものはある fact2: もし「「フォーミュラで計算する」ということは成り立たない」ものはあるとしたら「そのライトバンは浮かべない」ということは確かだということはない ; $hypothesis$ = そのライトバンは浮かべる ; $proof$ = 
事実1: 「「フォーミュラで更に計算する」ということは成り立たない」ものはある
事実2: もし「「フォーミュラで計算する」ということは成り立たない」ものはあるとしたら「そのライトバンは浮かべない」ということは確かだということはない

仮説: そのライトバンは浮かべる