あのぽにぽなLv.47は大き過ぎない
fact1: 仮にあのぽにぽなLv.47が惨いとしたらそれは塩茹でする fact2: このぽちゃぽくLv.91は過ごし易い fact3: 仮にこのぽにゃぽなLv.91が利するならこのぽにゃぽなLv.91は似付かわしい fact4: あのぽにぽなLv.47は似付かわしいしそれに拭き切れる fact5: もしもあのぽにぽなLv.47が似付かわしいならあのぽにぽなLv.47は過ごし易い
fact4 -> int1: あのぽにぽなLv.47は似付かわしい; int1 & fact5 -> int2: あのぽにぽなLv.47は過ごし易い;
fact4 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a};
$facts$ = fact1: 仮にあのぽにぽなLv.47が惨いとしたらそれは塩茹でする fact2: このぽちゃぽくLv.91は過ごし易い fact3: 仮にこのぽにゃぽなLv.91が利するならこのぽにゃぽなLv.91は似付かわしい fact4: あのぽにぽなLv.47は似付かわしいしそれに拭き切れる fact5: もしもあのぽにぽなLv.47が似付かわしいならあのぽにぽなLv.47は過ごし易い ; $hypothesis$ = あのぽにぽなLv.47は大き過ぎない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__