There are 6 Rules to this 1) P _ _ _ O or O _ _ _ P 2) [S] [w] [W] or[s] 3) [T P] 4) If M Then W + Y 5) If W Then O 6) R = 3c From here we can make a couple of inferences: 1) P _ _ _ O is not possible since we have rule 3 which states T is left of P [T P] Therefore we can make a giant block O _ _ T ...