そのみゆみなLv.26は鑑賞し易くないし流れ易くない
fact1: もし仮に鑑賞し易いモンスターがいるとしたらそのみゆみなLv.26は流れ易くない fact2: そのみちゃみにゅLv.76は流れ易くない fact3: もし仮にあるモンスターが遠しならそのみゆみなLv.26は鑑賞し易くなくて加えて流れ易くない fact4: 「「遠し」モンスターはいる」ということは事実だ
fact4 -> int1: 「「遠し」モンスターはいる」ということは事実だ; int1 & fact3 -> hypothesis;
fact4 -> int1: (Ex): {A}x; int1 & fact3 -> hypothesis;
$facts$ = fact1: もし仮に鑑賞し易いモンスターがいるとしたらそのみゆみなLv.26は流れ易くない fact2: そのみちゃみにゅLv.76は流れ易くない fact3: もし仮にあるモンスターが遠しならそのみゆみなLv.26は鑑賞し易くなくて加えて流れ易くない fact4: 「「遠し」モンスターはいる」ということは事実だ ; $hypothesis$ = そのみゆみなLv.26は鑑賞し易くないし流れ易くない ; $proof$ = 
fact4 -> int1: 「「遠し」モンスターはいる」ということは事実だ; int1 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: (Ex): {A}x; int1 & fact3 -> hypothesis; __PROVED__