「もし「その跡目争いは登山家らしくないか不味さでないかもしくは両方ともだ」ということは真実でないとするとその跡目争いは淀み無い」ということは偽である
fact1: 仮に「あるものは登山家らしくないかもしくはそれは不味さでないかもしくは両方である」ということは真実でないならば淀み無い fact2: なにがしかのものが登山家らしくないかあるいはそれは不味さでないかもしくは両方ならば淀み無い fact3: もし「その跡目争いは登山家らしくないかあるいは不味さでない」ということは確かであるならばそれは淀み無い fact4: 「その跡目争いは登山家らしくないかそれは不味さであるかどちらもだ」ということは成り立たないならそれは淀み無い fact5: 「あのアクション・旅行は登山家らしいかもしくは優れ者でないかあるいはどちらもだ」ということは間違っているとすれば一掃百態図である
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 仮に「あるものは登山家らしくないかもしくはそれは不味さでないかもしくは両方である」ということは真実でないならば淀み無い fact2: なにがしかのものが登山家らしくないかあるいはそれは不味さでないかもしくは両方ならば淀み無い fact3: もし「その跡目争いは登山家らしくないかあるいは不味さでない」ということは確かであるならばそれは淀み無い fact4: 「その跡目争いは登山家らしくないかそれは不味さであるかどちらもだ」ということは成り立たないならそれは淀み無い fact5: 「あのアクション・旅行は登山家らしいかもしくは優れ者でないかあるいはどちらもだ」ということは間違っているとすれば一掃百態図である ; $hypothesis$ = 「もし「その跡目争いは登山家らしくないか不味さでないかもしくは両方ともだ」ということは真実でないとするとその跡目争いは淀み無い」ということは偽である ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 仮に「あるものは登山家らしくないかもしくはそれは不味さでないかもしくは両方である」ということは真実でないならば淀み無い
事実2: なにがしかのものが登山家らしくないかあるいはそれは不味さでないかもしくは両方ならば淀み無い
事実3: もし「その跡目争いは登山家らしくないかあるいは不味さでない」ということは確かであるならばそれは淀み無い
事実4: 「その跡目争いは登山家らしくないかそれは不味さであるかどちらもだ」ということは成り立たないならそれは淀み無い
事実5: 「あのアクション・旅行は登山家らしいかもしくは優れ者でないかあるいはどちらもだ」ということは間違っているとすれば一掃百態図である

仮説: 「もし「その跡目争いは登山家らしくないか不味さでないかもしくは両方ともだ」ということは真実でないとするとその跡目争いは淀み無い」ということは偽である
1. 事実1から、仮説が否定される

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