`A -> (T); B -> (Q, R); C -> (P, S)`

`A -> (R); B -> (Q, T); C -> (P, S)`

`A -> (R); B -> (P, T); C -> (Q, S)`

`A -> (R); B -> (Q, S); C -> (P, T)`