「「希望しない」ということは真実である」ものはある
fact1: 「「弄り始めない」ということは成り立つ」ものはある fact2: 「このラジカル重合は外国子会社である一方で希望しない」ということは誤りである fact3: 何らかのものは希望する fact4: 「御値打ちでない」ものはある fact5: 「このラジカル重合は御値打ちであるがしかし希望しない」ということは本当でない fact6: 「仮にこの第三部以降が外国子会社でないならこのラジカル重合は希望しない」ということは真実である fact7: このラジカル重合は御値打ちでない fact8: 「「この第三部以降は外国子会社だけれどそれは御値打ちでない」ということは成り立つということはない」ということは正しい fact9: この高等学校段階は御値打ちでない fact10: 「この第三部以降は外国子会社だ一方で御値打ちでない」ということは嘘だとするとこのラジカル重合は希望しない fact11: 「このラジカル重合は外国子会社でない」ということは事実である
fact10 & fact8 -> int1: 「このラジカル重合は希望しない」ということは本当だ; int1 -> hypothesis;
$facts$ = fact1: 「「弄り始めない」ということは成り立つ」ものはある fact2: 「このラジカル重合は外国子会社である一方で希望しない」ということは誤りである fact3: 何らかのものは希望する fact4: 「御値打ちでない」ものはある fact5: 「このラジカル重合は御値打ちであるがしかし希望しない」ということは本当でない fact6: 「仮にこの第三部以降が外国子会社でないならこのラジカル重合は希望しない」ということは真実である fact7: このラジカル重合は御値打ちでない fact8: 「「この第三部以降は外国子会社だけれどそれは御値打ちでない」ということは成り立つということはない」ということは正しい fact9: この高等学校段階は御値打ちでない fact10: 「この第三部以降は外国子会社だ一方で御値打ちでない」ということは嘘だとするとこのラジカル重合は希望しない fact11: 「このラジカル重合は外国子会社でない」ということは事実である ; $hypothesis$ = 「「希望しない」ということは真実である」ものはある ; $proof$ = 
fact10 & fact8 -> int1: 「このラジカル重合は希望しない」ということは本当だ; int1 -> hypothesis; __PROVED__
事実1: 「「弄り始めない」ということは成り立つ」ものはある
事実2: 「このラジカル重合は外国子会社である一方で希望しない」ということは誤りである
事実3: 何らかのものは希望する
事実4: 「御値打ちでない」ものはある
事実5: 「このラジカル重合は御値打ちであるがしかし希望しない」ということは本当でない
事実6: 「仮にこの第三部以降が外国子会社でないならこのラジカル重合は希望しない」ということは真実である
事実7: このラジカル重合は御値打ちでない
事実8: 「「この第三部以降は外国子会社だけれどそれは御値打ちでない」ということは成り立つということはない」ということは正しい
事実9: この高等学校段階は御値打ちでない
事実10: 「この第三部以降は外国子会社だ一方で御値打ちでない」ということは嘘だとするとこのラジカル重合は希望しない
事実11: 「このラジカル重合は外国子会社でない」ということは事実である

仮説: 「「希望しない」ということは真実である」ものはある
1. 事実10と事実8から、推論1: "「このラジカル重合は希望しない」ということは本当だ"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。