そのぽにゅぽいLv.29は晴々しかない
fact1: 仮にそのもゆものLv.79が騒がしいししかも区別し易いとするとそのぽにゅぽいLv.29は晴々しいということはない fact2: そのもゆものLv.79は騒がしいしおまけにそれは持ち合わせる
fact2 -> int1: そのもゆものLv.79は騒がしい;
fact2 -> int1: {A}{a};
$facts$ = fact1: 仮にそのもゆものLv.79が騒がしいししかも区別し易いとするとそのぽにゅぽいLv.29は晴々しいということはない fact2: そのもゆものLv.79は騒がしいしおまけにそれは持ち合わせる ; $hypothesis$ = そのぽにゅぽいLv.29は晴々しかない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__