あのぽえぽくLv.18は美しない
fact1: もし仮にそのぷゆぷよLv.60が焦げ付くとするとそれは操れる fact2: そのぷゆぷよLv.60は伸ばし掛けるしおまけに焦げ付く fact3: そのぷゆぷよLv.60が操れるとすればこのぴやぴねLv.33は褒めそやす fact4: もし仮にあのぽえぽくLv.18が古めかしいならあのぽえぽくLv.18は美し
fact2 -> int1: そのぷゆぷよLv.60は焦げ付く; int1 & fact1 -> int2: そのぷゆぷよLv.60は操れる; int2 & fact3 -> int3: このぴやぴねLv.33は褒めそやす;
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact3 -> int3: {D}{b};
$facts$ = fact1: もし仮にそのぷゆぷよLv.60が焦げ付くとするとそれは操れる fact2: そのぷゆぷよLv.60は伸ばし掛けるしおまけに焦げ付く fact3: そのぷゆぷよLv.60が操れるとすればこのぴやぴねLv.33は褒めそやす fact4: もし仮にあのぽえぽくLv.18が古めかしいならあのぽえぽくLv.18は美し ; $hypothesis$ = あのぽえぽくLv.18は美しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__