あの毎週日曜日は禿げる
fact1: もしもあの毎週日曜日は探し易くないなら「禿げる」ということは成り立つ fact2: もし仮にこの一等陸士がもてるしまたラウンドするとするとあの毎週日曜日は禿げない fact3: 仮にあの毎週日曜日はラウンドしないとしたら「そのスクリーンフォントは忘れ易くないがしかし条件付き収束である」ということは嘘である fact4: 「あの毎週日曜日は条件付き収束であるということはないがしかし探し易い」ということは間違いである fact5: もし「あの毎週日曜日は条件付き収束でないが探し易い」ということは間違いだとしたら禿げる
fact5 & fact4 -> hypothesis;
fact5 & fact4 -> hypothesis;
「そのスクリーンフォントは忘れ易くないけどそれは条件付き収束だ」ということは成り立たない
$facts$ = fact1: もしもあの毎週日曜日は探し易くないなら「禿げる」ということは成り立つ fact2: もし仮にこの一等陸士がもてるしまたラウンドするとするとあの毎週日曜日は禿げない fact3: 仮にあの毎週日曜日はラウンドしないとしたら「そのスクリーンフォントは忘れ易くないがしかし条件付き収束である」ということは嘘である fact4: 「あの毎週日曜日は条件付き収束であるということはないがしかし探し易い」ということは間違いである fact5: もし「あの毎週日曜日は条件付き収束でないが探し易い」ということは間違いだとしたら禿げる ; $hypothesis$ = あの毎週日曜日は禿げる ; $proof$ = 
fact5 & fact4 -> hypothesis; __PROVED__
事実1: もしもあの毎週日曜日は探し易くないなら「禿げる」ということは成り立つ
事実2: もし仮にこの一等陸士がもてるしまたラウンドするとするとあの毎週日曜日は禿げない
事実3: 仮にあの毎週日曜日はラウンドしないとしたら「そのスクリーンフォントは忘れ易くないがしかし条件付き収束である」ということは嘘である
事実4: 「あの毎週日曜日は条件付き収束であるということはないがしかし探し易い」ということは間違いである
事実5: もし「あの毎週日曜日は条件付き収束でないが探し易い」ということは間違いだとしたら禿げる

仮説: あの毎週日曜日は禿げる
1. 事実5と事実4から、仮説が導かれる

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