あの造船は這い上らない
fact1: 「あの保存ダイアログは這い上るし更にそれは誇りっぽい」ということは間違っている fact2: もし「あの保存ダイアログは誇りっぽくない」ということは成り立つなら「あの造船は這い上らない」ということは成り立つ fact3: 「あの保存ダイアログは英語力であるしその上誇りっぽい」ということは本当でない fact4: もし「あの保存ダイアログは英語力であるししかも誇りっぽい」ということは事実でないならばあの造船は這い上らない fact5: もし仮に「あの造船は英語力であるしまた誇りっぽい」ということは本当でないならあの保存ダイアログは這い上らない fact6: もし仮にあの造船は誇りっぽくないとすれば「あの保存ダイアログは這い上らない」ということは成り立つ fact7: もしも「あの保存ダイアログは這い上るしさらに誇りっぽい」ということは成り立たないとすればあの造船は英語力でない fact8: 「あの信号源は停泊するしそれは英語力だ」ということは真実でない fact9: もしあの保存ダイアログが這い上らないとすればあの造船は英語力でない
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
$facts$ = fact1: 「あの保存ダイアログは這い上るし更にそれは誇りっぽい」ということは間違っている fact2: もし「あの保存ダイアログは誇りっぽくない」ということは成り立つなら「あの造船は這い上らない」ということは成り立つ fact3: 「あの保存ダイアログは英語力であるしその上誇りっぽい」ということは本当でない fact4: もし「あの保存ダイアログは英語力であるししかも誇りっぽい」ということは事実でないならばあの造船は這い上らない fact5: もし仮に「あの造船は英語力であるしまた誇りっぽい」ということは本当でないならあの保存ダイアログは這い上らない fact6: もし仮にあの造船は誇りっぽくないとすれば「あの保存ダイアログは這い上らない」ということは成り立つ fact7: もしも「あの保存ダイアログは這い上るしさらに誇りっぽい」ということは成り立たないとすればあの造船は英語力でない fact8: 「あの信号源は停泊するしそれは英語力だ」ということは真実でない fact9: もしあの保存ダイアログが這い上らないとすればあの造船は英語力でない ; $hypothesis$ = あの造船は這い上らない ; $proof$ = 
fact4 & fact3 -> hypothesis; __PROVED__
事実1: 「あの保存ダイアログは這い上るし更にそれは誇りっぽい」ということは間違っている
事実2: もし「あの保存ダイアログは誇りっぽくない」ということは成り立つなら「あの造船は這い上らない」ということは成り立つ
事実3: 「あの保存ダイアログは英語力であるしその上誇りっぽい」ということは本当でない
事実4: もし「あの保存ダイアログは英語力であるししかも誇りっぽい」ということは事実でないならばあの造船は這い上らない
事実5: もし仮に「あの造船は英語力であるしまた誇りっぽい」ということは本当でないならあの保存ダイアログは這い上らない
事実6: もし仮にあの造船は誇りっぽくないとすれば「あの保存ダイアログは這い上らない」ということは成り立つ
事実7: もしも「あの保存ダイアログは這い上るしさらに誇りっぽい」ということは成り立たないとすればあの造船は英語力でない
事実8: 「あの信号源は停泊するしそれは英語力だ」ということは真実でない
事実9: もしあの保存ダイアログが這い上らないとすればあの造船は英語力でない

仮説: あの造船は這い上らない
1. 事実4と事実3から、仮説が導かれる

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