あのもにゃものLv.13は隠し持つけれど働き易いということはない
fact1: 何らかのモンスターがぎこちないということはないとしたらそれは隠し持つけれど働き易いということはない fact2: あのもにゃものLv.13はぎこちなくない fact3: もしもそのぽちゅぽなLv.37がぎこちなくないならあのぴにょぴにLv.98は久しが掻き乱さない
fact1 -> int1: もしあのもにゃものLv.13がぎこちないということはないとすると隠し持つけれど働き易くない; int1 & fact2 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> hypothesis;
あのぴにょぴにLv.98は久し一方でそれは掻き乱さない
$facts$ = fact1: 何らかのモンスターがぎこちないということはないとしたらそれは隠し持つけれど働き易いということはない fact2: あのもにゃものLv.13はぎこちなくない fact3: もしもそのぽちゅぽなLv.37がぎこちなくないならあのぴにょぴにLv.98は久しが掻き乱さない ; $hypothesis$ = あのもにゃものLv.13は隠し持つけれど働き易いということはない ; $proof$ = 
fact1 -> int1: もしあのもにゃものLv.13がぎこちないということはないとすると隠し持つけれど働き易くない; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> hypothesis; __PROVED__