「「「動揺し易くないしそれにくどくない」ということは誤りであるとしたら当たり始める」物はある」ということは成り立たない
fact1: 「「動揺し易くないしおまけにくどい」ということは嘘であるとすると当たり始める」物はある fact2: 「その予定数量が動揺し易くないしくどくないとするとその予定数量は当たり始める」ということは成り立つ fact3: 「動揺し易くないしくどくないなら「当たり始める」ということは成り立つ」物はある fact4: 「もしくどいとしたら当たり始める」物はある fact5: 「もしも動揺し易いとしたら当たり始める」物はある fact6: 仮に「その予定数量は動揺し易いがしかしくどくない」ということは事実と異なるならそれは当たり始める fact7: 「もしも「動揺し易いしそれにくどいということはない」ということは成り立たないなら当たり始める」ものはある fact8: 仮に「「その予定数量は動揺し易いということはなくて更にそれはくどくない」ということは間違っている」ということは成り立つとすると当たり始める fact9: 仮にその予定数量がくどいとするとそれは当たり始める fact10: 「もし仮に「買い付けないし驚愕でない」ということは偽ならば付け易い」ものはある
fact8 -> hypothesis;
fact8 -> hypothesis;
$facts$ = fact1: 「「動揺し易くないしおまけにくどい」ということは嘘であるとすると当たり始める」物はある fact2: 「その予定数量が動揺し易くないしくどくないとするとその予定数量は当たり始める」ということは成り立つ fact3: 「動揺し易くないしくどくないなら「当たり始める」ということは成り立つ」物はある fact4: 「もしくどいとしたら当たり始める」物はある fact5: 「もしも動揺し易いとしたら当たり始める」物はある fact6: 仮に「その予定数量は動揺し易いがしかしくどくない」ということは事実と異なるならそれは当たり始める fact7: 「もしも「動揺し易いしそれにくどいということはない」ということは成り立たないなら当たり始める」ものはある fact8: 仮に「「その予定数量は動揺し易いということはなくて更にそれはくどくない」ということは間違っている」ということは成り立つとすると当たり始める fact9: 仮にその予定数量がくどいとするとそれは当たり始める fact10: 「もし仮に「買い付けないし驚愕でない」ということは偽ならば付け易い」ものはある ; $hypothesis$ = 「「「動揺し易くないしそれにくどくない」ということは誤りであるとしたら当たり始める」物はある」ということは成り立たない ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: 「「動揺し易くないしおまけにくどい」ということは嘘であるとすると当たり始める」物はある
事実2: 「その予定数量が動揺し易くないしくどくないとするとその予定数量は当たり始める」ということは成り立つ
事実3: 「動揺し易くないしくどくないなら「当たり始める」ということは成り立つ」物はある
事実4: 「もしくどいとしたら当たり始める」物はある
事実5: 「もしも動揺し易いとしたら当たり始める」物はある
事実6: 仮に「その予定数量は動揺し易いがしかしくどくない」ということは事実と異なるならそれは当たり始める
事実7: 「もしも「動揺し易いしそれにくどいということはない」ということは成り立たないなら当たり始める」ものはある
事実8: 仮に「「その予定数量は動揺し易いということはなくて更にそれはくどくない」ということは間違っている」ということは成り立つとすると当たり始める
事実9: 仮にその予定数量がくどいとするとそれは当たり始める
事実10: 「もし仮に「買い付けないし驚愕でない」ということは偽ならば付け易い」ものはある

仮説: 「「「動揺し易くないしそれにくどくない」ということは誤りであるとしたら当たり始める」物はある」ということは成り立たない
1. 事実8から、仮説が否定される

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