あのまちゅまのLv.43は展開し易い
fact1: このぴわぴにLv.29は放散しない fact2: 「このぴわぴにLv.29は古い」ということは間違っている fact3: もしこのぴわぴにLv.29が古くなくてかつ放散しないとすればあのまちゅまのLv.43は展開し易い
fact2 & fact1 -> int1: このぴわぴにLv.29は古くないしそれは放散しない; int1 & fact3 -> hypothesis;
fact2 & fact1 -> int1: (¬{A}{a} & ¬{B}{a}); int1 & fact3 -> hypothesis;
$facts$ = fact1: このぴわぴにLv.29は放散しない fact2: 「このぴわぴにLv.29は古い」ということは間違っている fact3: もしこのぴわぴにLv.29が古くなくてかつ放散しないとすればあのまちゅまのLv.43は展開し易い ; $hypothesis$ = あのまちゅまのLv.43は展開し易い ; $proof$ = 
fact2 & fact1 -> int1: このぴわぴにLv.29は古くないしそれは放散しない; int1 & fact3 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: (¬{A}{a} & ¬{B}{a}); int1 & fact3 -> hypothesis; __PROVED__