「心置き無いとすればもたもたするということはなくて更に養成しない」モンスターはいる
fact1: もしもとあるモンスターが心置き無いならばそれはもたもたしないしかつそれは養成しない fact2: 利用され易いモンスターはタイトルらしくないしそれに取り組み易くない fact3: 仮にこのまにまえLv.92が心置き無いとすればこのまにまえLv.92は養成しない
fact1 -> int1: このまにまえLv.92が心置き無いとしたらこのまにまえLv.92はもたもたしないし更にそれは養成するということはない; int1 -> hypothesis;
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もしもとあるモンスターが心置き無いならばそれはもたもたしないしかつそれは養成しない fact2: 利用され易いモンスターはタイトルらしくないしそれに取り組み易くない fact3: 仮にこのまにまえLv.92が心置き無いとすればこのまにまえLv.92は養成しない ; $hypothesis$ = 「心置き無いとすればもたもたするということはなくて更に養成しない」モンスターはいる ; $proof$ = 
fact1 -> int1: このまにまえLv.92が心置き無いとしたらこのまにまえLv.92はもたもたしないし更にそれは養成するということはない; int1 -> hypothesis; __PROVED__
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __PROVED__