「「このハロゲンは抽出出来るしかつデコレーションする」ということは成り立たない」ということは事実だ
fact1: 「あの船客はデコレーションする」ということは成り立つ fact2: 「このハロゲンはデコレーションする」ということは成り立つ fact3: このハロゲンは抽出出来る fact4: このフロントスポイラーは抽出出来る
$facts$ = fact1: 「あの船客はデコレーションする」ということは成り立つ fact2: 「このハロゲンはデコレーションする」ということは成り立つ fact3: このハロゲンは抽出出来る fact4: このフロントスポイラーは抽出出来る ; $hypothesis$ = 「「このハロゲンは抽出出来るしかつデコレーションする」ということは成り立たない」ということは事実だ ; $proof$ = 
事実1: 「あの船客はデコレーションする」ということは成り立つ
事実2: 「このハロゲンはデコレーションする」ということは成り立つ
事実3: このハロゲンは抽出出来る
事実4: このフロントスポイラーは抽出出来る

仮説: 「「このハロゲンは抽出出来るしかつデコレーションする」ということは成り立たない」ということは事実だ