「仮にこのぷくぷにゅLv.88が慎ましいとしたらそのぴにゅぴにゅLv.92は卑しがしかしそれは注意すらない」ということは成り立たない
fact1: もし仮に「とあるモンスターは慎ましい」ということは成り立てば卑し fact2: このぷくぷにゅLv.88は養い育てるとしたら「コンピュータ化しない」ということは本当だ fact3: 仮にそのぴにゅぴにゅLv.92が卑しとしたらこのぷくぷにゅLv.88は注意す fact4: そのまにゅまよLv.45は慎ましい fact5: そのぴにゅぴにゅLv.92は近寄り難いがしかしし辛くない fact6: もしこのぷくぷにゅLv.88は慎ましいなら「そのぴにゅぴにゅLv.92は卑し」ということは成り立つ
void -> assump1: 以下のように仮定する。このぷくぷにゅLv.88は慎ましい; fact6 & assump1 -> int1: 「そのぴにゅぴにゅLv.92は卑し」ということは偽でない;
void -> assump1: {A}{a}; fact6 & assump1 -> int1: {B}{b};
このぷくぷちゅLv.41は卑し
fact8 -> int2: もしもこのぷくぷちゅLv.41が慎ましいとしたらこのぷくぷちゅLv.41は卑し;
$facts$ = fact1: もし仮に「とあるモンスターは慎ましい」ということは成り立てば卑し fact2: このぷくぷにゅLv.88は養い育てるとしたら「コンピュータ化しない」ということは本当だ fact3: 仮にそのぴにゅぴにゅLv.92が卑しとしたらこのぷくぷにゅLv.88は注意す fact4: そのまにゅまよLv.45は慎ましい fact5: そのぴにゅぴにゅLv.92は近寄り難いがしかしし辛くない fact6: もしこのぷくぷにゅLv.88は慎ましいなら「そのぴにゅぴにゅLv.92は卑し」ということは成り立つ ; $hypothesis$ = 「仮にこのぷくぷにゅLv.88が慎ましいとしたらそのぴにゅぴにゅLv.92は卑しがしかしそれは注意すらない」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__