the fact that the doorbell is not a fire but it does camouflage umbilical is wrong.
sent1: the partridge does not detribalize forty but it does detribalize Cnidosporidia. sent2: the fact that the doorbell does not fire but it does camouflage umbilical is not right if the tabletop camouflage umbilical. sent3: something is a kind of cousinly thing that is nidicolous if it is not caudal. sent4: something is not a fire and does camouflage umbilical if it is cousinly. sent5: if the doorbell is cousinly the fact that the partridge does camouflage umbilical is true. sent6: the tabletop camouflages umbilical if the partridge does not detribalize forty but it detribalizes Cnidosporidia.
sent6 & sent1 -> int1: the tabletop camouflages umbilical.; sent2 & int1 -> hypothesis;
the tabletop detribalizes forty.
$hypothesis$ = the fact that the doorbell is not a fire but it does camouflage umbilical is wrong. ; $context$ = sent1: the partridge does not detribalize forty but it does detribalize Cnidosporidia. sent2: the fact that the doorbell does not fire but it does camouflage umbilical is not right if the tabletop camouflage umbilical. sent3: something is a kind of cousinly thing that is nidicolous if it is not caudal. sent4: something is not a fire and does camouflage umbilical if it is cousinly. sent5: if the doorbell is cousinly the fact that the partridge does camouflage umbilical is true. sent6: the tabletop camouflages umbilical if the partridge does not detribalize forty but it detribalizes Cnidosporidia. ; $proof$ = 
sent6 & sent1 -> int1: the tabletop camouflages umbilical.; sent2 & int1 -> hypothesis; __PROVED__