「あのもにゅもにょLv.75は追い落とすしおまけに勘違いし易い」ということは成り立たない
fact1: もしなにがしかのモンスターが踏み倒すならそれはごっつい fact2: もしもなんらかのモンスターはごっついということはないならば「それは追い落とすしそれは勘違いし易い」ということは間違いだ fact3: 仮に「このみわみにょLv.80はごっつい」ということは嘘でないとすればあのもにゅもにょLv.75はごっつかない fact4: 「ごっつい」モンスターはいる fact5: このまにょまなLv.89は加工し易いしまた勘違いし易い fact6: もしもこのもにゃもゆLv.35は踏み倒すとすると「このみわみにょLv.80は踏み倒す」ということは本当だ
fact4 -> int1: 「ごっつい」モンスターはいる;
fact4 -> int1: (Ex): {A}x;
「あのもにゅもにょLv.75は追い落とすしおまけに勘違いし易い」ということは成り立たない
fact8 -> int2: あのもにゅもにょLv.75はごっつかないなら「あのもにゅもにょLv.75は追い落とすしそれは勘違いし易い」ということは間違いだ; fact7 -> int3: もしこのみわみにょLv.80が踏み倒すとすればそれはごっつい;
$facts$ = fact1: もしなにがしかのモンスターが踏み倒すならそれはごっつい fact2: もしもなんらかのモンスターはごっついということはないならば「それは追い落とすしそれは勘違いし易い」ということは間違いだ fact3: 仮に「このみわみにょLv.80はごっつい」ということは嘘でないとすればあのもにゅもにょLv.75はごっつかない fact4: 「ごっつい」モンスターはいる fact5: このまにょまなLv.89は加工し易いしまた勘違いし易い fact6: もしもこのもにゃもゆLv.35は踏み倒すとすると「このみわみにょLv.80は踏み倒す」ということは本当だ ; $hypothesis$ = 「あのもにゅもにょLv.75は追い落とすしおまけに勘違いし易い」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__