そのぷちゃぷにゃLv.24は許し難くない
fact1: 「関知しない」モンスターはいる fact2: 「全てのモンスターは左右され易いということはないしその上関知しない」ということは確かだ fact3: そのぽくぽわLv.60は関知しない fact4: もしもそのぷちゃぷにゃLv.24が関知しなくて左右され易いということはないならそのまにょまちゅLv.36は許し難くない fact5: もしも左右され易くないモンスターであって更に関知しないモンスターがいるとすればそのぷちゃぷにゃLv.24は許し難くない fact6: あらゆるモンスターは関知しない
fact2 -> int1: そのみなみにょLv.12は左右され易くなくてかつ関知しない; int1 -> int2: なんらかのモンスターは左右され易くないしまた関知しない; int2 & fact5 -> hypothesis;
fact2 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 -> int2: (Ex): (¬{A}x & ¬{B}x); int2 & fact5 -> hypothesis;
そのまにょまちゅLv.36は許し難くない
$facts$ = fact1: 「関知しない」モンスターはいる fact2: 「全てのモンスターは左右され易いということはないしその上関知しない」ということは確かだ fact3: そのぽくぽわLv.60は関知しない fact4: もしもそのぷちゃぷにゃLv.24が関知しなくて左右され易いということはないならそのまにょまちゅLv.36は許し難くない fact5: もしも左右され易くないモンスターであって更に関知しないモンスターがいるとすればそのぷちゃぷにゃLv.24は許し難くない fact6: あらゆるモンスターは関知しない ; $hypothesis$ = そのぷちゃぷにゃLv.24は許し難くない ; $proof$ = 
fact2 -> int1: そのみなみにょLv.12は左右され易くなくてかつ関知しない; int1 -> int2: なんらかのモンスターは左右され易くないしまた関知しない; int2 & fact5 -> hypothesis; __PROVED__
fact2 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 -> int2: (Ex): (¬{A}x & ¬{B}x); int2 & fact5 -> hypothesis; __PROVED__