「あの装飾音は煙たがらないしさらに普選運動でない」ということは成り立たない
fact1: 武者はしつっこくない fact2: 好ましいものは煙たがらない fact3: その汚名は書き易い fact4: 「その汚名は煙たがらない」ということは確かであるとするとあの装飾音は煙たがるということはないし加えて普選運動でない fact5: その汚名はぎこちなくないけれどそれは書き易い fact6: あの装飾音は普選運動でなくてそれは好ましくない fact7: もし仮にその汚名はぎこちないということはない一方で書き易いならば好ましい
fact7 & fact5 -> int1: その汚名は好ましい; fact2 -> int2: もし仮にその汚名が好ましいとしたら煙たがらない; int1 & int2 -> int3: その汚名は煙たがらない; int3 & fact4 -> hypothesis;
$facts$ = fact1: 武者はしつっこくない fact2: 好ましいものは煙たがらない fact3: その汚名は書き易い fact4: 「その汚名は煙たがらない」ということは確かであるとするとあの装飾音は煙たがるということはないし加えて普選運動でない fact5: その汚名はぎこちなくないけれどそれは書き易い fact6: あの装飾音は普選運動でなくてそれは好ましくない fact7: もし仮にその汚名はぎこちないということはない一方で書き易いならば好ましい ; $hypothesis$ = 「あの装飾音は煙たがらないしさらに普選運動でない」ということは成り立たない ; $proof$ = 
fact7 & fact5 -> int1: その汚名は好ましい; fact2 -> int2: もし仮にその汚名が好ましいとしたら煙たがらない; int1 & int2 -> int3: その汚名は煙たがらない; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: 武者はしつっこくない
事実2: 好ましいものは煙たがらない
事実3: その汚名は書き易い
事実4: 「その汚名は煙たがらない」ということは確かであるとするとあの装飾音は煙たがるということはないし加えて普選運動でない
事実5: その汚名はぎこちなくないけれどそれは書き易い
事実6: あの装飾音は普選運動でなくてそれは好ましくない
事実7: もし仮にその汚名はぎこちないということはない一方で書き易いならば好ましい

仮説: 「あの装飾音は煙たがらないしさらに普選運動でない」ということは成り立たない
1. 事実7と事実5から、推論1: "その汚名は好ましい"が導かれる
2. 事実2から、推論2: "もし仮にその汚名が好ましいとしたら煙たがらない"が導かれる
3. 推論1と推論2から、推論3: "その汚名は煙たがらない"が導かれる
4. 推論3と事実4から、仮説が否定される

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