その祖先伝承は道徳的意味だし成り易い
fact1: 「その祖先伝承は成り易い」ということは成り立つ fact2: あの御家人は利す fact3: なんらかのものは忍び泣けば「それは白井寿昭厩舎だがしかし第一皇子でない」ということは成り立たない fact4: もし仮に「あるものは白井寿昭厩舎だが第一皇子でない」ということは間違いならばそれは第一皇子である fact5: もしもこの未整理が成り易いということはないとすればしおらしくてさらにそれは道徳的意味でない fact6: もしその祖先伝承が第一皇子ならばそれは忍び泣く fact7: 「その祖先伝承は忍び泣く」ということは成り立つとするとそれは道徳的意味である fact8: その祖先伝承は第一皇子である fact9: 仮に「利す」物があるならその排気効率は忍び泣くししかもそれは目覚ましい
fact6 & fact8 -> int1: その祖先伝承は忍び泣く; int1 & fact7 -> int2: 「その祖先伝承は道徳的意味である」ということは確かである; int2 & fact1 -> hypothesis;
fact6 & fact8 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
この未整理はしおらしいしかつそれは濃い
$facts$ = fact1: 「その祖先伝承は成り易い」ということは成り立つ fact2: あの御家人は利す fact3: なんらかのものは忍び泣けば「それは白井寿昭厩舎だがしかし第一皇子でない」ということは成り立たない fact4: もし仮に「あるものは白井寿昭厩舎だが第一皇子でない」ということは間違いならばそれは第一皇子である fact5: もしもこの未整理が成り易いということはないとすればしおらしくてさらにそれは道徳的意味でない fact6: もしその祖先伝承が第一皇子ならばそれは忍び泣く fact7: 「その祖先伝承は忍び泣く」ということは成り立つとするとそれは道徳的意味である fact8: その祖先伝承は第一皇子である fact9: 仮に「利す」物があるならその排気効率は忍び泣くししかもそれは目覚ましい ; $hypothesis$ = その祖先伝承は道徳的意味だし成り易い ; $proof$ = 
fact6 & fact8 -> int1: その祖先伝承は忍び泣く; int1 & fact7 -> int2: 「その祖先伝承は道徳的意味である」ということは確かである; int2 & fact1 -> hypothesis; __PROVED__
事実1: 「その祖先伝承は成り易い」ということは成り立つ
事実2: あの御家人は利す
事実3: なんらかのものは忍び泣けば「それは白井寿昭厩舎だがしかし第一皇子でない」ということは成り立たない
事実4: もし仮に「あるものは白井寿昭厩舎だが第一皇子でない」ということは間違いならばそれは第一皇子である
事実5: もしもこの未整理が成り易いということはないとすればしおらしくてさらにそれは道徳的意味でない
事実6: もしその祖先伝承が第一皇子ならばそれは忍び泣く
事実7: 「その祖先伝承は忍び泣く」ということは成り立つとするとそれは道徳的意味である
事実8: その祖先伝承は第一皇子である
事実9: 仮に「利す」物があるならその排気効率は忍び泣くししかもそれは目覚ましい

仮説: その祖先伝承は道徳的意味だし成り易い
1. 事実6と事実8から、推論1: "その祖先伝承は忍び泣く"が導かれる
2. 推論1と事実7から、推論2: "「その祖先伝承は道徳的意味である」ということは確かである"が導かれる
3. 推論2と事実1から、仮説が導かれる

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