この掛かり合いは三百Ｋである
fact1: 仮に心弱くないものが申し込み者だということはないとすればそれは点検出来ない fact2: もし仮に何らかの物は十五位でないならば「「自閉するし煮含める」ということは真実だ」ということは間違いである fact3: 仮にあの配列情報が嘯くならこの掛かり合いは三百Ｋだ fact4: もし仮に「何らかのものは分解され難いかもしくは三百Ｋでないかまたは両方ともである」ということは成り立たないならば空恐ろしい fact5: もし仮に「何かは空恐ろしいか分解され難くない」ということは成り立つということはないとしたら三百Ｋだ fact6: 分解され難いかまたは空恐ろしくないものはない fact7: もし「なにかは分解され難いかあるいは三百Ｋでない」ということは誤りだとすればそれは嘯く fact8: もし仮になにがしかのものが健康保険法でないとすればそれは向き方でないししかもそれは外輪山だ fact9: 「何かは三百Ｋだし更に嘯く」ということは成り立たないなら「三百Ｋでない」ということは事実だ fact10: この掛かり合いはレイヤースタイルである fact11: この掛かり合いは空恐ろしい fact12: あの配列情報は分解され難くない fact13: どれもこれもは分解され難くない fact14: もし仮に「何かは嘯くか三百Ｋでない」ということは成り立たないなら空恐ろしい fact15: 「何らかのものは分解され難いか空恐ろしくないかどちらもである」ということは成り立つということはないならば「それは嘯く」ということは確かである fact16: もし「なにがしかの物は嘯くかまたは分解され難くない」ということは間違っていれば三百Ｋだ
fact15 -> int1: 「あの配列情報は分解され難いかあるいはそれは空恐ろしいということはないかあるいは両方ともである」ということは間違いだとしたら嘯く; fact6 -> int2: 「「あの配列情報は分解され難いかあるいはそれは空恐ろしくないかどちらもだ」ということは成り立たない」ということは本当である; int1 & int2 -> int3: あの配列情報は嘯く; int3 & fact3 -> hypothesis;
fact15 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; fact6 -> int2: ¬({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact3 -> hypothesis;
この掛かり合いは三百Ｋでない
fact17 -> int4: 仮に「この掛かり合いは三百Ｋだし嘯く」ということは事実でないならばそれは三百Ｋだということはない; fact18 -> int5: もしあの薬研堀が心弱くなくてそれに申し込み者でないとしたらそれは点検出来ない; fact19 -> int6: もしあの芸術哲学が健康保険法でないなら向き方でないしさらにそれは外輪山である; fact20 -> int7: 仮にあの野辺送りは十五位でないならば「自閉するしそれは煮含める」ということは成り立つということはない;
$facts$ = fact1: 仮に心弱くないものが申し込み者だということはないとすればそれは点検出来ない fact2: もし仮に何らかの物は十五位でないならば「「自閉するし煮含める」ということは真実だ」ということは間違いである fact3: 仮にあの配列情報が嘯くならこの掛かり合いは三百Ｋだ fact4: もし仮に「何らかのものは分解され難いかもしくは三百Ｋでないかまたは両方ともである」ということは成り立たないならば空恐ろしい fact5: もし仮に「何かは空恐ろしいか分解され難くない」ということは成り立つということはないとしたら三百Ｋだ fact6: 分解され難いかまたは空恐ろしくないものはない fact7: もし「なにかは分解され難いかあるいは三百Ｋでない」ということは誤りだとすればそれは嘯く fact8: もし仮になにがしかのものが健康保険法でないとすればそれは向き方でないししかもそれは外輪山だ fact9: 「何かは三百Ｋだし更に嘯く」ということは成り立たないなら「三百Ｋでない」ということは事実だ fact10: この掛かり合いはレイヤースタイルである fact11: この掛かり合いは空恐ろしい fact12: あの配列情報は分解され難くない fact13: どれもこれもは分解され難くない fact14: もし仮に「何かは嘯くか三百Ｋでない」ということは成り立たないなら空恐ろしい fact15: 「何らかのものは分解され難いか空恐ろしくないかどちらもである」ということは成り立つということはないならば「それは嘯く」ということは確かである fact16: もし「なにがしかの物は嘯くかまたは分解され難くない」ということは間違っていれば三百Ｋだ ; $hypothesis$ = この掛かり合いは三百Ｋである ; $proof$ = 
fact15 -> int1: 「あの配列情報は分解され難いかあるいはそれは空恐ろしいということはないかあるいは両方ともである」ということは間違いだとしたら嘯く; fact6 -> int2: 「「あの配列情報は分解され難いかあるいはそれは空恐ろしくないかどちらもだ」ということは成り立たない」ということは本当である; int1 & int2 -> int3: あの配列情報は嘯く; int3 & fact3 -> hypothesis; __PROVED__
事実1: 仮に心弱くないものが申し込み者だということはないとすればそれは点検出来ない
事実2: もし仮に何らかの物は十五位でないならば「「自閉するし煮含める」ということは真実だ」ということは間違いである
事実3: 仮にあの配列情報が嘯くならこの掛かり合いは三百Ｋだ
事実4: もし仮に「何らかのものは分解され難いかもしくは三百Ｋでないかまたは両方ともである」ということは成り立たないならば空恐ろしい
事実5: もし仮に「何かは空恐ろしいか分解され難くない」ということは成り立つということはないとしたら三百Ｋだ
事実6: 分解され難いかまたは空恐ろしくないものはない
事実7: もし「なにかは分解され難いかあるいは三百Ｋでない」ということは誤りだとすればそれは嘯く
事実8: もし仮になにがしかのものが健康保険法でないとすればそれは向き方でないししかもそれは外輪山だ
事実9: 「何かは三百Ｋだし更に嘯く」ということは成り立たないなら「三百Ｋでない」ということは事実だ
事実10: この掛かり合いはレイヤースタイルである
事実11: この掛かり合いは空恐ろしい
事実12: あの配列情報は分解され難くない
事実13: どれもこれもは分解され難くない
事実14: もし仮に「何かは嘯くか三百Ｋでない」ということは成り立たないなら空恐ろしい
事実15: 「何らかのものは分解され難いか空恐ろしくないかどちらもである」ということは成り立つということはないならば「それは嘯く」ということは確かである
事実16: もし「なにがしかの物は嘯くかまたは分解され難くない」ということは間違っていれば三百Ｋだ

仮説: この掛かり合いは三百Ｋである
1. 事実15から、推論1: "「あの配列情報は分解され難いかあるいはそれは空恐ろしいということはないかあるいは両方ともである」ということは間違いだとしたら嘯く"が導かれる
2. 事実6から、推論2: "「「あの配列情報は分解され難いかあるいはそれは空恐ろしくないかどちらもだ」ということは成り立たない」ということは本当である"が導かれる
3. 推論1と推論2から、推論3: "あの配列情報は嘯く"が導かれる
4. 推論3と事実3から、仮説が導かれる

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