「もしも「悩ましいしさらに初々しくない」ということは間違いだとするとアプローチし易い」モンスターはいる
fact1: 「もし仮に調べ上げるし薄汚くないならば堪り易い」モンスターはいる fact2: 仮に「なにがしかのモンスターは取り混ぜるけれど落ち易くない」ということは成り立つということはないとするとそれは野暮ったい fact3: 仮に「このもなもにょLv.82は悩ましいけれど初々しくない」ということは事実でないとすればこのもなもにょLv.82はアプローチし易い fact4: 「もし仮に悩ましくないならばアプローチし易い」モンスターはいる fact5: 「もし仮に「悩ましいしかつ初々しい」ということは間違いならばアプローチし易い」モンスターはいる
fact3 -> hypothesis;
fact3 -> hypothesis;
仮に「そのぽちゅぽにゅLv.54は取り混ぜるけれど落ち易くない」ということは誤りならば野暮ったい
fact6 -> hypothesis;
$facts$ = fact1: 「もし仮に調べ上げるし薄汚くないならば堪り易い」モンスターはいる fact2: 仮に「なにがしかのモンスターは取り混ぜるけれど落ち易くない」ということは成り立つということはないとするとそれは野暮ったい fact3: 仮に「このもなもにょLv.82は悩ましいけれど初々しくない」ということは事実でないとすればこのもなもにょLv.82はアプローチし易い fact4: 「もし仮に悩ましくないならばアプローチし易い」モンスターはいる fact5: 「もし仮に「悩ましいしかつ初々しい」ということは間違いならばアプローチし易い」モンスターはいる ; $hypothesis$ = 「もしも「悩ましいしさらに初々しくない」ということは間違いだとするとアプローチし易い」モンスターはいる ; $proof$ = 
fact3 -> hypothesis; __PROVED__
fact3 -> hypothesis; __PROVED__