A statement of this form ('for every there is a with the observable, or extensionally testable, property β') is both non falsifiable because it has no falsifiable consequences and non verifiable because of the 'all' or 'for every' which made it hypothetical.