もしその馬具が測り難いとしたらこの滑稽さは賢しない
fact1: もし仮にこの滑稽さは黒猫でないならば「賢し物でその上測り難い」ということは偽である fact2: もし「測り難い」ものがあるとしたらあの発生可能性は黒猫でない fact3: 「あの受諾宣言は括り猿である」ということは確かである fact4: もしなんらかのものは職能レベルでないならば「それは黒猫でない」ということは真実だ fact5: 仮にあの発生可能性が黒猫でないとすればあの破綻は職能レベルでないか黒猫でないかあるいはどちらもである fact6: この破綻は職能レベルであるかもしくは黒猫でないかもしくは両方である fact7: 仮にこの破綻が職能レベルでないかそれが黒猫でないかもしくは両方ともだとすればこの滑稽さは賢しない fact8: もしその馬具が測り難いとすればこの滑稽さは賢し fact9: この滑稽さは賢し fact10: その馬具は黒猫でないかあるいは測り難いということはないか両方ともだ fact11: もし仮にあの発生可能性が黒猫でないとするとこの破綻は職能レベルであるかまたはそれは黒猫でないかまたは両方ともだ fact12: 「「職能レベルである」ということは本当である」物はある fact13: この破綻が職能レベルでないとしたらこの滑稽さは賢しない fact14: 「もし仮にこの破綻が職能レベルでないかあるいは黒猫でないかまたはどちらもだとしたらこの滑稽さは賢し」ということは事実である fact15: もしこの破綻が測り難くないとしたらあの発生可能性は士道である
void -> assump1: 以下のように仮定する。その馬具は測り難い; assump1 -> int1: 「測り難い」ものはある; int1 & fact2 -> int2: あの発生可能性は黒猫でない; int2 & fact5 -> int3: この破綻は職能レベルでないかまたはそれは黒猫でない; int3 & fact7 -> int4: この滑稽さは賢しない; [assump1] & int4 -> hypothesis;
なんらかの物は士道である
fact16 -> int5: この滑稽さは職能レベルであるということはないならそれは黒猫であるということはない;
$facts$ = fact1: もし仮にこの滑稽さは黒猫でないならば「賢し物でその上測り難い」ということは偽である fact2: もし「測り難い」ものがあるとしたらあの発生可能性は黒猫でない fact3: 「あの受諾宣言は括り猿である」ということは確かである fact4: もしなんらかのものは職能レベルでないならば「それは黒猫でない」ということは真実だ fact5: 仮にあの発生可能性が黒猫でないとすればあの破綻は職能レベルでないか黒猫でないかあるいはどちらもである fact6: この破綻は職能レベルであるかもしくは黒猫でないかもしくは両方である fact7: 仮にこの破綻が職能レベルでないかそれが黒猫でないかもしくは両方ともだとすればこの滑稽さは賢しない fact8: もしその馬具が測り難いとすればこの滑稽さは賢し fact9: この滑稽さは賢し fact10: その馬具は黒猫でないかあるいは測り難いということはないか両方ともだ fact11: もし仮にあの発生可能性が黒猫でないとするとこの破綻は職能レベルであるかまたはそれは黒猫でないかまたは両方ともだ fact12: 「「職能レベルである」ということは本当である」物はある fact13: この破綻が職能レベルでないとしたらこの滑稽さは賢しない fact14: 「もし仮にこの破綻が職能レベルでないかあるいは黒猫でないかまたはどちらもだとしたらこの滑稽さは賢し」ということは事実である fact15: もしこの破綻が測り難くないとしたらあの発生可能性は士道である ; $hypothesis$ = もしその馬具が測り難いとしたらこの滑稽さは賢しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その馬具は測り難い; assump1 -> int1: 「測り難い」ものはある; int1 & fact2 -> int2: あの発生可能性は黒猫でない; int2 & fact5 -> int3: この破綻は職能レベルでないかまたはそれは黒猫でない; int3 & fact7 -> int4: この滑稽さは賢しない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし仮にこの滑稽さは黒猫でないならば「賢し物でその上測り難い」ということは偽である
事実2: もし「測り難い」ものがあるとしたらあの発生可能性は黒猫でない
事実3: 「あの受諾宣言は括り猿である」ということは確かである
事実4: もしなんらかのものは職能レベルでないならば「それは黒猫でない」ということは真実だ
事実5: 仮にあの発生可能性が黒猫でないとすればあの破綻は職能レベルでないか黒猫でないかあるいはどちらもである
事実6: この破綻は職能レベルであるかもしくは黒猫でないかもしくは両方である
事実7: 仮にこの破綻が職能レベルでないかそれが黒猫でないかもしくは両方ともだとすればこの滑稽さは賢しない
事実8: もしその馬具が測り難いとすればこの滑稽さは賢し
事実9: この滑稽さは賢し
事実10: その馬具は黒猫でないかあるいは測り難いということはないか両方ともだ
事実11: もし仮にあの発生可能性が黒猫でないとするとこの破綻は職能レベルであるかまたはそれは黒猫でないかまたは両方ともだ
事実12: 「「職能レベルである」ということは本当である」物はある
事実13: この破綻が職能レベルでないとしたらこの滑稽さは賢しない
事実14: 「もし仮にこの破綻が職能レベルでないかあるいは黒猫でないかまたはどちらもだとしたらこの滑稽さは賢し」ということは事実である
事実15: もしこの破綻が測り難くないとしたらあの発生可能性は士道である

仮説: もしその馬具が測り難いとしたらこの滑稽さは賢しない
1. 仮定1: 以下のように仮定する。その馬具は測り難い
2. 仮定1から、推論1: "「測り難い」ものはある"が導かれる
3. 推論1と事実2から、推論2: "あの発生可能性は黒猫でない"が導かれる
4. 推論2と事実5から、推論3: "この破綻は職能レベルでないかまたはそれは黒猫でない"が導かれる
5. 推論3と事実7から、推論4: "この滑稽さは賢しない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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