あのビデオトラックはかったるい
fact1: あのビデオトラックは浄御原令である fact2: 仮になんらかの物は浄御原令でないとしたら「成し難くないがかったるい」ということは成り立つということはない fact3: 仮にあのビデオトラックは浄御原令だとすれば「あの合成法はかったるい」ということは確かだ fact4: 成し難くない物は浄御原令だしまたかったるい fact5: あの合成法は浄御原令である fact6: もしその政治的景気循環が中学校でないとしたらそれは沸騰するか細胞周期であるかまたは両方だ fact7: 仮に「あの合成法はかったるい」ということは事実だとすればあのビデオトラックは浄御原令だ fact8: もしあの合成法が浄御原令ならあのビデオトラックはかったるい
fact8 & fact5 -> hypothesis;
fact8 & fact5 -> hypothesis;
あのビデオトラックはかったるくない
fact9 -> int1: 「あの合成法は浄御原令だということはない」ということは本当であるなら「それは成し難くないしそれはかったるい」ということは誤っている;
$facts$ = fact1: あのビデオトラックは浄御原令である fact2: 仮になんらかの物は浄御原令でないとしたら「成し難くないがかったるい」ということは成り立つということはない fact3: 仮にあのビデオトラックは浄御原令だとすれば「あの合成法はかったるい」ということは確かだ fact4: 成し難くない物は浄御原令だしまたかったるい fact5: あの合成法は浄御原令である fact6: もしその政治的景気循環が中学校でないとしたらそれは沸騰するか細胞周期であるかまたは両方だ fact7: 仮に「あの合成法はかったるい」ということは事実だとすればあのビデオトラックは浄御原令だ fact8: もしあの合成法が浄御原令ならあのビデオトラックはかったるい ; $hypothesis$ = あのビデオトラックはかったるい ; $proof$ = 
fact8 & fact5 -> hypothesis; __PROVED__
事実1: あのビデオトラックは浄御原令である
事実2: 仮になんらかの物は浄御原令でないとしたら「成し難くないがかったるい」ということは成り立つということはない
事実3: 仮にあのビデオトラックは浄御原令だとすれば「あの合成法はかったるい」ということは確かだ
事実4: 成し難くない物は浄御原令だしまたかったるい
事実5: あの合成法は浄御原令である
事実6: もしその政治的景気循環が中学校でないとしたらそれは沸騰するか細胞周期であるかまたは両方だ
事実7: 仮に「あの合成法はかったるい」ということは事実だとすればあのビデオトラックは浄御原令だ
事実8: もしあの合成法が浄御原令ならあのビデオトラックはかったるい

仮説: あのビデオトラックはかったるい
1. 事実8と事実5から、仮説が導かれる

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