このぴよぴにょLv.20は見辛いけれど出来難くない
fact1: 「あのまちゅまえLv.16は好転する」ということは成り立つ fact2: 仮にあのまちゅまえLv.16が好転するならこのぴよぴにょLv.20は見辛いけど出来難いということはない
fact1 -> int1: 「あのまちゅまえLv.16は好転する」ということは成り立つ; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: 「あのまちゅまえLv.16は好転する」ということは成り立つ fact2: 仮にあのまちゅまえLv.16が好転するならこのぴよぴにょLv.20は見辛いけど出来難いということはない ; $hypothesis$ = このぴよぴにょLv.20は見辛いけれど出来難くない ; $proof$ = 
fact1 -> int1: 「あのまちゅまえLv.16は好転する」ということは成り立つ; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__