「「あの小テストは御聞き為さるけれど得易くない」ということは誤っている」ということは成り立つ
fact1: 仮にあの小テストは丸いということはないとすれば「この日記帳は丸いけれど御聞き為さらない」ということは間違っている fact2: あの小テストは丸い fact3: 「あの小テストが御聞き為さるしその上得易い」ということは間違っている fact4: この日記帳は御聞き為さるとすると「丸い」ということは真実である fact5: もし仮にこの日記帳は得易くないなら「あの小テストは得易いが御聞き為さらない」ということは成り立たない fact6: 仮にこの日記帳は御聞き為さらないとすると「あの小テストは御聞き為さるけど得易くない」ということは間違っている fact7: 「手配出来る」ものがあるとしたらこの日記帳は丸いということはない fact8: 「手配出来なくておまけに毎晩でない」物はある fact9: もしこの日記帳は御聞き為さるということはないならば「あの小テストは御聞き為さるし得易い」ということは偽である fact10: もしも御存じ無い物はインＳでないならばそれは脱ぎ為さらない fact11: 「この日記帳は御存じ無い一方でそれはインＳでない」ということは成り立つ fact12: 「「「手配出来るということはないがしかし毎晩である」ということは偽な」物はある」ということは成り立つ fact13: 仮に「「手配出来るということはなくておまけに毎晩でない」ということは事実でない」物があるならこの日記帳は丸くない fact14: もし仮にとあるものは脱ぎ為さらないとすると「毎晩であるししかも手配出来ない」ということは誤っている fact15: 「「手配出来ないしまた毎晩でない」ということは本当でない」ものはある fact16: 「「手配出来るし毎晩でない」ということは成り立たない」ものはある
void -> assump1: 以下のように仮定する。この日記帳は御聞き為さる; fact4 & assump1 -> int1: この日記帳は丸い; fact15 & fact13 -> int2: この日記帳は丸くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この日記帳は御聞き為さらない; int4 & fact6 -> hypothesis;
あの小テストは御聞き為さるけど得易くない
fact18 -> int5: もし仮にこの日記帳は脱ぎ為さらないとしたら「それは毎晩であるしそれは手配出来ない」ということは嘘である; fact17 -> int6: もし仮にこの日記帳は御存じ無いがインＳでないとするとそれは脱ぎ為さらない; int6 & fact19 -> int7: この日記帳は脱ぎ為さるということはない; int5 & int7 -> int8: 「この日記帳は毎晩だが手配出来ない」ということは誤りだ; int8 -> int9: 「「毎晩であるしまた手配出来ない」ということは嘘な」物はある;
$facts$ = fact1: 仮にあの小テストは丸いということはないとすれば「この日記帳は丸いけれど御聞き為さらない」ということは間違っている fact2: あの小テストは丸い fact3: 「あの小テストが御聞き為さるしその上得易い」ということは間違っている fact4: この日記帳は御聞き為さるとすると「丸い」ということは真実である fact5: もし仮にこの日記帳は得易くないなら「あの小テストは得易いが御聞き為さらない」ということは成り立たない fact6: 仮にこの日記帳は御聞き為さらないとすると「あの小テストは御聞き為さるけど得易くない」ということは間違っている fact7: 「手配出来る」ものがあるとしたらこの日記帳は丸いということはない fact8: 「手配出来なくておまけに毎晩でない」物はある fact9: もしこの日記帳は御聞き為さるということはないならば「あの小テストは御聞き為さるし得易い」ということは偽である fact10: もしも御存じ無い物はインＳでないならばそれは脱ぎ為さらない fact11: 「この日記帳は御存じ無い一方でそれはインＳでない」ということは成り立つ fact12: 「「「手配出来るということはないがしかし毎晩である」ということは偽な」物はある」ということは成り立つ fact13: 仮に「「手配出来るということはなくておまけに毎晩でない」ということは事実でない」物があるならこの日記帳は丸くない fact14: もし仮にとあるものは脱ぎ為さらないとすると「毎晩であるししかも手配出来ない」ということは誤っている fact15: 「「手配出来ないしまた毎晩でない」ということは本当でない」ものはある fact16: 「「手配出来るし毎晩でない」ということは成り立たない」ものはある ; $hypothesis$ = 「「あの小テストは御聞き為さるけれど得易くない」ということは誤っている」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。この日記帳は御聞き為さる; fact4 & assump1 -> int1: この日記帳は丸い; fact15 & fact13 -> int2: この日記帳は丸くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この日記帳は御聞き為さらない; int4 & fact6 -> hypothesis; __PROVED__
事実1: 仮にあの小テストは丸いということはないとすれば「この日記帳は丸いけれど御聞き為さらない」ということは間違っている
事実2: あの小テストは丸い
事実3: 「あの小テストが御聞き為さるしその上得易い」ということは間違っている
事実4: この日記帳は御聞き為さるとすると「丸い」ということは真実である
事実5: もし仮にこの日記帳は得易くないなら「あの小テストは得易いが御聞き為さらない」ということは成り立たない
事実6: 仮にこの日記帳は御聞き為さらないとすると「あの小テストは御聞き為さるけど得易くない」ということは間違っている
事実7: 「手配出来る」ものがあるとしたらこの日記帳は丸いということはない
事実8: 「手配出来なくておまけに毎晩でない」物はある
事実9: もしこの日記帳は御聞き為さるということはないならば「あの小テストは御聞き為さるし得易い」ということは偽である
事実10: もしも御存じ無い物はインＳでないならばそれは脱ぎ為さらない
事実11: 「この日記帳は御存じ無い一方でそれはインＳでない」ということは成り立つ
事実12: 「「「手配出来るということはないがしかし毎晩である」ということは偽な」物はある」ということは成り立つ
事実13: 仮に「「手配出来るということはなくておまけに毎晩でない」ということは事実でない」物があるならこの日記帳は丸くない
事実14: もし仮にとあるものは脱ぎ為さらないとすると「毎晩であるししかも手配出来ない」ということは誤っている
事実15: 「「手配出来ないしまた毎晩でない」ということは本当でない」ものはある
事実16: 「「手配出来るし毎晩でない」ということは成り立たない」ものはある

仮説: 「「あの小テストは御聞き為さるけれど得易くない」ということは誤っている」ということは成り立つ
1. 仮定1: 以下のように仮定する。この日記帳は御聞き為さる
2. 事実4と仮定1から、推論1: "この日記帳は丸い"が導かれる
3. 事実15と事実13から、推論2: "この日記帳は丸くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この日記帳は御聞き為さらない"が導かれる
6. 推論4と事実6から、仮説が導かれる

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