「この隘路は母親らしくないけど気持ち良い」ということは成り立たない
fact1: 「この白苔は親しみ易くてそれは母親らしい」ということは確かでない fact2: 「この隘路は生み易いし更に通り難い」ということは誤りである fact3: 「この白苔は交絡因子でないが母親らしい」ということは誤りである fact4: もし仮にこの白苔は交絡因子であるとしたら「親しみ易くないしそれにそれは上がり易い」ということは真実でない fact5: 仮に「この白苔は気持ち良くない一方で訳無い」ということは成り立つということはないなら「この隘路は上がり易くない」ということは成り立つ fact6: もしもこの白苔は母親らしいなら「親しみ易くないしそれに訳無い」ということは間違いである fact7: もし「この隘路は気持ち良い」ということは事実だとすれば「それは親しみ易くてそれは母親らしい」ということは成り立たない fact8: 「この隘路は気持ち良くてまた交絡因子だ」ということは成り立たない fact9: 仮に「この白苔は親しみ易いということはないがそれは上がり易い」ということは正しくないとしたら「この隘路は訳無くない」ということは本当だ fact10: もしもこの隘路は訳無くないとすると「母親らしくないがしかし気持ち良い」ということは偽だ fact11: もしこの隘路が親しみ易いならこの白苔は気持ち良くない fact12: この白苔は交絡因子である fact13: この白苔は訳無いとしたら「この隘路は上がり易くない」ということは正しい fact14: 「この白苔は親しみ易くないが着せがましい」ということは誤りだ fact15: もしこの隘路は交絡因子でないとすると「「訳無くないけれど親しみ易い」ということは正しい」ということは事実でない
fact4 & fact12 -> int1: 「この白苔は親しみ易くないけれど上がり易い」ということは事実と異なる; int1 & fact9 -> int2: この隘路は訳無くない; int2 & fact10 -> hypothesis;
fact4 & fact12 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact9 -> int2: ¬{B}{b}; int2 & fact10 -> hypothesis;
$facts$ = fact1: 「この白苔は親しみ易くてそれは母親らしい」ということは確かでない fact2: 「この隘路は生み易いし更に通り難い」ということは誤りである fact3: 「この白苔は交絡因子でないが母親らしい」ということは誤りである fact4: もし仮にこの白苔は交絡因子であるとしたら「親しみ易くないしそれにそれは上がり易い」ということは真実でない fact5: 仮に「この白苔は気持ち良くない一方で訳無い」ということは成り立つということはないなら「この隘路は上がり易くない」ということは成り立つ fact6: もしもこの白苔は母親らしいなら「親しみ易くないしそれに訳無い」ということは間違いである fact7: もし「この隘路は気持ち良い」ということは事実だとすれば「それは親しみ易くてそれは母親らしい」ということは成り立たない fact8: 「この隘路は気持ち良くてまた交絡因子だ」ということは成り立たない fact9: 仮に「この白苔は親しみ易いということはないがそれは上がり易い」ということは正しくないとしたら「この隘路は訳無くない」ということは本当だ fact10: もしもこの隘路は訳無くないとすると「母親らしくないがしかし気持ち良い」ということは偽だ fact11: もしこの隘路が親しみ易いならこの白苔は気持ち良くない fact12: この白苔は交絡因子である fact13: この白苔は訳無いとしたら「この隘路は上がり易くない」ということは正しい fact14: 「この白苔は親しみ易くないが着せがましい」ということは誤りだ fact15: もしこの隘路は交絡因子でないとすると「「訳無くないけれど親しみ易い」ということは正しい」ということは事実でない ; $hypothesis$ = 「この隘路は母親らしくないけど気持ち良い」ということは成り立たない ; $proof$ = 
fact4 & fact12 -> int1: 「この白苔は親しみ易くないけれど上がり易い」ということは事実と異なる; int1 & fact9 -> int2: この隘路は訳無くない; int2 & fact10 -> hypothesis; __PROVED__
事実1: 「この白苔は親しみ易くてそれは母親らしい」ということは確かでない
事実2: 「この隘路は生み易いし更に通り難い」ということは誤りである
事実3: 「この白苔は交絡因子でないが母親らしい」ということは誤りである
事実4: もし仮にこの白苔は交絡因子であるとしたら「親しみ易くないしそれにそれは上がり易い」ということは真実でない
事実5: 仮に「この白苔は気持ち良くない一方で訳無い」ということは成り立つということはないなら「この隘路は上がり易くない」ということは成り立つ
事実6: もしもこの白苔は母親らしいなら「親しみ易くないしそれに訳無い」ということは間違いである
事実7: もし「この隘路は気持ち良い」ということは事実だとすれば「それは親しみ易くてそれは母親らしい」ということは成り立たない
事実8: 「この隘路は気持ち良くてまた交絡因子だ」ということは成り立たない
事実9: 仮に「この白苔は親しみ易いということはないがそれは上がり易い」ということは正しくないとしたら「この隘路は訳無くない」ということは本当だ
事実10: もしもこの隘路は訳無くないとすると「母親らしくないがしかし気持ち良い」ということは偽だ
事実11: もしこの隘路が親しみ易いならこの白苔は気持ち良くない
事実12: この白苔は交絡因子である
事実13: この白苔は訳無いとしたら「この隘路は上がり易くない」ということは正しい
事実14: 「この白苔は親しみ易くないが着せがましい」ということは誤りだ
事実15: もしこの隘路は交絡因子でないとすると「「訳無くないけれど親しみ易い」ということは正しい」ということは事実でない

仮説: 「この隘路は母親らしくないけど気持ち良い」ということは成り立たない
1. 事実4と事実12から、推論1: "「この白苔は親しみ易くないけれど上がり易い」ということは事実と異なる"が導かれる
2. 推論1と事実9から、推論2: "この隘路は訳無くない"が導かれる
3. 推論2と事実10から、仮説が導かれる

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