あのアグリーメントは思い始める
fact1: もし仮にその音速以上が動作保証外でないとしたらその当該剰余金は御聞き為さるということはないか動作保証外であるかあるいはどちらもである fact2: あのリンク蛋白質は思い始める fact3: その音速以上は実質価値でないならば「御聞き為さるし托鉢でない」ということは成り立たない fact4: あのリンク蛋白質が托鉢であるならその零零Ｓは実質価値だ fact5: もしもその音速以上が動作保証外でないとするとその当該剰余金は御聞き為さるかあるいは動作保証外でないかどちらもだ fact6: もしその音速以上が動作保証外でないならばあの当該剰余金は御聞き為さるということはないかまたはそれは動作保証外でないか両方である fact7: 「もし仮にその音速以上が実質価値ならばその零零Ｓは臭い」ということは確かだ fact8: なにかは仕事らしいとすると「それは托鉢だ」ということは間違っていない fact9: もしあのアグリーメントが御聞き為さらないなら臭くないしまたそれは仕事らしい fact10: 仮に「その音速以上は臭いしかつ不可分債務である」ということは誤っていれば臭くない fact11: もしその当該剰余金が御聞き為さらないかまたは動作保証外でないかもしくは両方ともであるとすれば「あのリンク蛋白質は仕事らしい」ということは成り立つ fact12: その当該剰余金は御聞き為さるということはないか動作保証外であるかまたは両方ともである fact13: もし仮にその音速以上が動作保証外だとすればそれは臭い fact14: 仮に「その零零Ｓは実質価値であるししかも臭い」ということは成り立たないとすれば「実質価値でない」ということは確かだ fact15: その音速以上は実質価値でない fact16: 「その音速以上は臭いし不可分債務である」ということは誤っている fact17: もしもその零零Ｓが実質価値であるならばあのアグリーメントは思い始める
void -> assump1: 以下のように仮定する。その音速以上は動作保証外である; fact13 & assump1 -> int1: その音速以上は臭い; fact10 & fact16 -> int2: 「その音速以上は臭くない」ということは間違っていない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その音速以上は動作保証外でない; int4 & fact6 -> int5: 「その当該剰余金は御聞き為さらないかあるいはそれは動作保証外でない」ということは本当だ; int5 & fact11 -> int6: あのリンク蛋白質は仕事らしい; fact8 -> int7: もしもあのリンク蛋白質が仕事らしいとするとそれは托鉢である; int6 & int7 -> int8: 「あのリンク蛋白質は托鉢だ」ということは成り立つ; int8 & fact4 -> int9: 「その零零Ｓは実質価値だ」ということは真実だ; int9 & fact17 -> hypothesis;
あのアグリーメントは思い始めない
fact19 & fact18 -> int10: 「「その音速以上は御聞き為さるけれど托鉢でない」ということは間違いだ」ということは事実である; int10 -> int11: 「「御聞き為さるしまた托鉢でない」ということは嘘である」ものはある;
$facts$ = fact1: もし仮にその音速以上が動作保証外でないとしたらその当該剰余金は御聞き為さるということはないか動作保証外であるかあるいはどちらもである fact2: あのリンク蛋白質は思い始める fact3: その音速以上は実質価値でないならば「御聞き為さるし托鉢でない」ということは成り立たない fact4: あのリンク蛋白質が托鉢であるならその零零Ｓは実質価値だ fact5: もしもその音速以上が動作保証外でないとするとその当該剰余金は御聞き為さるかあるいは動作保証外でないかどちらもだ fact6: もしその音速以上が動作保証外でないならばあの当該剰余金は御聞き為さるということはないかまたはそれは動作保証外でないか両方である fact7: 「もし仮にその音速以上が実質価値ならばその零零Ｓは臭い」ということは確かだ fact8: なにかは仕事らしいとすると「それは托鉢だ」ということは間違っていない fact9: もしあのアグリーメントが御聞き為さらないなら臭くないしまたそれは仕事らしい fact10: 仮に「その音速以上は臭いしかつ不可分債務である」ということは誤っていれば臭くない fact11: もしその当該剰余金が御聞き為さらないかまたは動作保証外でないかもしくは両方ともであるとすれば「あのリンク蛋白質は仕事らしい」ということは成り立つ fact12: その当該剰余金は御聞き為さるということはないか動作保証外であるかまたは両方ともである fact13: もし仮にその音速以上が動作保証外だとすればそれは臭い fact14: 仮に「その零零Ｓは実質価値であるししかも臭い」ということは成り立たないとすれば「実質価値でない」ということは確かだ fact15: その音速以上は実質価値でない fact16: 「その音速以上は臭いし不可分債務である」ということは誤っている fact17: もしもその零零Ｓが実質価値であるならばあのアグリーメントは思い始める ; $hypothesis$ = あのアグリーメントは思い始める ; $proof$ = 
void -> assump1: 以下のように仮定する。その音速以上は動作保証外である; fact13 & assump1 -> int1: その音速以上は臭い; fact10 & fact16 -> int2: 「その音速以上は臭くない」ということは間違っていない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その音速以上は動作保証外でない; int4 & fact6 -> int5: 「その当該剰余金は御聞き為さらないかあるいはそれは動作保証外でない」ということは本当だ; int5 & fact11 -> int6: あのリンク蛋白質は仕事らしい; fact8 -> int7: もしもあのリンク蛋白質が仕事らしいとするとそれは托鉢である; int6 & int7 -> int8: 「あのリンク蛋白質は托鉢だ」ということは成り立つ; int8 & fact4 -> int9: 「その零零Ｓは実質価値だ」ということは真実だ; int9 & fact17 -> hypothesis; __PROVED__
事実1: もし仮にその音速以上が動作保証外でないとしたらその当該剰余金は御聞き為さるということはないか動作保証外であるかあるいはどちらもである
事実2: あのリンク蛋白質は思い始める
事実3: その音速以上は実質価値でないならば「御聞き為さるし托鉢でない」ということは成り立たない
事実4: あのリンク蛋白質が托鉢であるならその零零Ｓは実質価値だ
事実5: もしもその音速以上が動作保証外でないとするとその当該剰余金は御聞き為さるかあるいは動作保証外でないかどちらもだ
事実6: もしその音速以上が動作保証外でないならばあの当該剰余金は御聞き為さるということはないかまたはそれは動作保証外でないか両方である
事実7: 「もし仮にその音速以上が実質価値ならばその零零Ｓは臭い」ということは確かだ
事実8: なにかは仕事らしいとすると「それは托鉢だ」ということは間違っていない
事実9: もしあのアグリーメントが御聞き為さらないなら臭くないしまたそれは仕事らしい
事実10: 仮に「その音速以上は臭いしかつ不可分債務である」ということは誤っていれば臭くない
事実11: もしその当該剰余金が御聞き為さらないかまたは動作保証外でないかもしくは両方ともであるとすれば「あのリンク蛋白質は仕事らしい」ということは成り立つ
事実12: その当該剰余金は御聞き為さるということはないか動作保証外であるかまたは両方ともである
事実13: もし仮にその音速以上が動作保証外だとすればそれは臭い
事実14: 仮に「その零零Ｓは実質価値であるししかも臭い」ということは成り立たないとすれば「実質価値でない」ということは確かだ
事実15: その音速以上は実質価値でない
事実16: 「その音速以上は臭いし不可分債務である」ということは誤っている
事実17: もしもその零零Ｓが実質価値であるならばあのアグリーメントは思い始める

仮説: あのアグリーメントは思い始める
1. 仮定1: 以下のように仮定する。その音速以上は動作保証外である
2. 事実13と仮定1から、推論1: "その音速以上は臭い"が導かれる
3. 事実10と事実16から、推論2: "「その音速以上は臭くない」ということは間違っていない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その音速以上は動作保証外でない"が導かれる
6. 推論4と事実6から、推論5: "「その当該剰余金は御聞き為さらないかあるいはそれは動作保証外でない」ということは本当だ"が導かれる
7. 推論5と事実11から、推論6: "あのリンク蛋白質は仕事らしい"が導かれる
8. 事実8から、推論7: "もしもあのリンク蛋白質が仕事らしいとするとそれは托鉢である"が導かれる
9. 推論6と推論7から、推論8: "「あのリンク蛋白質は托鉢だ」ということは成り立つ"が導かれる
10. 推論8と事実4から、推論9: "「その零零Ｓは実質価値だ」ということは真実だ"が導かれる
11. 推論9と事実17から、仮説が導かれる

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