「この旧文言は胡桃材でないが殺生勝手である」ということは成り立たない
fact1: この旧文言は胡桃材でない fact2: この旧文言は考え易くないけれど付き合い切れる fact3: あの女の子同士は睦まじくないけれど胡桃材である fact4: この旧文言は殺生勝手だ
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
$facts$ = fact1: この旧文言は胡桃材でない fact2: この旧文言は考え易くないけれど付き合い切れる fact3: あの女の子同士は睦まじくないけれど胡桃材である fact4: この旧文言は殺生勝手だ ; $hypothesis$ = 「この旧文言は胡桃材でないが殺生勝手である」ということは成り立たない ; $proof$ = 
fact1 & fact4 -> hypothesis; __DISPROVED__
事実1: この旧文言は胡桃材でない
事実2: この旧文言は考え易くないけれど付き合い切れる
事実3: あの女の子同士は睦まじくないけれど胡桃材である
事実4: この旧文言は殺生勝手だ

仮説: 「この旧文言は胡桃材でないが殺生勝手である」ということは成り立たない
1. 事実1と事実4から、仮説が否定される

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