「「名高いということはないけど看過する」ということは成り立たないとすれば作画監督である」物はある
fact1: もし「何かはイギリス側であるということはないが益無し」ということは間違いだとすると特定場面である fact2: 仮に「この証拠評価は名高くないが看過する」ということは偽ならそれは作画監督である fact3: 「もし仮に名高くないけれど看過するとすると作画監督である」ものはある fact4: もしこの証拠評価が名高くないがそれが看過するとすると作画監督だ
fact2 -> hypothesis;
「仮に「「イギリス側でなくて益無し」ということは成り立つ」ということは成り立たないならば特定場面である」物はある
fact5 -> int1: 仮に「あの恋愛感情はイギリス側でないがしかしそれは益無し」ということは誤りだとしたらそれは特定場面である; int1 -> hypothesis;
$facts$ = fact1: もし「何かはイギリス側であるということはないが益無し」ということは間違いだとすると特定場面である fact2: 仮に「この証拠評価は名高くないが看過する」ということは偽ならそれは作画監督である fact3: 「もし仮に名高くないけれど看過するとすると作画監督である」ものはある fact4: もしこの証拠評価が名高くないがそれが看過するとすると作画監督だ ; $hypothesis$ = 「「名高いということはないけど看過する」ということは成り立たないとすれば作画監督である」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし「何かはイギリス側であるということはないが益無し」ということは間違いだとすると特定場面である
事実2: 仮に「この証拠評価は名高くないが看過する」ということは偽ならそれは作画監督である
事実3: 「もし仮に名高くないけれど看過するとすると作画監督である」ものはある
事実4: もしこの証拠評価が名高くないがそれが看過するとすると作画監督だ

仮説: 「「名高いということはないけど看過する」ということは成り立たないとすれば作画監督である」物はある
1. 事実2から、仮説が導かれる

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