そのぽちゃぽにゅLv.59は空転する
fact1: そのぽちゃぽにゅLv.59が暗しならばあのぽちゅぽわLv.30は空転する fact2: あのぽちゅぽわLv.30が空転すればそのぽちゃぽにゅLv.59は暗し fact3: もしもこのぷにゃぷゆLv.60が来易いならこのぴにゃぴなLv.92は晴れがましい fact4: あのぽちゅぽわLv.30は暗し fact5: もし仮にあのぽちゅぽわLv.30が暗しとしたらこのぷにゃぷゆLv.60は来易い fact6: 仮に「このぴにゃぴなLv.92は晴れがましい」ということは確かならばそのぽちゃぽにゅLv.59は空転する
fact5 & fact4 -> int1: このぷにゃぷゆLv.60は来易い; int1 & fact3 -> int2: このぴにゃぴなLv.92は晴れがましい; int2 & fact6 -> hypothesis;
fact5 & fact4 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact6 -> hypothesis;
$facts$ = fact1: そのぽちゃぽにゅLv.59が暗しならばあのぽちゅぽわLv.30は空転する fact2: あのぽちゅぽわLv.30が空転すればそのぽちゃぽにゅLv.59は暗し fact3: もしもこのぷにゃぷゆLv.60が来易いならこのぴにゃぴなLv.92は晴れがましい fact4: あのぽちゅぽわLv.30は暗し fact5: もし仮にあのぽちゅぽわLv.30が暗しとしたらこのぷにゃぷゆLv.60は来易い fact6: 仮に「このぴにゃぴなLv.92は晴れがましい」ということは確かならばそのぽちゃぽにゅLv.59は空転する ; $hypothesis$ = そのぽちゃぽにゅLv.59は空転する ; $proof$ = 
fact5 & fact4 -> int1: このぷにゃぷゆLv.60は来易い; int1 & fact3 -> int2: このぴにゃぴなLv.92は晴れがましい; int2 & fact6 -> hypothesis; __PROVED__
fact5 & fact4 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact6 -> hypothesis; __PROVED__