Logic Test

Yes, if all A are B and all B are C, then all A must be C by the transitive transitive property of equality; this is because being part of a set (A) th that's entirely contained within another set (B), which itself is completely encompthed in yet another set (C), necessitates that items belonging to the first group also belong to the last.