S1, S2 where S1 = ((c -> a & b -> d) & (b -> g -> c) -> s -> (e -> f) -> phi) & ((v -> u -> w) -> q & r -> (h -> k)&(p -> q) -> (a -> psi)), S2 = ((e -> f) -> (a & b -> c -> d) & (g -> b -> c) -> s -> phi) & ((h -> k) & (p -> q) -> (u -> v -> w) -> q & r -> (a -> psi))
Enter two types in normal form, separated by comma, in the field below,
either by typing (pun unintended ...) them directly,
or by simply clicking on one of the examples above.
Then press Enter.