「もし仮にこの鞭打ち刑は生み難くないとしたら「この鞭打ち刑は欲すない」ということは事実である」ということは成り立たない
fact1: もし仮にこの鞭打ち刑が生み難くないならば吝い fact2: もしもそのゾーンプレスが誤るとしたらそれは欲すない fact3: もしなにがしかの物が難し過ぎるということはないとしたらそれは総合病院でない fact4: 生み難いものは欲すない fact5: もしもある物は置き忘れるということはないとすれば「それは説き聞かせらない」ということは真実である fact6: 仮にこの鞭打ち刑は欲すとすれば「元勲でない」ということは成り立つ fact7: 「生み難いということはないものは欲すということはない」ということは成り立つ fact8: もし仮にこの鞭打ち刑は生み難くないとすれば「トロピカルでない」ということは成り立たない fact9: 仮にこの鞭打ち刑が生み難いならばそれは欲すない fact10: もし仮に何らかのものが臆しないとしたら漸減する fact11: もし仮にこの鞭打ち刑が立て込まないとすればそれは反映され易いということはない fact12: 仮にこの鞭打ち刑が騎乗しないならそれは独り立ちしない fact13: もし何かは生み難くないならそれは欲す fact14: もしもこの鞭打ち刑が生み難くないとしたら欲す fact15: もしなにがしかのものは存在すらないとすると「地租でない」ということは事実である fact16: 流れ易くないものは嬉しくない fact17: もしあの僭主が騎乗しないとすると多しない
fact7 -> hypothesis;
fact7 -> hypothesis;
$facts$ = fact1: もし仮にこの鞭打ち刑が生み難くないならば吝い fact2: もしもそのゾーンプレスが誤るとしたらそれは欲すない fact3: もしなにがしかの物が難し過ぎるということはないとしたらそれは総合病院でない fact4: 生み難いものは欲すない fact5: もしもある物は置き忘れるということはないとすれば「それは説き聞かせらない」ということは真実である fact6: 仮にこの鞭打ち刑は欲すとすれば「元勲でない」ということは成り立つ fact7: 「生み難いということはないものは欲すということはない」ということは成り立つ fact8: もし仮にこの鞭打ち刑は生み難くないとすれば「トロピカルでない」ということは成り立たない fact9: 仮にこの鞭打ち刑が生み難いならばそれは欲すない fact10: もし仮に何らかのものが臆しないとしたら漸減する fact11: もし仮にこの鞭打ち刑が立て込まないとすればそれは反映され易いということはない fact12: 仮にこの鞭打ち刑が騎乗しないならそれは独り立ちしない fact13: もし何かは生み難くないならそれは欲す fact14: もしもこの鞭打ち刑が生み難くないとしたら欲す fact15: もしなにがしかのものは存在すらないとすると「地租でない」ということは事実である fact16: 流れ易くないものは嬉しくない fact17: もしあの僭主が騎乗しないとすると多しない ; $hypothesis$ = 「もし仮にこの鞭打ち刑は生み難くないとしたら「この鞭打ち刑は欲すない」ということは事実である」ということは成り立たない ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: もし仮にこの鞭打ち刑が生み難くないならば吝い
事実2: もしもそのゾーンプレスが誤るとしたらそれは欲すない
事実3: もしなにがしかの物が難し過ぎるということはないとしたらそれは総合病院でない
事実4: 生み難いものは欲すない
事実5: もしもある物は置き忘れるということはないとすれば「それは説き聞かせらない」ということは真実である
事実6: 仮にこの鞭打ち刑は欲すとすれば「元勲でない」ということは成り立つ
事実7: 「生み難いということはないものは欲すということはない」ということは成り立つ
事実8: もし仮にこの鞭打ち刑は生み難くないとすれば「トロピカルでない」ということは成り立たない
事実9: 仮にこの鞭打ち刑が生み難いならばそれは欲すない
事実10: もし仮に何らかのものが臆しないとしたら漸減する
事実11: もし仮にこの鞭打ち刑が立て込まないとすればそれは反映され易いということはない
事実12: 仮にこの鞭打ち刑が騎乗しないならそれは独り立ちしない
事実13: もし何かは生み難くないならそれは欲す
事実14: もしもこの鞭打ち刑が生み難くないとしたら欲す
事実15: もしなにがしかのものは存在すらないとすると「地租でない」ということは事実である
事実16: 流れ易くないものは嬉しくない
事実17: もしあの僭主が騎乗しないとすると多しない

仮説: 「もし仮にこの鞭打ち刑は生み難くないとしたら「この鞭打ち刑は欲すない」ということは事実である」ということは成り立たない
1. 事実7から、仮説が否定される

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