そのもにゃもねLv.18は素早くない
fact1: 仮にあのぴゆぴゆLv.81が呼び出すとすれば卑しい fact2: もしあのぴゆぴゆLv.81が卑しくてすんごいとするとそのもにゃもねLv.18は素早くない fact3: 仮に「あのもにゅもくLv.70は及び難くない」ということは成り立つとすればあのぴゆぴゆLv.81は研究出来るということはないが宿営する fact4: とあるモンスターが研究出来ないならすんごいし卑しい fact5: あのぴゆぴゆLv.81は呼び出す fact6: 「卑しいモンスターは呼び出す」ということは真実だ fact7: 「もしあのぴゆぴゆLv.81が研究出来ないが宿営するとするとそのもにゃもねLv.18は研究出来ない」ということは嘘であるということはない fact8: もしなんらかのモンスターが呼び出すとすれば素早い
fact1 & fact5 -> int1: 「あのぴゆぴゆLv.81は卑しい」ということは正しい;
fact1 & fact5 -> int1: {B}{a};
そのもにゃもねLv.18は素早い
fact11 -> int2: 仮にそのもにゃもねLv.18が呼び出すとするとそのもにゃもねLv.18は素早い; fact10 -> int3: もしもそのもにゃもねLv.18が卑しいとするとそのもにゃもねLv.18は呼び出す; fact12 -> int4: そのもにゃもねLv.18が研究出来ないならそのもにゃもねLv.18はすんごいしかつ卑しい;
$facts$ = fact1: 仮にあのぴゆぴゆLv.81が呼び出すとすれば卑しい fact2: もしあのぴゆぴゆLv.81が卑しくてすんごいとするとそのもにゃもねLv.18は素早くない fact3: 仮に「あのもにゅもくLv.70は及び難くない」ということは成り立つとすればあのぴゆぴゆLv.81は研究出来るということはないが宿営する fact4: とあるモンスターが研究出来ないならすんごいし卑しい fact5: あのぴゆぴゆLv.81は呼び出す fact6: 「卑しいモンスターは呼び出す」ということは真実だ fact7: 「もしあのぴゆぴゆLv.81が研究出来ないが宿営するとするとそのもにゃもねLv.18は研究出来ない」ということは嘘であるということはない fact8: もしなんらかのモンスターが呼び出すとすれば素早い ; $hypothesis$ = そのもにゃもねLv.18は素早くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__