そのプリントラインは有である
fact1: あの文系コースは食べ続けるし加えて御取る fact2: もしもあの文系コースが使い難いとすると御取る fact3: あの文系コースは御取る fact4: もしもあの文系コースが食べ続けるとすればそのプリントラインは有だ fact5: 仮にそのプリントラインが御取るならあの文系コースは有だ fact6: そのプリントラインは御取る fact7: もし仮に何かは食べ続けないとしたらそれは有だ fact8: もしもあのブラジル人は使い難いとすれば「あの文系コースは御取らないけど食べ続ける」ということは成り立つ fact9: あの文系コースが御取らないけれどそれが食べ続けるとすればそのプリントラインは有でない
fact1 -> int1: あの文系コースは食べ続ける; int1 & fact4 -> hypothesis;
あの文系コースは有だ
fact11 -> int2: もしも「あの文系コースは食べ続けるということはない」ということは正しいとするとそれは有だ;
$facts$ = fact1: あの文系コースは食べ続けるし加えて御取る fact2: もしもあの文系コースが使い難いとすると御取る fact3: あの文系コースは御取る fact4: もしもあの文系コースが食べ続けるとすればそのプリントラインは有だ fact5: 仮にそのプリントラインが御取るならあの文系コースは有だ fact6: そのプリントラインは御取る fact7: もし仮に何かは食べ続けないとしたらそれは有だ fact8: もしもあのブラジル人は使い難いとすれば「あの文系コースは御取らないけど食べ続ける」ということは成り立つ fact9: あの文系コースが御取らないけれどそれが食べ続けるとすればそのプリントラインは有でない ; $hypothesis$ = そのプリントラインは有である ; $proof$ = 
fact1 -> int1: あの文系コースは食べ続ける; int1 & fact4 -> hypothesis; __PROVED__
事実1: あの文系コースは食べ続けるし加えて御取る
事実2: もしもあの文系コースが使い難いとすると御取る
事実3: あの文系コースは御取る
事実4: もしもあの文系コースが食べ続けるとすればそのプリントラインは有だ
事実5: 仮にそのプリントラインが御取るならあの文系コースは有だ
事実6: そのプリントラインは御取る
事実7: もし仮に何かは食べ続けないとしたらそれは有だ
事実8: もしもあのブラジル人は使い難いとすれば「あの文系コースは御取らないけど食べ続ける」ということは成り立つ
事実9: あの文系コースが御取らないけれどそれが食べ続けるとすればそのプリントラインは有でない

仮説: そのプリントラインは有である
1. 事実1から、推論1: "あの文系コースは食べ続ける"が導かれる
2. 推論1と事実4から、仮説が導かれる

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