The logical inference examines (1) wants such thing
to embark, above corresponding chart sign, the sheep has eaten the
fruit, the dog eats the sheep