あのぴえぴちゅLv.85は生き生きしない
fact1: 仮に「このまねまいLv.51は遅しということはなくてでかいということはない」ということは本当であるということはないとするとこのまねまいLv.51は遅し fact2: もし「このまねまいLv.51は取り難い」ということは本当だとしたら惜しくなくてそれは生き生きしない fact3: もしもこのまねまいLv.51が推敲するとしたらこのぴねぴやLv.49は遅し fact4: このまねまいLv.51は推敲する fact5: もしもこのぴねぴやLv.49が遅しとすればあのぴえぴちゅLv.85は生き生きするということはなくてさらにそれは遅しない fact6: もしなんらかのモンスターが推敲しないか惜しくないならそれは推敲しない fact7: このまねまいLv.51は手広い fact8: このまねまいLv.51が手広いしそれにそれが取り難いならこのまねまいLv.51は惜しくない
fact3 & fact4 -> int1: 「このぴねぴやLv.49は遅し」ということは確かだ; int1 & fact5 -> int2: あのぴえぴちゅLv.85は生き生きするということはなくてまた遅しない; int2 -> hypothesis;
fact3 & fact4 -> int1: {B}{b}; int1 & fact5 -> int2: (¬{C}{c} & ¬{B}{c}); int2 -> hypothesis;
あのみえみわLv.1は推敲する
$facts$ = fact1: 仮に「このまねまいLv.51は遅しということはなくてでかいということはない」ということは本当であるということはないとするとこのまねまいLv.51は遅し fact2: もし「このまねまいLv.51は取り難い」ということは本当だとしたら惜しくなくてそれは生き生きしない fact3: もしもこのまねまいLv.51が推敲するとしたらこのぴねぴやLv.49は遅し fact4: このまねまいLv.51は推敲する fact5: もしもこのぴねぴやLv.49が遅しとすればあのぴえぴちゅLv.85は生き生きするということはなくてさらにそれは遅しない fact6: もしなんらかのモンスターが推敲しないか惜しくないならそれは推敲しない fact7: このまねまいLv.51は手広い fact8: このまねまいLv.51が手広いしそれにそれが取り難いならこのまねまいLv.51は惜しくない ; $hypothesis$ = あのぴえぴちゅLv.85は生き生きしない ; $proof$ = 
fact3 & fact4 -> int1: 「このぴねぴやLv.49は遅し」ということは確かだ; int1 & fact5 -> int2: あのぴえぴちゅLv.85は生き生きするということはなくてまた遅しない; int2 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: {B}{b}; int1 & fact5 -> int2: (¬{C}{c} & ¬{B}{c}); int2 -> hypothesis; __PROVED__