このみゆみちょLv.20は永続する
fact1: そのぴにゅぴちょLv.14は自問する fact2: あのもくもちゅLv.93は永続する fact3: 仮に「このみゆみちょLv.20は自問する」ということは成り立つならこのみゆみちょLv.20は永続する fact4: このみゆみちょLv.20は自問する fact5: このみゆみちょLv.20は如才無い
fact4 -> int1: このみゆみちょLv.20は自問する; int1 & fact3 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
$facts$ = fact1: そのぴにゅぴちょLv.14は自問する fact2: あのもくもちゅLv.93は永続する fact3: 仮に「このみゆみちょLv.20は自問する」ということは成り立つならこのみゆみちょLv.20は永続する fact4: このみゆみちょLv.20は自問する fact5: このみゆみちょLv.20は如才無い ; $hypothesis$ = このみゆみちょLv.20は永続する ; $proof$ = 
fact4 -> int1: このみゆみちょLv.20は自問する; int1 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a}; int1 & fact3 -> hypothesis; __PROVED__