この蓋は奇形でない
fact1: 「あのベルビューは第五話で忘れ易い」ということは成り立たない fact2: シュリは不足し易くないけれど奇形である fact3: 「「第五話であるし忘れ易い」ということは誤っている」物はある fact4: 仮に「「第五話だけれど忘れ易くない」ということは偽である」物があるとすればこの蓋は奇形でない fact5: 「あのベルビューは第五話だがしかし忘れ易くない」ということは誤っている fact6: 「あのベルビューは第五話である一方で奇形でない」ということは誤りだ fact7: 「とあるものは第五話だけれど忘れ易くない」ということは偽だということはない fact8: 「「第五話だがしかし忘れ易いということはない」ということは成り立つということはない」物があるとするとあのベルビューは奇形でない fact9: もし忘れ易い物があるとしたらこの蓋は奇形でない
fact5 -> int1: 「「第五話であるし更に忘れ易くない」ということは成り立たない」ものはある; int1 & fact4 -> hypothesis;
fact5 -> int1: (Ex): ¬({AA}x & ¬{AB}x); int1 & fact4 -> hypothesis;
その手っ取り額は不足し易くない
fact10 -> int2: もしその手っ取り額はシュリであるとしたらそれは不足し易くないけれど奇形だ;
$facts$ = fact1: 「あのベルビューは第五話で忘れ易い」ということは成り立たない fact2: シュリは不足し易くないけれど奇形である fact3: 「「第五話であるし忘れ易い」ということは誤っている」物はある fact4: 仮に「「第五話だけれど忘れ易くない」ということは偽である」物があるとすればこの蓋は奇形でない fact5: 「あのベルビューは第五話だがしかし忘れ易くない」ということは誤っている fact6: 「あのベルビューは第五話である一方で奇形でない」ということは誤りだ fact7: 「とあるものは第五話だけれど忘れ易くない」ということは偽だということはない fact8: 「「第五話だがしかし忘れ易いということはない」ということは成り立つということはない」物があるとするとあのベルビューは奇形でない fact9: もし忘れ易い物があるとしたらこの蓋は奇形でない ; $hypothesis$ = この蓋は奇形でない ; $proof$ = 
fact5 -> int1: 「「第五話であるし更に忘れ易くない」ということは成り立たない」ものはある; int1 & fact4 -> hypothesis; __PROVED__
事実1: 「あのベルビューは第五話で忘れ易い」ということは成り立たない
事実2: シュリは不足し易くないけれど奇形である
事実3: 「「第五話であるし忘れ易い」ということは誤っている」物はある
事実4: 仮に「「第五話だけれど忘れ易くない」ということは偽である」物があるとすればこの蓋は奇形でない
事実5: 「あのベルビューは第五話だがしかし忘れ易くない」ということは誤っている
事実6: 「あのベルビューは第五話である一方で奇形でない」ということは誤りだ
事実7: 「とあるものは第五話だけれど忘れ易くない」ということは偽だということはない
事実8: 「「第五話だがしかし忘れ易いということはない」ということは成り立つということはない」物があるとするとあのベルビューは奇形でない
事実9: もし忘れ易い物があるとしたらこの蓋は奇形でない

仮説: この蓋は奇形でない
1. 事実5から、推論1: "「「第五話であるし更に忘れ易くない」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実4から、仮説が導かれる

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