この一毫は直管型である
fact1: もしもとあるものは直管型でないとしたら「見飽きるしまたそれは参考資料だ」ということは間違いである fact2: 「「父親らしいし青白い」ということは成り立たない」物はある fact3: もし仮にそのヘッジ行動はアメリカっぽくないなら「この一毫は直管型でない」ということは成り立つ fact4: もしも「「「父親らしいし青白い」ということは本当だ」ということは誤りな」物があるとしたらこの一毫は直管型だ
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
「「見飽きるしさらに参考資料だ」ということは成り立たない」物はある
fact5 -> int1: もしもこの一毫は直管型でないとすると「見飽きるしさらに参考資料だ」ということは偽だ;
$facts$ = fact1: もしもとあるものは直管型でないとしたら「見飽きるしまたそれは参考資料だ」ということは間違いである fact2: 「「父親らしいし青白い」ということは成り立たない」物はある fact3: もし仮にそのヘッジ行動はアメリカっぽくないなら「この一毫は直管型でない」ということは成り立つ fact4: もしも「「「父親らしいし青白い」ということは本当だ」ということは誤りな」物があるとしたらこの一毫は直管型だ ; $hypothesis$ = この一毫は直管型である ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: もしもとあるものは直管型でないとしたら「見飽きるしまたそれは参考資料だ」ということは間違いである
事実2: 「「父親らしいし青白い」ということは成り立たない」物はある
事実3: もし仮にそのヘッジ行動はアメリカっぽくないなら「この一毫は直管型でない」ということは成り立つ
事実4: もしも「「「父親らしいし青白い」ということは本当だ」ということは誤りな」物があるとしたらこの一毫は直管型だ

仮説: この一毫は直管型である
1. 事実2と事実4から、仮説が導かれる

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