その乳児期は言い訳がましいということはない
fact1: もし仮にその乳児期が通り易いならばそれは言い訳がましい fact2: この笑い皺は取れ易い fact3: もしも何らかの物が狭いとすればマスクする fact4: もしもあのＷＨＹが隙間無いとするとそのマニー論は狭い fact5: そのマニー論はイギリス製でない fact6: その乳児期が通り易くておまけにそれは東京花であるとすれば蒸留しない fact7: もしもこの笑い皺が見せるとするとそのマニー論はマスクしない fact8: 何かは移出しないとすればイギリス製である fact9: この笑い皺はイギリス製である fact10: その乳児期は通り易くない fact11: 仮にその乳児期は通り易くないけれど東京花であるとすればそれは蒸留するということはない fact12: もし仮にこの笑い皺は移出するということはないならば「イギリス製でない」ということは事実と異なる fact13: あのＷＨＹは隙間無い fact14: もし仮にとあるものが移出しないなら見せるしイギリス製である fact15: 「その乳児期は蒸留しない」ということは嘘でないとするとこの笑い皺は移出しない fact16: あのＷＨＹが言い訳はましくらない一方で自然らしい fact17: 「その乳児期は通り易いしそれは東京花である」ということは嘘である fact18: もしもなんらかのものが通り易いならば言い訳がましい fact19: その乳児期が見せればそれは蒸留する fact20: 「あるものは通り易くないがしかし東京花だ」ということは成り立たないとすれば言い訳がましい fact21: この歴史自体は狭くない
void -> assump1: 以下のように仮定する。「その乳児期は通り易くないがしかしそれは東京花である」ということは成り立つ; fact11 & assump1 -> int1: その乳児期は蒸留しない; int1 & fact15 -> int2: この笑い皺は移出しない; fact14 -> int3: もし仮にこの笑い皺が移出するということはないならば見せるしさらにそれはイギリス製である; int2 & int3 -> int4: この笑い皺は見せるしその上イギリス製である; int4 -> int5: この笑い皺は見せる; int5 & fact7 -> int6: そのマニー論はマスクしない; fact4 & fact13 -> int7: そのマニー論は狭い; fact3 -> int8: もしそのマニー論が狭いとするとそれはマスクする; int7 & int8 -> int9: 「そのマニー論はマスクする」ということは成り立つ; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: 「その乳児期は通り易くない一方で東京花である」ということは間違いだ; fact20 -> int12: もし仮に「その乳児期は通り易くない一方で東京花である」ということは成り立たないならば「言い訳がましい」ということは事実だ; int11 & int12 -> hypothesis;
その乳児期は言い訳がましかない
$facts$ = fact1: もし仮にその乳児期が通り易いならばそれは言い訳がましい fact2: この笑い皺は取れ易い fact3: もしも何らかの物が狭いとすればマスクする fact4: もしもあのＷＨＹが隙間無いとするとそのマニー論は狭い fact5: そのマニー論はイギリス製でない fact6: その乳児期が通り易くておまけにそれは東京花であるとすれば蒸留しない fact7: もしもこの笑い皺が見せるとするとそのマニー論はマスクしない fact8: 何かは移出しないとすればイギリス製である fact9: この笑い皺はイギリス製である fact10: その乳児期は通り易くない fact11: 仮にその乳児期は通り易くないけれど東京花であるとすればそれは蒸留するということはない fact12: もし仮にこの笑い皺は移出するということはないならば「イギリス製でない」ということは事実と異なる fact13: あのＷＨＹは隙間無い fact14: もし仮にとあるものが移出しないなら見せるしイギリス製である fact15: 「その乳児期は蒸留しない」ということは嘘でないとするとこの笑い皺は移出しない fact16: あのＷＨＹが言い訳はましくらない一方で自然らしい fact17: 「その乳児期は通り易いしそれは東京花である」ということは嘘である fact18: もしもなんらかのものが通り易いならば言い訳がましい fact19: その乳児期が見せればそれは蒸留する fact20: 「あるものは通り易くないがしかし東京花だ」ということは成り立たないとすれば言い訳がましい fact21: この歴史自体は狭くない ; $hypothesis$ = その乳児期は言い訳がましいということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その乳児期は通り易くないがしかしそれは東京花である」ということは成り立つ; fact11 & assump1 -> int1: その乳児期は蒸留しない; int1 & fact15 -> int2: この笑い皺は移出しない; fact14 -> int3: もし仮にこの笑い皺が移出するということはないならば見せるしさらにそれはイギリス製である; int2 & int3 -> int4: この笑い皺は見せるしその上イギリス製である; int4 -> int5: この笑い皺は見せる; int5 & fact7 -> int6: そのマニー論はマスクしない; fact4 & fact13 -> int7: そのマニー論は狭い; fact3 -> int8: もしそのマニー論が狭いとするとそれはマスクする; int7 & int8 -> int9: 「そのマニー論はマスクする」ということは成り立つ; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: 「その乳児期は通り易くない一方で東京花である」ということは間違いだ; fact20 -> int12: もし仮に「その乳児期は通り易くない一方で東京花である」ということは成り立たないならば「言い訳がましい」ということは事実だ; int11 & int12 -> hypothesis; __DISPROVED__
事実1: もし仮にその乳児期が通り易いならばそれは言い訳がましい
事実2: この笑い皺は取れ易い
事実3: もしも何らかの物が狭いとすればマスクする
事実4: もしもあのＷＨＹが隙間無いとするとそのマニー論は狭い
事実5: そのマニー論はイギリス製でない
事実6: その乳児期が通り易くておまけにそれは東京花であるとすれば蒸留しない
事実7: もしもこの笑い皺が見せるとするとそのマニー論はマスクしない
事実8: 何かは移出しないとすればイギリス製である
事実9: この笑い皺はイギリス製である
事実10: その乳児期は通り易くない
事実11: 仮にその乳児期は通り易くないけれど東京花であるとすればそれは蒸留するということはない
事実12: もし仮にこの笑い皺は移出するということはないならば「イギリス製でない」ということは事実と異なる
事実13: あのＷＨＹは隙間無い
事実14: もし仮にとあるものが移出しないなら見せるしイギリス製である
事実15: 「その乳児期は蒸留しない」ということは嘘でないとするとこの笑い皺は移出しない
事実16: あのＷＨＹが言い訳はましくらない一方で自然らしい
事実17: 「その乳児期は通り易いしそれは東京花である」ということは嘘である
事実18: もしもなんらかのものが通り易いならば言い訳がましい
事実19: その乳児期が見せればそれは蒸留する
事実20: 「あるものは通り易くないがしかし東京花だ」ということは成り立たないとすれば言い訳がましい
事実21: この歴史自体は狭くない

仮説: その乳児期は言い訳がましいということはない
1. 仮定1: 以下のように仮定する。「その乳児期は通り易くないがしかしそれは東京花である」ということは成り立つ
2. 事実11と仮定1から、推論1: "その乳児期は蒸留しない"が導かれる
3. 推論1と事実15から、推論2: "この笑い皺は移出しない"が導かれる
4. 事実14から、推論3: "もし仮にこの笑い皺が移出するということはないならば見せるしさらにそれはイギリス製である"が導かれる
5. 推論2と推論3から、推論4: "この笑い皺は見せるしその上イギリス製である"が導かれる
6. 推論4から、推論5: "この笑い皺は見せる"が導かれる
7. 推論5と事実7から、推論6: "そのマニー論はマスクしない"が導かれる
8. 事実4と事実13から、推論7: "そのマニー論は狭い"が導かれる
9. 事実3から、推論8: "もしそのマニー論が狭いとするとそれはマスクする"が導かれる
10. 推論7と推論8から、推論9: "「そのマニー論はマスクする」ということは成り立つ"が導かれる
11. 推論6と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "「その乳児期は通り易くない一方で東京花である」ということは間違いだ"が導かれる
13. 事実20から、推論12: "もし仮に「その乳児期は通り易くない一方で東京花である」ということは成り立たないならば「言い訳がましい」ということは事実だ"が導かれる
14. 推論11と推論12から、仮説が否定される

よって、仮説が否定されました。