「もしも取り為さるということはないなら不安がらない」物はある
fact1: あの六校は取り為さらない fact2: あの十一日判決は飲み易くない fact3: あの十一日判決は寄越す fact4: 「もし仮に歩き回り始めるということはないなら聞こえ難い」物はある fact5: 「もったりしないとすれば誘拐である」物はある fact6: あの外務省内は取り為さらない fact7: あの十一日判決は立て易い fact8: もしもあの十一日判決が立て易いということはないとしたらそれは愛情深くない fact9: あのシステム系は立て易いということはない fact10: もしあの克服は取り為さるがしかし模しないとしたら後詰めでない fact11: もし仮に「なにがしかのものは変え難いということはない」ということは成り立つとしたら見える化しない fact12: 「嫌がらないとしたらめぼしい」物はある fact13: 仮に立て易いものが取り為さらないなら不安がらない fact14: 「あの十一日判決は物問いであるということはない」ということは成り立つとすればそれは立て易くない fact15: 「仮に固しとすれば割り切らない」物はある fact16: もしもあの十一日判決が割り切らないならばそれは強制乳化するということはない fact17: もしあの十一日判決が取り為さるけれどそれは労労じないとすれば「つべたい」ということは事実だ fact18: 「もし共稼ぎは配置するということはないならば「それは理解し易い」ということは確かだ」ということは成り立つ fact19: 仮にあの十一日判決は取り為さらないとすれば「それは不安がる」ということは確かである
void -> assump1: 以下のように仮定する。「あの十一日判決は取り為さらない」ということは成り立つ; fact7 & assump1 -> int1: あの十一日判決は立て易いがそれは取り為さらない; fact13 -> int2: あの十一日判決は立て易いけど取り為さらないなら不安がるということはない; int1 & int2 -> int3: あの十一日判決は不安がらない; [assump1] & int3 -> int4: 仮にあの十一日判決が取り為さらないとしたらそれは不安がらない; int4 -> hypothesis;
「もし仮に変え難くないならば見える化しない」物はある
fact20 -> int5: もし仮にあの十一日判決が変え難くないとすれば見える化するということはない; int5 -> hypothesis;
$facts$ = fact1: あの六校は取り為さらない fact2: あの十一日判決は飲み易くない fact3: あの十一日判決は寄越す fact4: 「もし仮に歩き回り始めるということはないなら聞こえ難い」物はある fact5: 「もったりしないとすれば誘拐である」物はある fact6: あの外務省内は取り為さらない fact7: あの十一日判決は立て易い fact8: もしもあの十一日判決が立て易いということはないとしたらそれは愛情深くない fact9: あのシステム系は立て易いということはない fact10: もしあの克服は取り為さるがしかし模しないとしたら後詰めでない fact11: もし仮に「なにがしかのものは変え難いということはない」ということは成り立つとしたら見える化しない fact12: 「嫌がらないとしたらめぼしい」物はある fact13: 仮に立て易いものが取り為さらないなら不安がらない fact14: 「あの十一日判決は物問いであるということはない」ということは成り立つとすればそれは立て易くない fact15: 「仮に固しとすれば割り切らない」物はある fact16: もしもあの十一日判決が割り切らないならばそれは強制乳化するということはない fact17: もしあの十一日判決が取り為さるけれどそれは労労じないとすれば「つべたい」ということは事実だ fact18: 「もし共稼ぎは配置するということはないならば「それは理解し易い」ということは確かだ」ということは成り立つ fact19: 仮にあの十一日判決は取り為さらないとすれば「それは不安がる」ということは確かである ; $hypothesis$ = 「もしも取り為さるということはないなら不安がらない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの十一日判決は取り為さらない」ということは成り立つ; fact7 & assump1 -> int1: あの十一日判決は立て易いがそれは取り為さらない; fact13 -> int2: あの十一日判決は立て易いけど取り為さらないなら不安がるということはない; int1 & int2 -> int3: あの十一日判決は不安がらない; [assump1] & int3 -> int4: 仮にあの十一日判決が取り為さらないとしたらそれは不安がらない; int4 -> hypothesis; __PROVED__
事実1: あの六校は取り為さらない
事実2: あの十一日判決は飲み易くない
事実3: あの十一日判決は寄越す
事実4: 「もし仮に歩き回り始めるということはないなら聞こえ難い」物はある
事実5: 「もったりしないとすれば誘拐である」物はある
事実6: あの外務省内は取り為さらない
事実7: あの十一日判決は立て易い
事実8: もしもあの十一日判決が立て易いということはないとしたらそれは愛情深くない
事実9: あのシステム系は立て易いということはない
事実10: もしあの克服は取り為さるがしかし模しないとしたら後詰めでない
事実11: もし仮に「なにがしかのものは変え難いということはない」ということは成り立つとしたら見える化しない
事実12: 「嫌がらないとしたらめぼしい」物はある
事実13: 仮に立て易いものが取り為さらないなら不安がらない
事実14: 「あの十一日判決は物問いであるということはない」ということは成り立つとすればそれは立て易くない
事実15: 「仮に固しとすれば割り切らない」物はある
事実16: もしもあの十一日判決が割り切らないならばそれは強制乳化するということはない
事実17: もしあの十一日判決が取り為さるけれどそれは労労じないとすれば「つべたい」ということは事実だ
事実18: 「もし共稼ぎは配置するということはないならば「それは理解し易い」ということは確かだ」ということは成り立つ
事実19: 仮にあの十一日判決は取り為さらないとすれば「それは不安がる」ということは確かである

仮説: 「もしも取り為さるということはないなら不安がらない」物はある
1. 仮定1: 以下のように仮定する。「あの十一日判決は取り為さらない」ということは成り立つ
2. 事実7と仮定1から、推論1: "あの十一日判決は立て易いがそれは取り為さらない"が導かれる
3. 事実13から、推論2: "あの十一日判決は立て易いけど取り為さらないなら不安がるということはない"が導かれる
4. 推論1と推論2から、推論3: "あの十一日判決は不安がらない"が導かれる
5. [仮定1]と推論3から、推論4: "仮にあの十一日判決が取り為さらないとしたらそれは不安がらない"が導かれる
6. 推論4から、仮説が導かれる

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