Maybe abduction is a kind of "most plausible" induction? Maybe we can also decomposed these graph to be more accurate.

Maybe we can refine this graph by decomposing it like:

Homme -> Mortel Socrate -> Homme

donc: Socrate -> Mortel

Hey Afra, just a test to see how it runs! The deduction principle is easier to introduce than the two other hehe.