- Posts: 1
- Joined: Jul 22, 2021
In your explanation for the setup, you write that the FL block could be placed anywhere. But if we place FL under T, then the only place where K can go is R. We need three variables for S since S needs to have more variables than T, but the only variables left are H,M, and I, and I cannot go with either H nor M. So if we place the FL block on T, the maximum number of variables possible for S is 2, which is a violation of rule 4.
I just want to make sure I did not make a false inference by putting F and L not laws under T.