Test for triple implication
Small version of emit