あのぷちゃぷわLv.38はちっこくない
fact1: もし仮にあのぷちゃぷわLv.38が模倣出来るししかも騒がしいとしたらあのぷちゃぷわLv.38はちっこくない fact2: あのぽやぽよLv.44はちっこい fact3: もしもあのぷにゅぷちょLv.65がえぐいとしたらあのぷちゃぷわLv.38は模倣出来る fact4: 「あのぷにゅぷちょLv.65はえぐくない」ということは偽である fact5: あのぷにゅぷちょLv.65は騒がしい
fact3 & fact4 -> int1: あのぷちゃぷわLv.38は模倣出来る;
fact3 & fact4 -> int1: {B}{b};
$facts$ = fact1: もし仮にあのぷちゃぷわLv.38が模倣出来るししかも騒がしいとしたらあのぷちゃぷわLv.38はちっこくない fact2: あのぽやぽよLv.44はちっこい fact3: もしもあのぷにゅぷちょLv.65がえぐいとしたらあのぷちゃぷわLv.38は模倣出来る fact4: 「あのぷにゅぷちょLv.65はえぐくない」ということは偽である fact5: あのぷにゅぷちょLv.65は騒がしい ; $hypothesis$ = あのぷちゃぷわLv.38はちっこくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__