「「あの情報番組は炒らなくて加えてイエでない」ということは成り立たないならばあの情報番組は焦がす」ということは成り立つということはない
fact1: 「何かは炒らないし更にイエでない」ということは成り立つということはないなら「焦がす」ということは確かだ
$facts$ = fact1: 「何かは炒らないし更にイエでない」ということは成り立つということはないなら「焦がす」ということは確かだ ; $hypothesis$ = 「「あの情報番組は炒らなくて加えてイエでない」ということは成り立たないならばあの情報番組は焦がす」ということは成り立つということはない ; $proof$ = 
事実1: 「何かは炒らないし更にイエでない」ということは成り立つということはないなら「焦がす」ということは確かだ

仮説: 「「あの情報番組は炒らなくて加えてイエでない」ということは成り立たないならばあの情報番組は焦がす」ということは成り立つということはない