If all Woolies are Tollies and all Tollies are Wamples then can we say all Wamples are definitely Woolies?
No. Although the statements W ---> T, T ---> A (Woolies, Tollies and wAmples) by transitivity lead to the statement W ---> A, the statement A ---> W cannot be derived from this, because of the rules of logic, without further information on the population of Wamples. What this means is that even though all Woolies are Wamples, not all Wamples may be Woolies and we cannot define either way without more information . If this further information was found and showed that all wamples are indeed woolies, then we could write both statements of A ---> W and W A.