この山歩きは示し易くない
fact1: 「この山歩きは夜陰でない」ということは正しい fact2: この裏情報は出題する fact3: その一パーセント程度は出題しない fact4: 仮にこの域外は煮立てないとすれば「この山歩きはトンネル手前でないけれど余所余所しい」ということは間違いである fact5: 仮に「この山歩きはトンネル手前でないけど余所余所しい」ということは成り立たないとするとその敵戦列は示し易い fact6: 示し易い物は過剰汎化だけど出題しない fact7: 「この山歩きは出題するということはない」ということは成り立つ fact8: この山歩きは示し易い一方で出題するということはない
fact8 -> hypothesis;
fact8 -> hypothesis;
その敵戦列は過剰汎化だけれど出題しない
fact11 -> int1: もしその敵戦列が示し易いとすれば過剰汎化であるしその上出題しない;
$facts$ = fact1: 「この山歩きは夜陰でない」ということは正しい fact2: この裏情報は出題する fact3: その一パーセント程度は出題しない fact4: 仮にこの域外は煮立てないとすれば「この山歩きはトンネル手前でないけれど余所余所しい」ということは間違いである fact5: 仮に「この山歩きはトンネル手前でないけど余所余所しい」ということは成り立たないとするとその敵戦列は示し易い fact6: 示し易い物は過剰汎化だけど出題しない fact7: 「この山歩きは出題するということはない」ということは成り立つ fact8: この山歩きは示し易い一方で出題するということはない ; $hypothesis$ = この山歩きは示し易くない ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: 「この山歩きは夜陰でない」ということは正しい
事実2: この裏情報は出題する
事実3: その一パーセント程度は出題しない
事実4: 仮にこの域外は煮立てないとすれば「この山歩きはトンネル手前でないけれど余所余所しい」ということは間違いである
事実5: 仮に「この山歩きはトンネル手前でないけど余所余所しい」ということは成り立たないとするとその敵戦列は示し易い
事実6: 示し易い物は過剰汎化だけど出題しない
事実7: 「この山歩きは出題するということはない」ということは成り立つ
事実8: この山歩きは示し易い一方で出題するということはない

仮説: この山歩きは示し易くない
1. 事実8から、仮説が否定される

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