このみにゃみわLv.49は仄白い
fact1: 仮にこのみにゃみわLv.49が禍々しいならば仄白い fact2: 「このみにゃみわLv.49は禍々しい」ということは事実と異ならない fact3: このぷにぷのLv.95は仄白い
fact2 -> int1: 「このみにゃみわLv.49は禍々しい」ということは事実と異ならない; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: 仮にこのみにゃみわLv.49が禍々しいならば仄白い fact2: 「このみにゃみわLv.49は禍々しい」ということは事実と異ならない fact3: このぷにぷのLv.95は仄白い ; $hypothesis$ = このみにゃみわLv.49は仄白い ; $proof$ = 
fact2 -> int1: 「このみにゃみわLv.49は禍々しい」ということは事実と異ならない; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__