その御厚意は休まらない
fact1: 「何らかの物は納得しない」ということは真実であるとすればそれは独任制であるしおまけに休まる fact2: 仮に何かは調べ上げないとしたらそれは独任制でかつ納得する fact3: 「その御厚意は布告するし更に御使いに成る」ということは間違いだ fact4: 「その御厚意は布告しない一方で御使いに成る」ということは偽だ fact5: 仮に「その御厚意は放出するということはない一方で把捉する」ということは成り立たないとしたら布告しない fact6: もしも何らかのものが三相変圧器であるならばそれは高架線でなくてそれは調べ上げない fact7: 仮になんらかの物は独任制であるとすると「斜め下であるということはないし更にそれは休まる」ということは誤っている fact8: もし仮に「その御厚意は布告しないがしかし御使いに成る」ということは成り立たないとすると休まらない fact9: このエリート養成学校が休まるならそれは超整理法でない
fact8 & fact4 -> hypothesis;
fact8 & fact4 -> hypothesis;
その御厚意は休まる
fact10 -> int1: もしその御厚意が納得するということはないならばそれは独任制だしまた休まる;
$facts$ = fact1: 「何らかの物は納得しない」ということは真実であるとすればそれは独任制であるしおまけに休まる fact2: 仮に何かは調べ上げないとしたらそれは独任制でかつ納得する fact3: 「その御厚意は布告するし更に御使いに成る」ということは間違いだ fact4: 「その御厚意は布告しない一方で御使いに成る」ということは偽だ fact5: 仮に「その御厚意は放出するということはない一方で把捉する」ということは成り立たないとしたら布告しない fact6: もしも何らかのものが三相変圧器であるならばそれは高架線でなくてそれは調べ上げない fact7: 仮になんらかの物は独任制であるとすると「斜め下であるということはないし更にそれは休まる」ということは誤っている fact8: もし仮に「その御厚意は布告しないがしかし御使いに成る」ということは成り立たないとすると休まらない fact9: このエリート養成学校が休まるならそれは超整理法でない ; $hypothesis$ = その御厚意は休まらない ; $proof$ = 
fact8 & fact4 -> hypothesis; __PROVED__
事実1: 「何らかの物は納得しない」ということは真実であるとすればそれは独任制であるしおまけに休まる
事実2: 仮に何かは調べ上げないとしたらそれは独任制でかつ納得する
事実3: 「その御厚意は布告するし更に御使いに成る」ということは間違いだ
事実4: 「その御厚意は布告しない一方で御使いに成る」ということは偽だ
事実5: 仮に「その御厚意は放出するということはない一方で把捉する」ということは成り立たないとしたら布告しない
事実6: もしも何らかのものが三相変圧器であるならばそれは高架線でなくてそれは調べ上げない
事実7: 仮になんらかの物は独任制であるとすると「斜め下であるということはないし更にそれは休まる」ということは誤っている
事実8: もし仮に「その御厚意は布告しないがしかし御使いに成る」ということは成り立たないとすると休まらない
事実9: このエリート養成学校が休まるならそれは超整理法でない

仮説: その御厚意は休まらない
1. 事実8と事実4から、仮説が導かれる

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