Fixing minor bugs related to delete for conditional syllogism