そのみよみちょLv.20は誤解し易い
fact1: もしとあるモンスターが諳んぜないとすれば広がり難いということはなくて誤解し易くない
fact1 -> int1: 仮に「そのみよみちょLv.20は諳んぜない」ということは事実であればそれは広がり難くなくてかつ誤解し易くない;
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa});
$facts$ = fact1: もしとあるモンスターが諳んぜないとすれば広がり難いということはなくて誤解し易くない ; $hypothesis$ = そのみよみちょLv.20は誤解し易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__