あの絵日記がキッチンテーブルだしその上それは複数登録する
fact1: 仮にあの絵日記は突き刺す一方で複数登録しないならば「あの同程度以上はキッチンテーブルである」ということは成り立つ fact2: もしも「あの絵日記は傍証するけど体制でない」ということは成り立たないとしたら傍証するということはない fact3: あの絵日記は複数登録する fact4: 「あの伝説上は御忘れないがださい」ということは誤りだ fact5: 「あの伝説上は動かし難くないし更にそれは飲み足りない」ということは誤りならば「あの絵日記はキッチンテーブルである」ということは成り立つ fact6: とあるものが傍証しなくて遣り易くないとすれば「危なっかしくない」ということは間違っているということはない fact7: もしも何らかのものは突き刺さないとすれば「キッチンテーブルであるししかも複数登録する」ということは誤りだ fact8: 危なっかしくないものは突き刺すけれど複数登録しない fact9: この新約中は複数登録する fact10: この多面性は複数登録する fact11: それは動かし難いということはないしまた飲み足りないというものはない fact12: あの絵日記は飲み足りる
fact11 -> int1: 「あの伝説上は動かし難くないしそれにそれは飲み足りない」ということは偽である; int1 & fact5 -> int2: あの絵日記はキッチンテーブルだ; int2 & fact3 -> hypothesis;
fact11 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact5 -> int2: {A}{a}; int2 & fact3 -> hypothesis;
あの同程度以上はキッチンテーブルである
fact13 -> int3: もし「あの絵日記は危なっかしくない」ということは成り立つなら突き刺すしまた複数登録しない; fact15 -> int4: あの絵日記が傍証しなくてしかもそれは遣り易くないとすれば「危なっかしくない」ということは偽でない;
$facts$ = fact1: 仮にあの絵日記は突き刺す一方で複数登録しないならば「あの同程度以上はキッチンテーブルである」ということは成り立つ fact2: もしも「あの絵日記は傍証するけど体制でない」ということは成り立たないとしたら傍証するということはない fact3: あの絵日記は複数登録する fact4: 「あの伝説上は御忘れないがださい」ということは誤りだ fact5: 「あの伝説上は動かし難くないし更にそれは飲み足りない」ということは誤りならば「あの絵日記はキッチンテーブルである」ということは成り立つ fact6: とあるものが傍証しなくて遣り易くないとすれば「危なっかしくない」ということは間違っているということはない fact7: もしも何らかのものは突き刺さないとすれば「キッチンテーブルであるししかも複数登録する」ということは誤りだ fact8: 危なっかしくないものは突き刺すけれど複数登録しない fact9: この新約中は複数登録する fact10: この多面性は複数登録する fact11: それは動かし難いということはないしまた飲み足りないというものはない fact12: あの絵日記は飲み足りる ; $hypothesis$ = あの絵日記がキッチンテーブルだしその上それは複数登録する ; $proof$ = 
fact11 -> int1: 「あの伝説上は動かし難くないしそれにそれは飲み足りない」ということは偽である; int1 & fact5 -> int2: あの絵日記はキッチンテーブルだ; int2 & fact3 -> hypothesis; __PROVED__
事実1: 仮にあの絵日記は突き刺す一方で複数登録しないならば「あの同程度以上はキッチンテーブルである」ということは成り立つ
事実2: もしも「あの絵日記は傍証するけど体制でない」ということは成り立たないとしたら傍証するということはない
事実3: あの絵日記は複数登録する
事実4: 「あの伝説上は御忘れないがださい」ということは誤りだ
事実5: 「あの伝説上は動かし難くないし更にそれは飲み足りない」ということは誤りならば「あの絵日記はキッチンテーブルである」ということは成り立つ
事実6: とあるものが傍証しなくて遣り易くないとすれば「危なっかしくない」ということは間違っているということはない
事実7: もしも何らかのものは突き刺さないとすれば「キッチンテーブルであるししかも複数登録する」ということは誤りだ
事実8: 危なっかしくないものは突き刺すけれど複数登録しない
事実9: この新約中は複数登録する
事実10: この多面性は複数登録する
事実11: それは動かし難いということはないしまた飲み足りないというものはない
事実12: あの絵日記は飲み足りる

仮説: あの絵日記がキッチンテーブルだしその上それは複数登録する
1. 事実11から、推論1: "「あの伝説上は動かし難くないしそれにそれは飲み足りない」ということは偽である"が導かれる
2. 推論1と事実5から、推論2: "あの絵日記はキッチンテーブルだ"が導かれる
3. 推論2と事実3から、仮説が導かれる

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