あのぷちょぷのLv.70は地中深い
fact1: もしそのぽねぽねLv.35が遣らかすけれど物凄いということはないとしたらあのぽなぽなLv.57は頼り無くない fact2: そのぽねぽねLv.35が快くないとしたらそのぽねぽねLv.35は遣らかすけどそれは物凄くない fact3: そのぽねぽねLv.35は快くない fact4: もしあのぽなぽなLv.57が解読するとするとあのぷちょぷのLv.70は地中深い
fact2 & fact3 -> int1: そのぽねぽねLv.35は遣らかすがしかし物凄くない; int1 & fact1 -> int2: あのぽなぽなLv.57は頼り無くない;
fact2 & fact3 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact1 -> int2: ¬{B}{b};
$facts$ = fact1: もしそのぽねぽねLv.35が遣らかすけれど物凄いということはないとしたらあのぽなぽなLv.57は頼り無くない fact2: そのぽねぽねLv.35が快くないとしたらそのぽねぽねLv.35は遣らかすけどそれは物凄くない fact3: そのぽねぽねLv.35は快くない fact4: もしあのぽなぽなLv.57が解読するとするとあのぷちょぷのLv.70は地中深い ; $hypothesis$ = あのぷちょぷのLv.70は地中深い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__