あのぴちゅぴよLv.3は否めるし加えてそれは木目細かい
fact1: そのぴえぴよLv.64は図り難い fact2: このまのまちゃLv.7は木目細かい fact3: もし仮にそのぴえぴよLv.64が狭しならそのぴえぴよLv.64は敢え無い fact4: もし仮にそのぴえぴよLv.64が口煩いとするとそれは狭し fact5: あのぴちゅぴよLv.3は否める fact6: そのぴえぴよLv.64は口煩くてそれは図り難い
fact6 -> int1: そのぴえぴよLv.64は口煩い; int1 & fact4 -> int2: そのぴえぴよLv.64は狭し; int2 & fact3 -> int3: そのぴえぴよLv.64は敢え無い;
fact6 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact3 -> int3: {D}{a};
$facts$ = fact1: そのぴえぴよLv.64は図り難い fact2: このまのまちゃLv.7は木目細かい fact3: もし仮にそのぴえぴよLv.64が狭しならそのぴえぴよLv.64は敢え無い fact4: もし仮にそのぴえぴよLv.64が口煩いとするとそれは狭し fact5: あのぴちゅぴよLv.3は否める fact6: そのぴえぴよLv.64は口煩くてそれは図り難い ; $hypothesis$ = あのぴちゅぴよLv.3は否めるし加えてそれは木目細かい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__