「もし仮に「御勉強しなくて放棄しない」ということは成り立たないならば狭い」ものはある
fact1: 「放棄するとすれば狭い」ものはある fact2: もし「この不正乗車は話し辛くないしママちゃりでない」ということは間違っているならきちっとする fact3: 「もし御勉強しないし放棄するということはないとしたら「狭い」ということは成り立つ」物はある fact4: もし仮に「何らかの物は浅しということはないし結び付き難くない」ということは間違いならば放棄する fact5: 仮に「そのワッペン闘争は御勉強しなくて放棄しない」ということは偽ならばそれは狭い fact6: 仮にそのワッペン闘争が御勉強しないしさらに放棄するということはないなら狭い fact7: 「仮に「御勉強するけれど放棄しない」ということは誤っているとしたら狭い」物はある fact8: もし仮にそのワッペン闘争が御勉強するとすると狭い
fact5 -> hypothesis;
fact5 -> hypothesis;
もしも「そのワッペン闘争は浅しないししかもそれは結び付き難くない」ということは誤りだとするとそれは放棄する
fact9 -> hypothesis;
$facts$ = fact1: 「放棄するとすれば狭い」ものはある fact2: もし「この不正乗車は話し辛くないしママちゃりでない」ということは間違っているならきちっとする fact3: 「もし御勉強しないし放棄するということはないとしたら「狭い」ということは成り立つ」物はある fact4: もし仮に「何らかの物は浅しということはないし結び付き難くない」ということは間違いならば放棄する fact5: 仮に「そのワッペン闘争は御勉強しなくて放棄しない」ということは偽ならばそれは狭い fact6: 仮にそのワッペン闘争が御勉強しないしさらに放棄するということはないなら狭い fact7: 「仮に「御勉強するけれど放棄しない」ということは誤っているとしたら狭い」物はある fact8: もし仮にそのワッペン闘争が御勉強するとすると狭い ; $hypothesis$ = 「もし仮に「御勉強しなくて放棄しない」ということは成り立たないならば狭い」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「放棄するとすれば狭い」ものはある
事実2: もし「この不正乗車は話し辛くないしママちゃりでない」ということは間違っているならきちっとする
事実3: 「もし御勉強しないし放棄するということはないとしたら「狭い」ということは成り立つ」物はある
事実4: もし仮に「何らかの物は浅しということはないし結び付き難くない」ということは間違いならば放棄する
事実5: 仮に「そのワッペン闘争は御勉強しなくて放棄しない」ということは偽ならばそれは狭い
事実6: 仮にそのワッペン闘争が御勉強しないしさらに放棄するということはないなら狭い
事実7: 「仮に「御勉強するけれど放棄しない」ということは誤っているとしたら狭い」物はある
事実8: もし仮にそのワッペン闘争が御勉強するとすると狭い

仮説: 「もし仮に「御勉強しなくて放棄しない」ということは成り立たないならば狭い」ものはある
1. 事実5から、仮説が導かれる

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