そのぴちょぴねLv.28はしぶとくない
fact1: あのぽちゃぽねLv.22はどうしても欲しくておまけに御存じ無い fact2: あのぽちゃぽねLv.22はどうしても欲しい fact3: 御存じ無いしおまけにどうしても欲しくないモンスターはしぶとくない fact4: あのぽちゃぽねLv.22が御存じ無いならそのぴちょぴねLv.28はしぶとい
fact1 -> int1: あのぽちゃぽねLv.22は御存じ無い; int1 & fact4 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
そのぴちょぴねLv.28はしぶとくない
fact5 -> int2: もしもそのぴちょぴねLv.28は御存じ無いけどどうしても欲しくないとすれば「そのぴちょぴねLv.28はしぶといということはない」ということは本当だ;
$facts$ = fact1: あのぽちゃぽねLv.22はどうしても欲しくておまけに御存じ無い fact2: あのぽちゃぽねLv.22はどうしても欲しい fact3: 御存じ無いしおまけにどうしても欲しくないモンスターはしぶとくない fact4: あのぽちゃぽねLv.22が御存じ無いならそのぴちょぴねLv.28はしぶとい ; $hypothesis$ = そのぴちょぴねLv.28はしぶとくない ; $proof$ = 
fact1 -> int1: あのぽちゃぽねLv.22は御存じ無い; int1 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact4 -> hypothesis; __DISPROVED__