その卵母細胞はよそわない
fact1: もし仮にこのカイロミクロンが固過ぎる一方でそれはちくちくしないならば「分析出来る」ということは成り立つ fact2: もしなにかは分析出来るしそれに万国公法であるならば嘗め取るということはない fact3: 「楽し」ものはある fact4: このカイロミクロンは固過ぎない fact5: もしもその結びが嘗め取るとすればあのカイロミクロンは嘗め取る fact6: このカイロミクロンは処分価額だ fact7: このカイロミクロンは分析出来るかあるいは事業継続であるかどちらもだ fact8: もしこのカイロミクロンが投ずるならこの後方連関効果は投ずる fact9: もし「その結びは投ずる」ということは成り立つとすればこのカイロミクロンは嘗め取る fact10: もしも「楽し」ものがあればその結びは嘗め取るかまたは投ずるかどちらもだ fact11: もし何かは分析出来ないなら万国公法であるし投ずる fact12: その結びはよそわない fact13: もし仮にこのカイロミクロンが投ずるとするとそれは嘗め取る fact14: このカイロミクロンはよそう fact15: もしもなにがしかの物は万国公法でないとすると「分析出来ないしかつそれはよそわない」ということは偽である fact16: もしこのカイロミクロンが処分価額ならばそれは万国公法だ fact17: 仮にこのカイロミクロンは固過ぎるなら「その卵母細胞はよそわない」ということは事実である fact18: もしも「このカイロミクロンは固過ぎるということはなくてちくちくしない」ということは誤りであるとするとその卵母細胞はよそわない fact19: このカイロミクロンは固過ぎないしちくちくしないとしたらそれは分析出来る fact20: 「ちくちくする」物はある fact21: もし「嘗め取る」ものがあればその結びはちくちくするか分析出来るか両方である fact22: 「このカイロミクロンは固過ぎるけどちくちくしない」ということは間違いである
void -> assump1: 以下のように仮定する。このカイロミクロンは固過ぎないししかもちくちくしない; fact19 & assump1 -> int1: このカイロミクロンは分析出来る; fact6 & fact16 -> int2: このカイロミクロンは万国公法である; int1 & int2 -> int3: このカイロミクロンは分析出来るし加えて万国公法である; fact2 -> int4: このカイロミクロンは分析出来るし万国公法だとするとそれは嘗め取らない; int3 & int4 -> int5: このカイロミクロンは嘗め取らない; fact3 & fact10 -> int6: その結びは嘗め取るかあるいはそれは投ずるかまたはどちらもだ; fact9 & int6 & fact5 -> int7: このカイロミクロンは嘗め取る; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「このカイロミクロンが固過ぎるということはないしその上それはちくちくしない」ということは成り立たない; int9 & fact18 -> hypothesis;
その卵母細胞はよそう
fact23 -> int10: 仮にこのカイロミクロンは万国公法でないとすれば「それが分析出来ないしさらによそわない」ということは誤りである;
$facts$ = fact1: もし仮にこのカイロミクロンが固過ぎる一方でそれはちくちくしないならば「分析出来る」ということは成り立つ fact2: もしなにかは分析出来るしそれに万国公法であるならば嘗め取るということはない fact3: 「楽し」ものはある fact4: このカイロミクロンは固過ぎない fact5: もしもその結びが嘗め取るとすればあのカイロミクロンは嘗め取る fact6: このカイロミクロンは処分価額だ fact7: このカイロミクロンは分析出来るかあるいは事業継続であるかどちらもだ fact8: もしこのカイロミクロンが投ずるならこの後方連関効果は投ずる fact9: もし「その結びは投ずる」ということは成り立つとすればこのカイロミクロンは嘗め取る fact10: もしも「楽し」ものがあればその結びは嘗め取るかまたは投ずるかどちらもだ fact11: もし何かは分析出来ないなら万国公法であるし投ずる fact12: その結びはよそわない fact13: もし仮にこのカイロミクロンが投ずるとするとそれは嘗め取る fact14: このカイロミクロンはよそう fact15: もしもなにがしかの物は万国公法でないとすると「分析出来ないしかつそれはよそわない」ということは偽である fact16: もしこのカイロミクロンが処分価額ならばそれは万国公法だ fact17: 仮にこのカイロミクロンは固過ぎるなら「その卵母細胞はよそわない」ということは事実である fact18: もしも「このカイロミクロンは固過ぎるということはなくてちくちくしない」ということは誤りであるとするとその卵母細胞はよそわない fact19: このカイロミクロンは固過ぎないしちくちくしないとしたらそれは分析出来る fact20: 「ちくちくする」物はある fact21: もし「嘗め取る」ものがあればその結びはちくちくするか分析出来るか両方である fact22: 「このカイロミクロンは固過ぎるけどちくちくしない」ということは間違いである ; $hypothesis$ = その卵母細胞はよそわない ; $proof$ = 
void -> assump1: 以下のように仮定する。このカイロミクロンは固過ぎないししかもちくちくしない; fact19 & assump1 -> int1: このカイロミクロンは分析出来る; fact6 & fact16 -> int2: このカイロミクロンは万国公法である; int1 & int2 -> int3: このカイロミクロンは分析出来るし加えて万国公法である; fact2 -> int4: このカイロミクロンは分析出来るし万国公法だとするとそれは嘗め取らない; int3 & int4 -> int5: このカイロミクロンは嘗め取らない; fact3 & fact10 -> int6: その結びは嘗め取るかあるいはそれは投ずるかまたはどちらもだ; fact9 & int6 & fact5 -> int7: このカイロミクロンは嘗め取る; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「このカイロミクロンが固過ぎるということはないしその上それはちくちくしない」ということは成り立たない; int9 & 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: 「このカイロミクロンは固過ぎるけどちくちくしない」ということは間違いである

仮説: その卵母細胞はよそわない
1. 仮定1: 以下のように仮定する。このカイロミクロンは固過ぎないししかもちくちくしない
2. 事実19と仮定1から、推論1: "このカイロミクロンは分析出来る"が導かれる
3. 事実6と事実16から、推論2: "このカイロミクロンは万国公法である"が導かれる
4. 推論1と推論2から、推論3: "このカイロミクロンは分析出来るし加えて万国公法である"が導かれる
5. 事実2から、推論4: "このカイロミクロンは分析出来るし万国公法だとするとそれは嘗め取らない"が導かれる
6. 推論3と推論4から、推論5: "このカイロミクロンは嘗め取らない"が導かれる
7. 事実3と事実10から、推論6: "その結びは嘗め取るかあるいはそれは投ずるかまたはどちらもだ"が導かれる
8. 事実9と推論6と事実5から、推論7: "このカイロミクロンは嘗め取る"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「このカイロミクロンが固過ぎるということはないしその上それはちくちくしない」ということは成り立たない"が導かれる
11. 推論9と事実18から、仮説が導かれる

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