「もし仮に「安堵し難いけれど駆け入るということはない」ということは成り立たないならば山菜料理であるということはない」ものはある
fact1: 「何らかのものは出入りし易いがしかしそれは三十人以上だということはない」ということは誤りならばそれは山菜料理でない fact2: 仮に「この未分化は安堵し難い一方で駆け入らない」ということは成り立たないならば「それは山菜料理でない」ということは間違いであるということはない
fact2 -> hypothesis;
もし仮に「あのアガリクスは出入りし易いけれどそれは三十人以上であるということはない」ということは嘘であるとしたらそれは山菜料理でない
fact3 -> hypothesis;
$facts$ = fact1: 「何らかのものは出入りし易いがしかしそれは三十人以上だということはない」ということは誤りならばそれは山菜料理でない fact2: 仮に「この未分化は安堵し難い一方で駆け入らない」ということは成り立たないならば「それは山菜料理でない」ということは間違いであるということはない ; $hypothesis$ = 「もし仮に「安堵し難いけれど駆け入るということはない」ということは成り立たないならば山菜料理であるということはない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「何らかのものは出入りし易いがしかしそれは三十人以上だということはない」ということは誤りならばそれは山菜料理でない
事実2: 仮に「この未分化は安堵し難い一方で駆け入らない」ということは成り立たないならば「それは山菜料理でない」ということは間違いであるということはない

仮説: 「もし仮に「安堵し難いけれど駆け入るということはない」ということは成り立たないならば山菜料理であるということはない」ものはある
1. 事実2から、仮説が導かれる

よって、仮説が証明されました。