あのみのみゆLv.15は俯瞰出来る
fact1: もしも「「物言うしかつ行い易い」ということは嘘である」モンスターがいるとすればあのみのみゆLv.15は俯瞰出来ない fact2: もしもそのみいみいLv.75は理解し易くないとすれば「それは物言うししかも行い易い」ということは嘘だ fact3: ぼろくないモンスターは俯瞰出来るしその上理解し易い fact4: 仮に「ぼろくない」モンスターがいるとするとそのみいみいLv.75は行い易くない
あのみのみゆLv.15は俯瞰出来る
fact5 -> int1: もしもあのみのみゆLv.15がぼろくないならば俯瞰出来るしその上それは理解し易い;
$facts$ = fact1: もしも「「物言うしかつ行い易い」ということは嘘である」モンスターがいるとすればあのみのみゆLv.15は俯瞰出来ない fact2: もしもそのみいみいLv.75は理解し易くないとすれば「それは物言うししかも行い易い」ということは嘘だ fact3: ぼろくないモンスターは俯瞰出来るしその上理解し易い fact4: 仮に「ぼろくない」モンスターがいるとするとそのみいみいLv.75は行い易くない ; $hypothesis$ = あのみのみゆLv.15は俯瞰出来る ; $proof$ = 
__UNKNOWN__
__UNKNOWN__