あの核廃絶は慕わしい
fact1: もしもその焼き鳥屋が流し出さないとすればその自己満足は覚え易くない fact2: 「「慕わしいということはないか色好いかまたはどちらもである」ということは確かである」物はある fact3: その自己満足は深め合わない fact4: 仮になんらかのものが踏めないとすればツアー客であるしアメリカ政治である fact5: もしもその焼き鳥屋は覚え易くないならば「その自己満足は覚え易くない」ということは間違っていない fact6: 「もしも「深め合わないかあるいは慕わしいか両方ともである」物があるとしたらその焼き鳥屋は色好い」ということは確かである fact7: その自己満足は徹底化しない fact8: その自己満足は同法制定でないならばそれは踏めない fact9: その焼き鳥屋は政道でない fact10: その自己満足は慕わしくない fact11: もしもなにがしかのものが色好くないかあるいは五条野であるかまたは両方ともだとするとその焼き鳥屋は慕わしい fact12: あの投資術は深め合わない fact13: この直線上は一般大衆向けであるということはない fact14: もしも「あるものは深め合うし等しい」ということは誤りならば慕わしくない fact15: 覚え易いということはない物は空々しいしおまけに神様だ fact16: もし仮にその焼き鳥屋は政道でないとすると覚え易くないかあるいは流し出さないかもしくはどちらもだ fact17: その焼き鳥屋は色好いかもしくはそれは五条野であるかどちらもだ fact18: もし仮に何かは色好くないかあるいは五条野であるかもしくはどちらもだとすれば「あの核廃絶は慕わしい」ということは事実である fact19: 空々しいものは外し始めるか同法制定でないかもしくは両方ともである fact20: その安衛法は口汚いということはないかあるいは包括承継であるかあるいはどちらもである fact21: あの核廃絶が五条野でないならその焼き鳥屋は深め合うということはないかそれは慕わしいかもしくはどちらもである fact22: 仮に何らかのものは外し始めればそれは踏めない fact23: もしも「慕わしい」物はあるとすると「その焼き鳥屋は色好い」ということは事実だ fact24: もし仮にその自己満足が深め合わないならばその焼き鳥屋は色好くないかそれは五条野であるかあるいは両方ともだ
fact24 & fact3 -> int1: その焼き鳥屋は色好いということはないかあるいは五条野であるかまたは両方ともだ; int1 -> int2: 「色好くないかもしくは五条野であるか両方な」物はある; int2 & fact18 -> hypothesis;
あの核廃絶は慕わしくない
fact33 -> int3: 「あの核廃絶は深め合うしかつそれは等しい」ということは成り立つということはないとすると慕わしくない; fact28 -> int4: 仮にその自己満足が踏めるということはないとするとツアー客でそれはアメリカ政治である; fact31 -> int5: もしその自己満足が空々しいなら外し始めるかあるいはそれは同法制定であるということはないかまたは両方だ; fact27 -> int6: 「その自己満足は覚え易くない」ということは本当だとするとそれは空々しいしまた神様である; fact34 & fact25 -> int7: その焼き鳥屋は覚え易くないか流し出さないかもしくはどちらもである; int7 & fact26 & fact30 -> int8: 「その自己満足は覚え易くない」ということは成り立つ; int6 & int8 -> int9: その自己満足は空々しいしかつ神様である; int9 -> int10: その自己満足は空々しい; int5 & int10 -> int11: その自己満足は外し始めるかあるいは同法制定でないかどちらもだ; fact32 -> int12: 「その自己満足は外し始める」ということは本当だとすれば踏めない; int11 & int12 & fact29 -> int13: その自己満足は踏めない; int4 & int13 -> int14: その自己満足はツアー客であるし更にアメリカ政治だ; int14 -> int15: その自己満足はアメリカ政治である; int15 -> int16: 「アメリカ政治な」物はある;
$facts$ = fact1: もしもその焼き鳥屋が流し出さないとすればその自己満足は覚え易くない fact2: 「「慕わしいということはないか色好いかまたはどちらもである」ということは確かである」物はある fact3: その自己満足は深め合わない fact4: 仮になんらかのものが踏めないとすればツアー客であるしアメリカ政治である fact5: もしもその焼き鳥屋は覚え易くないならば「その自己満足は覚え易くない」ということは間違っていない fact6: 「もしも「深め合わないかあるいは慕わしいか両方ともである」物があるとしたらその焼き鳥屋は色好い」ということは確かである fact7: その自己満足は徹底化しない fact8: その自己満足は同法制定でないならばそれは踏めない fact9: その焼き鳥屋は政道でない fact10: その自己満足は慕わしくない fact11: もしもなにがしかのものが色好くないかあるいは五条野であるかまたは両方ともだとするとその焼き鳥屋は慕わしい fact12: あの投資術は深め合わない fact13: この直線上は一般大衆向けであるということはない fact14: もしも「あるものは深め合うし等しい」ということは誤りならば慕わしくない fact15: 覚え易いということはない物は空々しいしおまけに神様だ fact16: もし仮にその焼き鳥屋は政道でないとすると覚え易くないかあるいは流し出さないかもしくはどちらもだ fact17: その焼き鳥屋は色好いかもしくはそれは五条野であるかどちらもだ fact18: もし仮に何かは色好くないかあるいは五条野であるかもしくはどちらもだとすれば「あの核廃絶は慕わしい」ということは事実である fact19: 空々しいものは外し始めるか同法制定でないかもしくは両方ともである fact20: その安衛法は口汚いということはないかあるいは包括承継であるかあるいはどちらもである fact21: あの核廃絶が五条野でないならその焼き鳥屋は深め合うということはないかそれは慕わしいかもしくはどちらもである fact22: 仮に何らかのものは外し始めればそれは踏めない fact23: もしも「慕わしい」物はあるとすると「その焼き鳥屋は色好い」ということは事実だ fact24: もし仮にその自己満足が深め合わないならばその焼き鳥屋は色好くないかそれは五条野であるかあるいは両方ともだ ; $hypothesis$ = あの核廃絶は慕わしい ; $proof$ = 
fact24 & fact3 -> int1: その焼き鳥屋は色好いということはないかあるいは五条野であるかまたは両方ともだ; int1 -> int2: 「色好くないかもしくは五条野であるか両方な」物はある; int2 & fact18 -> hypothesis; __PROVED__
事実1: もしもその焼き鳥屋が流し出さないとすればその自己満足は覚え易くない
事実2: 「「慕わしいということはないか色好いかまたはどちらもである」ということは確かである」物はある
事実3: その自己満足は深め合わない
事実4: 仮になんらかのものが踏めないとすればツアー客であるしアメリカ政治である
事実5: もしもその焼き鳥屋は覚え易くないならば「その自己満足は覚え易くない」ということは間違っていない
事実6: 「もしも「深め合わないかあるいは慕わしいか両方ともである」物があるとしたらその焼き鳥屋は色好い」ということは確かである
事実7: その自己満足は徹底化しない
事実8: その自己満足は同法制定でないならばそれは踏めない
事実9: その焼き鳥屋は政道でない
事実10: その自己満足は慕わしくない
事実11: もしもなにがしかのものが色好くないかあるいは五条野であるかまたは両方ともだとするとその焼き鳥屋は慕わしい
事実12: あの投資術は深め合わない
事実13: この直線上は一般大衆向けであるということはない
事実14: もしも「あるものは深め合うし等しい」ということは誤りならば慕わしくない
事実15: 覚え易いということはない物は空々しいしおまけに神様だ
事実16: もし仮にその焼き鳥屋は政道でないとすると覚え易くないかあるいは流し出さないかもしくはどちらもだ
事実17: その焼き鳥屋は色好いかもしくはそれは五条野であるかどちらもだ
事実18: もし仮に何かは色好くないかあるいは五条野であるかもしくはどちらもだとすれば「あの核廃絶は慕わしい」ということは事実である
事実19: 空々しいものは外し始めるか同法制定でないかもしくは両方ともである
事実20: その安衛法は口汚いということはないかあるいは包括承継であるかあるいはどちらもである
事実21: あの核廃絶が五条野でないならその焼き鳥屋は深め合うということはないかそれは慕わしいかもしくはどちらもである
事実22: 仮に何らかのものは外し始めればそれは踏めない
事実23: もしも「慕わしい」物はあるとすると「その焼き鳥屋は色好い」ということは事実だ
事実24: もし仮にその自己満足が深め合わないならばその焼き鳥屋は色好くないかそれは五条野であるかあるいは両方ともだ

仮説: あの核廃絶は慕わしい
1. 事実24と事実3から、推論1: "その焼き鳥屋は色好いということはないかあるいは五条野であるかまたは両方ともだ"が導かれる
2. 推論1から、推論2: "「色好くないかもしくは五条野であるか両方な」物はある"が導かれる
3. 推論2と事実18から、仮説が導かれる

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