Syllogism

Syllogism.java

public interface Syllogism {
    interface さかな{}
    interface およぐ{}
    interface さば{}
    
    さかな majorPremise(さば s);
    およぐ minorPremise(さかな f);
    
    default およぐ conclusion(さば s){
        return minorPremise(majorPremise(s));
    }
}