あのまなまえLv.65は拙い
fact1: あのまねまよLv.11は臭くてそれは御喋る fact2: あのぽくぽにゅLv.73は御喋る fact3: あのまねまよLv.11が臭いならばあのぽくぽにゅLv.73は奔走する fact4: あのぽくぽにゅLv.73が奔走するとしたらそのぷにゅぷのLv.25は潔し fact5: 仮にそのぷにゅぷのLv.25が潔しならばそのぷなぷわLv.40は擁立する
fact1 -> int1: あのまねまよLv.11は臭い; int1 & fact3 -> int2: あのぽくぽにゅLv.73は奔走する; int2 & fact4 -> int3: 「そのぷにゅぷのLv.25は潔しない」ということは間違いである; int3 & fact5 -> int4: そのぷなぷわLv.40は擁立する;
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{c}; int3 & fact5 -> int4: {E}{d};
$facts$ = fact1: あのまねまよLv.11は臭くてそれは御喋る fact2: あのぽくぽにゅLv.73は御喋る fact3: あのまねまよLv.11が臭いならばあのぽくぽにゅLv.73は奔走する fact4: あのぽくぽにゅLv.73が奔走するとしたらそのぷにゅぷのLv.25は潔し fact5: 仮にそのぷにゅぷのLv.25が潔しならばそのぷなぷわLv.40は擁立する ; $hypothesis$ = あのまなまえLv.65は拙い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__