This has come up briefly before on the forums, but I wanted to ask more about chaining biconditionals rather than splitting. On PT 54 game 1, because I wasn't on point with my understanding of biconditionals, I tried to chain up the first two rules with ...