「この名門中は振り洗いする」ということは成り立つ
fact1: この名門中は寄贈するしそれに母親らしい fact2: この骨頂は合わせ易い fact3: もしもとあるものが駆け下りないなら合わせ易いかあるいはそれは母親らしいかもしくは両方ともである fact4: この名門中は寄贈する fact5: その対等数値は駆け下りない fact6: この名門中が母親らしいし加えてそれは合わせ易いならば「それは振り洗いしない」ということは確かだ fact7: この名門中は合わせ易い
fact1 -> int1: この名門中は母親らしい; int1 & fact7 -> int2: この名門中は母親らしいし更にそれは合わせ易い; int2 & fact6 -> hypothesis;
この名門中は振り洗いする
fact8 -> int3: もしその対等数値が駆け下りないとしたらそれは合わせ易いかまたは母親らしい; int3 & fact9 -> int4: その対等数値は合わせ易いかもしくは母親らしいかあるいはどちらもである;
$facts$ = fact1: この名門中は寄贈するしそれに母親らしい fact2: この骨頂は合わせ易い fact3: もしもとあるものが駆け下りないなら合わせ易いかあるいはそれは母親らしいかもしくは両方ともである fact4: この名門中は寄贈する fact5: その対等数値は駆け下りない fact6: この名門中が母親らしいし加えてそれは合わせ易いならば「それは振り洗いしない」ということは確かだ fact7: この名門中は合わせ易い ; $hypothesis$ = 「この名門中は振り洗いする」ということは成り立つ ; $proof$ = 
fact1 -> int1: この名門中は母親らしい; int1 & fact7 -> int2: この名門中は母親らしいし更にそれは合わせ易い; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: この名門中は寄贈するしそれに母親らしい
事実2: この骨頂は合わせ易い
事実3: もしもとあるものが駆け下りないなら合わせ易いかあるいはそれは母親らしいかもしくは両方ともである
事実4: この名門中は寄贈する
事実5: その対等数値は駆け下りない
事実6: この名門中が母親らしいし加えてそれは合わせ易いならば「それは振り洗いしない」ということは確かだ
事実7: この名門中は合わせ易い

仮説: 「この名門中は振り洗いする」ということは成り立つ
1. 事実1から、推論1: "この名門中は母親らしい"が導かれる
2. 推論1と事実7から、推論2: "この名門中は母親らしいし更にそれは合わせ易い"が導かれる
3. 推論2と事実6から、仮説が否定される

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