その御まきは観察し易くてまた蹴り付ける
fact1: 「あの側頭葉は掛くらないしその上承諾しない」ということは成り立たない fact2: もし仮にある物が劣等生であるということはないならば中退するしおまけにそれは蹴り付けるということはない fact3: もし「その御まきは劣等生でなくてそれは承諾しない」ということは嘘ならその公方様は承諾しない fact4: もしもとあるものが住み難いならば観察し易い fact5: 「掛くし更に観察し易い」物はある fact6: もしその御まきが承諾しないとすればそれは蹴り付けるしさらに傷付け易い fact7: とある物は掛く fact8: その公方様は劣等生である fact9: その公方様は中退する fact10: 「あの側頭葉は傷付け易いけれど住み難くない」ということは偽だ fact11: 「あの側頭葉は掛くらなくてまたそれは承諾しない」ということは成り立たないとしたらその御まきは承諾するということはない fact12: その四色は中退する fact13: もし仮にある物が中退するし更に劣等生であるならその御まきは住み難い
fact9 & fact8 -> int1: その公方様は中退するし劣等生である; int1 -> int2: 何かは中退するし加えて劣等生である; int2 & fact13 -> int3: その御まきは住み難い; fact4 -> int4: もしその御まきが住み難いとすると観察し易い; int3 & int4 -> int5: 「その御まきは観察し易い」ということは確かである; fact11 & fact1 -> int6: その御まきは承諾しない; fact6 & int6 -> int7: その御まきは蹴り付けるしまた傷付け易い; int7 -> int8: その御まきは蹴り付ける; int5 & int8 -> hypothesis;
「その御まきは観察し易くてさらにそれは蹴り付ける」ということは誤りである
fact14 -> int9: 仮にその公方様は劣等生でないなら中退するけど蹴り付けない; fact15 -> int10: 「「傷付け易いしその上住み難くない」ということは誤りである」ものはある;
$facts$ = fact1: 「あの側頭葉は掛くらないしその上承諾しない」ということは成り立たない fact2: もし仮にある物が劣等生であるということはないならば中退するしおまけにそれは蹴り付けるということはない fact3: もし「その御まきは劣等生でなくてそれは承諾しない」ということは嘘ならその公方様は承諾しない fact4: もしもとあるものが住み難いならば観察し易い fact5: 「掛くし更に観察し易い」物はある fact6: もしその御まきが承諾しないとすればそれは蹴り付けるしさらに傷付け易い fact7: とある物は掛く fact8: その公方様は劣等生である fact9: その公方様は中退する fact10: 「あの側頭葉は傷付け易いけれど住み難くない」ということは偽だ fact11: 「あの側頭葉は掛くらなくてまたそれは承諾しない」ということは成り立たないとしたらその御まきは承諾するということはない fact12: その四色は中退する fact13: もし仮にある物が中退するし更に劣等生であるならその御まきは住み難い ; $hypothesis$ = その御まきは観察し易くてまた蹴り付ける ; $proof$ = 
fact9 & fact8 -> int1: その公方様は中退するし劣等生である; int1 -> int2: 何かは中退するし加えて劣等生である; int2 & fact13 -> int3: その御まきは住み難い; fact4 -> int4: もしその御まきが住み難いとすると観察し易い; int3 & int4 -> int5: 「その御まきは観察し易い」ということは確かである; fact11 & fact1 -> int6: その御まきは承諾しない; fact6 & int6 -> int7: その御まきは蹴り付けるしまた傷付け易い; int7 -> int8: その御まきは蹴り付ける; int5 & int8 -> hypothesis; __PROVED__
事実1: 「あの側頭葉は掛くらないしその上承諾しない」ということは成り立たない
事実2: もし仮にある物が劣等生であるということはないならば中退するしおまけにそれは蹴り付けるということはない
事実3: もし「その御まきは劣等生でなくてそれは承諾しない」ということは嘘ならその公方様は承諾しない
事実4: もしもとあるものが住み難いならば観察し易い
事実5: 「掛くし更に観察し易い」物はある
事実6: もしその御まきが承諾しないとすればそれは蹴り付けるしさらに傷付け易い
事実7: とある物は掛く
事実8: その公方様は劣等生である
事実9: その公方様は中退する
事実10: 「あの側頭葉は傷付け易いけれど住み難くない」ということは偽だ
事実11: 「あの側頭葉は掛くらなくてまたそれは承諾しない」ということは成り立たないとしたらその御まきは承諾するということはない
事実12: その四色は中退する
事実13: もし仮にある物が中退するし更に劣等生であるならその御まきは住み難い

仮説: その御まきは観察し易くてまた蹴り付ける
1. 事実9と事実8から、推論1: "その公方様は中退するし劣等生である"が導かれる
2. 推論1から、推論2: "何かは中退するし加えて劣等生である"が導かれる
3. 推論2と事実13から、推論3: "その御まきは住み難い"が導かれる
4. 事実4から、推論4: "もしその御まきが住み難いとすると観察し易い"が導かれる
5. 推論3と推論4から、推論5: "「その御まきは観察し易い」ということは確かである"が導かれる
6. 事実11と事実1から、推論6: "その御まきは承諾しない"が導かれる
7. 事実6と推論6から、推論7: "その御まきは蹴り付けるしまた傷付け易い"が導かれる
8. 推論7から、推論8: "その御まきは蹴り付ける"が導かれる
9. 推論5と推論8から、仮説が導かれる

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