three little pigs
B: be alive
D: the wolf wants to eat the pig
A: the pig and the wolf are happy
Click on the icons on the arrows to see assumptions and injections
C: not to be hungry
D': The pig does not want to be eaten
In order to the pig and the wolf are happy we must be alive and in order to be alive we must the wolf wants to eat the pig. But, in order to the pig and the wolf are happy we must also not to be hungry and in order to not to be hungry we must The pig does not want to be eaten. we can't both the wolf wants to eat the pig and The pig does not want to be eaten.
| Relation | Assumption(s) | Injection(s) |
| B-D | because if you are eaten you will not longer be alive | keep the pigs life, helping the wolf to find something else to eat |
| C-D' | The only thing that fulfills the wolf is a pig | The wolf can be fulfilled with other things. So the pigs can cook them mushrooms or beef |