All about flooble | fun stuff | Get a free chatterbox | Free JavaScript | Avatars    
perplexus dot info

Home > Logic
Feed the Birds (Posted on 2003-11-28) Difficulty: 3 of 5
Bird feeders are much appreciated by our feathered friends during the cold winter months. One chilly morning, Mrs. Allison and four neighbors each filled her feeder with a different kind of food and watched a different type of bird come for a bite.

From the information given, determine the number on each woman's house, the type of food she put out, and which bird she saw.
  1. Cake crumbs were put out by Mrs. Brewer's next-door neighbor, while Mrs. Chandler put out toast.

  2. Mrs. Emery, who did not see a sparrow, lives at number 8. Mrs. Dennis is not at number 10.

  3. Mrs. Allison was visited by a thrush, while a robin enjoyed a taste of suet.

  4. Birdseed was put out at the house located between the one where a cardinal ate and the one visited by a sparrow.

  5. The blackbird visited the bird feeder at number 2, which was not filled with bread.

  Submitted by DJ    
Rating: 4.0526 (19 votes)
Solution: (Hide)

House 2: Mrs. Chandler, serving toast to the blackbird
House 4: Mrs. Dennis, serving bread to the sparrow
House 6: Mrs. Allison, serving birdseed to the thrush
House 8: Mrs. Emery, serving cake to the cardinal
House 10: Mrs. Brewer, serving suet to the robin


Logic Solution

Birdseed was not eaten by the robin (3), the cardinal (4), or the sparrow (4); it was not in a house on either end (4) and thus was not eaten by the blackbird (5). The thrush ate the birdseed.

Mrs. Allison lives next door to the sparrow (4) and the cardinal (4); she does not live next to the blackbird in house two (5), nor can she live in either of the end houses two and ten (4) or in house eight (2).

Mrs. Allison lives in house six, where she put out birdseed for the thrush.

House ten was not visited by the sparrow (4), the cardinal (4), the thrush (above), or the blackbird (5); it was visited by the robin.

If the cake was served in house two, Mrs. Brewer would live next door in house four (1), with Mrs. Allison in house six (above) and Mrs. Emery in eight (2). Mrs. Dennis is not in ten (2), so she would be in two and Mrs. Chandler would be in ten. However, Mrs. Chandler put out toast (1) but the robin ate suet (3); this contradiction means the cake must not have been served at house two.

House two did not serve cake (above), suet (3), birdseed (above), or bread (5).

The bird feeder at house two was filled with toast, served by Mrs. Chandler (1) and eaten by the blackbird (5).

The next-door neighbors to house four serve toast and birdseed (above); Mrs. Brewer does not live in house four (1). Mrs. Brewer does not live in house two (above), six (above) or eight (2).

Mrs. Brewer lives in house ten, where she served suet to the robin

The sparrow ate next to house six (4) but not in house eight (2); the sparrow visited house four while the cardinal visited eight (4).

Cake was served at house eight (1) by Mrs. Emery (2) and eaten by the cardinal (above).

Finally, by elimination:

Number four is the home of Mrs. Dennis, who put out bread for the sparrow.


Programmatic Solution (written in Alloy)

abstract sig object {}
abstract sig Lady extends object {}
abstract sig Food extends object {}
abstract sig Bird extends object {}
abstract sig House { v: set object, n: set House }

one sig Allison,Brewer,Chandler,Dennis,Emery extends Lady {}
one sig blackbird,cardinal,robin,sparrow,thrush extends Bird {}
one sig bread,birdseed,cake,suet,toast extends Food {}
one sig two,four,six,eight,ten extends House {}

fun h[o:object]: one House { { house:House | o in house.v } }
pred n[a,b:object] { a.h in b.h.n }
pred n[o:object, i:House] { o.h in i.n }
pred s[a,b:object] { a.h = b.h }
pred s[o:object, i:House] { o in i.v }

fact houses {
	all o:object | some i:House | o in i.v
	all i:House | one i.v&Lady && one i.v&Food && one i.v&Bird
	all x:House, y:House-x | no x.v&y.v
}

fact neighbors {
	two.n = four
	four.n = two+six
	six.n = four+eight
	eight.n = six+ten
	ten.n = eight
}

pred clues {
// clue 1
	cake.n[Brewer]
	Chandler.s[toast]
// clue 2
	not Emery.s[sparrow]
	Emery.s[eight]
	not Dennis.s[ten]
// clue 3
	Allison.s[thrush]
	robin.s[suet]
// clue 4
	birdseed.n[cardinal]
	birdseed.n[sparrow]
// clue 5
	blackbird.s[two]
	not bread.s[two]
}
run clues for 5

Comments: ( You must be logged in to post comments.)
  Subject Author Date
solutionK Sengupta2007-10-15 04:57:41
i might have solved itjohn2006-05-29 22:24:30
I solved it!Catherine2005-01-03 03:04:16
solvedazzrri2004-03-11 20:16:40
read other 2 posts, theyre all righteric2004-02-12 12:54:37
put crumbs instead of cake crumbseric2004-02-12 12:50:25
answereric2004-02-12 12:46:25
SolutionsolutionKatrina2004-02-12 00:14:55
THE SOLUTION!!!Nikki2004-02-10 02:54:55
re(4): JinCo's Solutioncogitater2004-02-02 03:02:57
re(3): JinCo's SolutionCindy2004-01-21 23:30:11
re(2): JinCo's Solutionmike2004-01-15 06:49:20
re: JinCo's Solutionmelanie2004-01-09 20:39:27
Solutionsolution ( i think)melanie2004-01-09 20:38:12
solutionVirginia2003-12-08 21:58:21
Solution:Robert2003-12-07 14:01:37
SolutionJinCo's SolutionMark2003-12-07 03:21:47
re: & my solutionMatthew2003-12-04 23:17:26
re: & my solutionCarolyn2003-12-02 17:20:00
re: my solutionDasha2003-12-02 07:24:04
Solution& my solutionDasha2003-12-02 07:08:00
Solutionmy solutionCarolyn2003-12-01 19:29:42
tadathatsright2003-11-29 23:01:26
re(2): solutionEric2003-11-29 03:44:34
re: solutionDiane2003-11-28 22:41:21
re(3): This is deja vu all over againGamer2003-11-28 18:13:55
re(2): This is deja vu all over againPenny2003-11-28 17:23:36
re(2): This is deja vu all over againFatBoy2003-11-28 17:02:18
re: This is deja vu all over againFatBoy2003-11-28 16:47:41
QuestionThis is deja vu all over againPenny2003-11-28 15:38:59
SolutionsolutionLee2003-11-28 13:01:09
Please log in:
Login:
Password:
Remember me:
Sign up! | Forgot password


Search:
Search body:
Forums (3)
Newest Problems
Random Problem
FAQ | About This Site
Site Statistics
New Comments (3)
Unsolved Problems
Top Rated Problems
This month's top
Most Commented On

Chatterbox:
Copyright © 2002 - 2020 by Animus Pactum Consulting. All rights reserved. Privacy Information