「「「管理し易いということはないかまたは馴れ馴れしい」ということは事実と異なる」モンスターはいる」ということは嘘である
fact1: 馴れ馴れしくないモンスターはいる fact2: あのもにもちゅLv.33は馴れ馴れしくない fact3: すべてのモンスターは馴れ馴れしくない fact4: 管理し易くないか馴れ馴れしいかまたはどちらもであるモンスターはない
fact4 -> int1: 「あのもにもちゅLv.33は管理し易いということはないかまたはそれは馴れ馴れしい」ということは嘘だ; int1 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} v {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 馴れ馴れしくないモンスターはいる fact2: あのもにもちゅLv.33は馴れ馴れしくない fact3: すべてのモンスターは馴れ馴れしくない fact4: 管理し易くないか馴れ馴れしいかまたはどちらもであるモンスターはない ; $hypothesis$ = 「「「管理し易いということはないかまたは馴れ馴れしい」ということは事実と異なる」モンスターはいる」ということは嘘である ; $proof$ = 
fact4 -> int1: 「あのもにもちゅLv.33は管理し易いということはないかまたはそれは馴れ馴れしい」ということは嘘だ; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: ¬(¬{AA}{aa} v {AB}{aa}); int1 -> hypothesis; __DISPROVED__