Generates infinite stream of propositions of depth 4