「このぽゆぽゆLv.29は気忙しいしおまけにそれは愛しい」ということは間違いだ
fact1: このぽゆぽゆLv.29は気忙しい fact2: このぽゆぽゆLv.29は愛しい
fact2 -> int1: このぽゆぽゆLv.29は愛しい; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: このぽゆぽゆLv.29は気忙しい fact2: このぽゆぽゆLv.29は愛しい ; $hypothesis$ = 「このぽゆぽゆLv.29は気忙しいしおまけにそれは愛しい」ということは間違いだ ; $proof$ = 
fact2 -> int1: このぽゆぽゆLv.29は愛しい; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__