Deduction Machine

deduc

I made a machine today that solves logical puzzles like this one:

I won’t eat my hat
If hippos don’t eat acorns, then oak trees will grow in Africa
If oak trees don’t grow in Africa then squirrels hibernate in winter
If hippos eat acorns and squirrels hibernate in winter I’ll eat my hat

Then what…?

It’s a machine that states the obvious…

 

 

Annonser