この御父兄はピラフだ
fact1: 「もし仮にこの御父兄がアドバイスしないとしたらこの御父兄はピラフである」ということは間違っていない fact2: 仮になんらかのものは一致さないとすると「それは協調し合うし加えて日支でない」ということは嘘である fact3: 仮になんらかの物が剥離し難いということはないとしたらそれはピラフだ fact4: もしあの道人が日支でないとすればあの御父兄はピラフでなくてそれはアドバイスしない fact5: 「この御父兄は記録材だということはないとすれば「この御父兄は注意深い」ということは誤りでない」ということは成り立つ fact6: 「この御父兄はアドバイスしない」ということは真実である fact7: この御父兄は混色する fact8: あの九月末現在はアドバイスしない fact9: 「あの自治体病院は協調し合うけれど日支でない」ということは間違いであるならばあの道人は日支でない
fact1 & fact6 -> hypothesis;
fact1 & fact6 -> hypothesis;
この御父兄はピラフでない
fact11 -> int1: あの自治体病院は一致さないならば「協調し合うし更に日支でない」ということは成り立たない;
$facts$ = fact1: 「もし仮にこの御父兄がアドバイスしないとしたらこの御父兄はピラフである」ということは間違っていない fact2: 仮になんらかのものは一致さないとすると「それは協調し合うし加えて日支でない」ということは嘘である fact3: 仮になんらかの物が剥離し難いということはないとしたらそれはピラフだ fact4: もしあの道人が日支でないとすればあの御父兄はピラフでなくてそれはアドバイスしない fact5: 「この御父兄は記録材だということはないとすれば「この御父兄は注意深い」ということは誤りでない」ということは成り立つ fact6: 「この御父兄はアドバイスしない」ということは真実である fact7: この御父兄は混色する fact8: あの九月末現在はアドバイスしない fact9: 「あの自治体病院は協調し合うけれど日支でない」ということは間違いであるならばあの道人は日支でない ; $hypothesis$ = この御父兄はピラフだ ; $proof$ = 
fact1 & fact6 -> hypothesis; __PROVED__
事実1: 「もし仮にこの御父兄がアドバイスしないとしたらこの御父兄はピラフである」ということは間違っていない
事実2: 仮になんらかのものは一致さないとすると「それは協調し合うし加えて日支でない」ということは嘘である
事実3: 仮になんらかの物が剥離し難いということはないとしたらそれはピラフだ
事実4: もしあの道人が日支でないとすればあの御父兄はピラフでなくてそれはアドバイスしない
事実5: 「この御父兄は記録材だということはないとすれば「この御父兄は注意深い」ということは誤りでない」ということは成り立つ
事実6: 「この御父兄はアドバイスしない」ということは真実である
事実7: この御父兄は混色する
事実8: あの九月末現在はアドバイスしない
事実9: 「あの自治体病院は協調し合うけれど日支でない」ということは間違いであるならばあの道人は日支でない

仮説: この御父兄はピラフだ
1. 事実1と事実6から、仮説が導かれる

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