このゴール前は変化し易い
fact1: もし仮にこの喇叭が頑張り過ぎなくてその上検査所見でないとするとこのゴール前は変化し易くない fact2: もし仮にこの対照が幕下でないとするとこの喇叭は幕下でない fact3: この対照は幕下でない fact4: もしこの喇叭は幕下でないなら「見難いしかつそれは仕立てない」ということは誤っている fact5: 「この喇叭は寄り合うし加えてそれは名調子である」ということは間違っている fact6: もしも「この喇叭は見難いけど仕立てない」ということは嘘であるならばそれは検査所見でない fact7: もし仮に何かは頑張り過ぎるとすれば変化し易い fact8: もし「この喇叭は寄り合うし名調子だ」ということは確かでないとしたら「名調子である」ということは間違っている fact9: もしこの喇叭が頑張り過ぎるとすればそれは名調子だ
void -> assump1: 以下のように仮定する。この喇叭は頑張り過ぎる; fact9 & assump1 -> int1: この喇叭は名調子だ; fact8 & fact5 -> int2: この喇叭は名調子でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この喇叭は頑張り過ぎるということはない; fact3 & fact2 -> int5: この喇叭は幕下でない; int5 & fact4 -> int6: 「この喇叭は見難い一方で仕立てない」ということは成り立たない; fact6 & int6 -> int7: 「この喇叭は検査所見でない」ということは本当だ; int4 & int7 -> int8: この喇叭は頑張り過ぎないしさらに検査所見でない; int8 & fact1 -> hypothesis;
このゴール前は変化し易い
fact10 -> int9: もし仮にこのゴール前が頑張り過ぎるとすればそれは変化し易い;
$facts$ = fact1: もし仮にこの喇叭が頑張り過ぎなくてその上検査所見でないとするとこのゴール前は変化し易くない fact2: もし仮にこの対照が幕下でないとするとこの喇叭は幕下でない fact3: この対照は幕下でない fact4: もしこの喇叭は幕下でないなら「見難いしかつそれは仕立てない」ということは誤っている fact5: 「この喇叭は寄り合うし加えてそれは名調子である」ということは間違っている fact6: もしも「この喇叭は見難いけど仕立てない」ということは嘘であるならばそれは検査所見でない fact7: もし仮に何かは頑張り過ぎるとすれば変化し易い fact8: もし「この喇叭は寄り合うし名調子だ」ということは確かでないとしたら「名調子である」ということは間違っている fact9: もしこの喇叭が頑張り過ぎるとすればそれは名調子だ ; $hypothesis$ = このゴール前は変化し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。この喇叭は頑張り過ぎる; fact9 & assump1 -> int1: この喇叭は名調子だ; fact8 & fact5 -> int2: この喇叭は名調子でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この喇叭は頑張り過ぎるということはない; fact3 & fact2 -> int5: この喇叭は幕下でない; int5 & fact4 -> int6: 「この喇叭は見難い一方で仕立てない」ということは成り立たない; fact6 & int6 -> int7: 「この喇叭は検査所見でない」ということは本当だ; int4 & int7 -> int8: この喇叭は頑張り過ぎないしさらに検査所見でない; int8 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にこの喇叭が頑張り過ぎなくてその上検査所見でないとするとこのゴール前は変化し易くない
事実2: もし仮にこの対照が幕下でないとするとこの喇叭は幕下でない
事実3: この対照は幕下でない
事実4: もしこの喇叭は幕下でないなら「見難いしかつそれは仕立てない」ということは誤っている
事実5: 「この喇叭は寄り合うし加えてそれは名調子である」ということは間違っている
事実6: もしも「この喇叭は見難いけど仕立てない」ということは嘘であるならばそれは検査所見でない
事実7: もし仮に何かは頑張り過ぎるとすれば変化し易い
事実8: もし「この喇叭は寄り合うし名調子だ」ということは確かでないとしたら「名調子である」ということは間違っている
事実9: もしこの喇叭が頑張り過ぎるとすればそれは名調子だ

仮説: このゴール前は変化し易い
1. 仮定1: 以下のように仮定する。この喇叭は頑張り過ぎる
2. 事実9と仮定1から、推論1: "この喇叭は名調子だ"が導かれる
3. 事実8と事実5から、推論2: "この喇叭は名調子でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この喇叭は頑張り過ぎるということはない"が導かれる
6. 事実3と事実2から、推論5: "この喇叭は幕下でない"が導かれる
7. 推論5と事実4から、推論6: "「この喇叭は見難い一方で仕立てない」ということは成り立たない"が導かれる
8. 事実6と推論6から、推論7: "「この喇叭は検査所見でない」ということは本当だ"が導かれる
9. 推論4と推論7から、推論8: "この喇叭は頑張り過ぎないしさらに検査所見でない"が導かれる
10. 推論8と事実1から、仮説が否定される

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