Anything magical is dangerous.
All dragons are sparkly.
Given the above two statements are true, what would (if true) make the statement "All dragons are dangerous" true?
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Using the fact that A ⟹ B ⟹ C means A ⟹ C : If sparkly things are magical, dragons being sparkly implies magical implies dangerous; therefore, all dragons are dangerous.
Both "anything magical is sparkly" and "anything dangerous is a dragon" are implications going in the wrong direction to allow the transitive property to be used as needed.