このぽいぽねLv.54は味わい深いししかもそれは夥しい
fact1: 仮にとあるモンスターは生まれ難くないなら「味わい深いしそれに夥しい」ということは成り立たない fact2: このぽいぽねLv.54は夥しい fact3: このぽいぽねLv.54は味わい深い
fact2 -> int1: このぽいぽねLv.54は夥しい; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
「このぽいぽねLv.54は味わい深くて夥しい」ということは誤っている
fact4 -> int2: もし仮にこのぽいぽねLv.54は生まれ難くないとすると「味わい深いししかも夥しい」ということは誤りである;
$facts$ = fact1: 仮にとあるモンスターは生まれ難くないなら「味わい深いしそれに夥しい」ということは成り立たない fact2: このぽいぽねLv.54は夥しい fact3: このぽいぽねLv.54は味わい深い ; $hypothesis$ = このぽいぽねLv.54は味わい深いししかもそれは夥しい ; $proof$ = 
fact2 -> int1: このぽいぽねLv.54は夥しい; int1 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact3 -> hypothesis; __PROVED__