# A Carnivore Did It! - PBF game 1

**URL:** <https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797>\
**Category:** Play by Post\
**Tags:** pbf\
**Created:** [23 June 2026 09:22 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797 "2026-06-23T09:22:39Z")\
**Posts on this page:** 20\
**Page:** 5

<div class="post-metadata">

**Author:** ![Phil](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/phil/32/1508_2.png) [@Phil](https://discussion.tekeli.li/u/Phil)\
**Post date:** [16 July 2026 13:50 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/81 "2026-07-16T13:50:47Z")

</div>

_The commissioner apologises for a brief glitch. Re-posting the case below to ensure that notifications happen. (I temporarily thought the case had needed to be changed, but I was mistaken.)_

---

<div class="post-metadata">

**Author:** ![Phil](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/phil/32/1508_2.png) [@Phil](https://discussion.tekeli.li/u/Phil)\
**Post date:** [16 July 2026 15:23 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/82 "2026-07-16T15:23:29Z")

</div>

_Case 7 report pending from Detective @Griffster77._

* * *

“This is it, team! One more case, and then everyone gets to take a holiday! Unless another animal crime wave takes place, in which case I’ll need you back at your desks _first thing in the morning._ But what are the chances of that happening? Our rating is a solid 85%, and it’s time to get this final dastardly culprit behind bars of a species-appropriate size. Let’s get to work!”

* * *

Case 8/8, dossier 12.

Time brackets:  
(a) \<= 4 mins  
(b) 4-6 mins  
(c) 6-12 mins  
(d) 12+ mins  
(x) not using a timer

**7 suspects, 1 culprit, 3-4 lies**

> **Start your timer / begin solving**
>
> ![dossier12](https://discussion.tekeli.li/uploads/default/original/3X/f/4/f460b264bcc28fa2fd77afa9fd98731cae78c58a.jpeg)

---

<div class="post-metadata">

**Author:** ![Marx](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/marx/32/28667_2.png) [@Marx](https://discussion.tekeli.li/u/Marx)\
**Post date:** [16 July 2026 15:33 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/83 "2026-07-16T15:33:56Z")

</div>

> **Summary**
>
> Bear did it!
> 
> I don’t want to mess with people’s scores, so please don’t include me in the scoring, but that took me 1min, 51sec, and I tend to do logic puzzles very free-form, so it’s probably wrong, but:  
> Let’s assume Peacock is telling the truth (why not). That means Horse is lying, which means he is not the culprit, and Bear is lying, which means either Panther or Peacock (or both) are telling the truth, which is correct already (because we assumed Peacock is telling the truth). That means Shark is lying (liar 3), which means Iguana could be telling the truth if Bear did it, which means Dog is telling the truth, and then Panther is telling the truth. Three liars, Bear did it! I think!

---

<div class="post-metadata">

**Author:** ![Assussanni](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/assussanni/32/11057_2.png) [@Assussanni](https://discussion.tekeli.li/u/Assussanni)\
**Post date:** [16 July 2026 18:37 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/84 "2026-07-16T18:37:23Z")

</div>

> **\<4 minutes**
>
> _ **Bear** _ is the culprit and is lying, as are _Shark_ and _Horse_.
> 
> I started with dog, since if dog is true then the culprit is known. Dog true means panther and iguana are true and bear is false.
> 
> Horse cannot be true becuase horse is taller than bear, which would contradict dog’s statement.
> 
> If horse is false then peacock is true and shark is false. This is logically consistent, since bear is not the tallest liar, and has the requisite number of lies.
> 
> Including checking to my satisfaction, that took me almost dead on 3 minutes.

---

<div class="post-metadata">

**Author:** ![COMaestro](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/comaestro/32/1030_2.png) [@COMaestro](https://discussion.tekeli.li/u/COMaestro)\
**Post date:** [16 July 2026 23:47 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/85 "2026-07-16T23:47:10Z")

</div>

> **4-6 minutes**
>
> Bear did it, Bear, Horse and Shark are lying.

---

<div class="post-metadata">

**Author:** ![Phil](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/phil/32/1508_2.png) [@Phil](https://discussion.tekeli.li/u/Phil)\
**Post date:** [17 July 2026 01:29 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/86 "2026-07-17T01:29:26Z")

</div>

> [@Marx](#):
>
> I don’t want to mess with people’s scores, so please don’t include me in the scoring

For sure, I won’t add a single case report; but in case you feel inspired to work through the previous 7 cases as well before the other case 8 reports are in, it’d be no trouble for me to add you to the score table! (I can automatically recalculate the whole thing at a keystroke.)

---

<div class="post-metadata">

**Author:** ![RogerBW](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/rogerbw/32/3_2.png) [@RogerBW](https://discussion.tekeli.li/u/RogerBW)\
**Post date:** [17 July 2026 15:29 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/87 "2026-07-17T15:29:26Z")

</div>

> **Untimed. Too hot. Also I was writing up my reasoning as I went.**
>
> As we’ve seen before, a simple “X is lying” generates a pair which we know contains one true and one false. Here that’s PE+SH. Leaving them aside we have 2-3 lies in 5 statements, so also 2-3 truths.
> 
> I’ll assume BE as my first candidate culprit because of IG and DO’s statements, which are therefore true in this case, as is PA’s. That’s three truths, so all remaining statements in the subset (HO, BE) must be false.
> 
> PA is true, so BE is false.  
> If HO is false, the tallest liar is HO, who is not the culprit, so HO can be false.
> 
> (And that means PE is true, so SH is false.)
> 
> This satisfies all constraints so **Bear did it** (and **Shark, Horse and Bear are lying**.)

---

<div class="post-metadata">

**Author:** ![InkyBloc](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/inkybloc/32/1522_2.png) [@InkyBloc](https://discussion.tekeli.li/u/InkyBloc)\
**Post date:** [17 July 2026 20:23 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/88 "2026-07-17T20:23:46Z")

</div>

> **\< 4 minutes**
>
> Bear is the culprit. Bear is lying (Peacock and Panther are telling the truth), Horse is lying (they’re the tallest liar and they’re not the culprit), and Shark is lying (Peacock is telling the truth).
> 
> Yeah just started with Dog/Iguana being true and checked if that worked. It did.

---

<div class="post-metadata">

**Author:** ![yashima](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/yashima/32/21481_2.png) [@yashima](https://discussion.tekeli.li/u/yashima)\
**Post date:** [19 July 2026 09:13 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/89 "2026-07-19T09:13:53Z")

</div>

> **Gave up on the timer**
>
> I did a number of tests to prove once and for all that Bear is the culprit.
> 
> Test 1. a) Assume Horse ❌ → Horse 😇 b) assume Horse ✅ → Horse 😇). We know for sure _Horse is innocent_. This reduces Dog and Iguana’s statements to the same! _They are either both liars or truthtellers_  
> Test 2. Assume Bear ✅ → Panther ❌ → Iguana ❌, Dog ❌ | Peacock ❌ | Because Panther’s lie makes Iguana or Dog ☠ → Horse ❌ → _Too many lies. We know for sure Bear is lying._  
> Test 3. Assume Panther ❌ → Iguana ❌, Dog ❌, Peacock ✅ → Shark ❌ → _too many lies. We know Panther is telling the truth._  
> Test 4. Assume Peacock ❌ → Shark ✅, Horse ✅ → this makes Bear the culprit ☠ per the truth from the horse’s mouth, and Dog ✅ , Iguana ✅ → _not enough lies. So Peacock ✅ and conversely Shark ❌, Horse ❌_
> 
> Known facts:  
> 😇: Horse, Dog, Iguana  
> ✅ : Panther, Peacock  
> ❌: Bear, Shark, Horse
> 
> The last two are linked so Dog and Iguana are ✅ which means Bear is the culprit ☠
> 
> My initial hunch was to test how things would go if Dog was telling the truth

I think part of what is making me incredibly slow is my need to prove that this is the only solution. I could have been very fast. But I just can’t. I had to find hard proof.

---

<div class="post-metadata">

**Author:** ![RogerBW](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/rogerbw/32/3_2.png) [@RogerBW](https://discussion.tekeli.li/u/RogerBW)\
**Post date:** [19 July 2026 09:19 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/90 "2026-07-19T09:19:01Z")

</div>

> **Where dossier 12 is particularly fun for me is**
>
> that statement by Horse, “the tallest liar is the culprit”.
> 
> Horse is the tallest suspect.
> 
> If Horse is the culprit, the statement needs to be both true and false.
> 
> All the other statements we’ve seen are either “liar statements” (here PE, SH, BE) or “culprit statements” (here PA, IG, DO). This is the one that crosses the line.

---

<div class="post-metadata">

**Author:** ![yashima](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/yashima/32/21481_2.png) [@yashima](https://discussion.tekeli.li/u/yashima)\
**Post date:** [19 July 2026 09:23 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/91 "2026-07-19T09:23:47Z")

</div>

I agree that’s a good one. I had to really wrap my brain around that one.

---

<div class="post-metadata">

**Author:** ![Phil](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/phil/32/1508_2.png) [@Phil](https://discussion.tekeli.li/u/Phil)\
**Post date:** [19 July 2026 10:43 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/92 "2026-07-19T10:43:58Z")

</div>

I almost changed this case, and that bit was the reason I kept it :).

---

<div class="post-metadata">

**Author:** ![Phil](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/phil/32/1508_2.png) [@Phil](https://discussion.tekeli.li/u/Phil)\
**Post date:** [19 July 2026 10:58 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/93 "2026-07-19T10:58:11Z")

</div>

> [@yashima](#):
>
> I think part of what is making me incredibly slow is my need to prove that this is the only solution. I could have been very fast. But I just can’t. I had to find hard proof.

Oh yes, that’ll add a bunch of time in most cases! It’s a property of the game that each case has exactly one solution, so it’s completely safe to stop the timer once you’re confident that a solution works.

(I’ll check any unexpected answers for even-more-unexpected validity, though :).

---

<div class="post-metadata">

**Author:** ![yashima](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/yashima/32/21481_2.png) [@yashima](https://discussion.tekeli.li/u/yashima)\
**Post date:** [19 July 2026 11:18 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/94 "2026-07-19T11:18:17Z")

</div>

> [@Phil](#):
>
> so it’s completely safe to stop the timer once you’re confident that a solution works.

I once worked on a tool called MGTP during my university days which was trying to find counterexamples for logical statements. Apparently this is still stuck in my brain.

In any case I am enjoying the puzzles immensely.

---

<div class="post-metadata">

**Author:** ![InkyBloc](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/inkybloc/32/1522_2.png) [@InkyBloc](https://discussion.tekeli.li/u/InkyBloc)\
**Post date:** [21 July 2026 13:13 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/95 "2026-07-21T13:13:48Z")

</div>

> [@Phil](#):
>
> One more case, and then everyone gets to take a holiday!

I don’t know if this is a potential stopping point, but I’m more than down to keep going.

---

<div class="post-metadata">

**Author:** ![Phil](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/phil/32/1508_2.png) [@Phil](https://discussion.tekeli.li/u/Phil)\
**Post date:** [21 July 2026 13:38 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/96 "2026-07-21T13:38:07Z")

</div>

Once we have the final reports from Detectives @Griffster77 (case 7, 8) and @RossM (case 8), I’ll wrap this game up with a final score. I can run either 1 or 2 more games (depending on player interest and availability) to cover dossiers 13-20 (which have multiple culprits).

---

<div class="post-metadata">

**Author:** ![Griffster77](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/griffster77/32/1048_2.png) [@Griffster77](https://discussion.tekeli.li/u/Griffster77)\
**Post date:** [21 July 2026 13:44 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/97 "2026-07-21T13:44:56Z")

</div>

Sorry work and family life just got very busy.

I spent some time working on these while waiting in the car this morning, so possibly not ideal conditions!

> **Case 7 - 6-12 mins**
>
> Dog is the culprit, Dog and Horse are lying

> **Case 8 - 6-12 mins**
>
> Bear did it with Shark, Horse and Bear lying.

---

<div class="post-metadata">

**Author:** ![RossM](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/rossm/32/1021_2.png) [@RossM](https://discussion.tekeli.li/u/RossM)\
**Post date:** [26 July 2026 16:43 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/98 "2026-07-26T16:43:19Z")

</div>

> **On and off over about 4 days, and I'm still mainly on vibes as I'm struggling to work out one of the statements.**
>
> Shark? I did not get what Horse is going on about at all.

---

<div class="post-metadata">

**Author:** ![RossM](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/rossm/32/1021_2.png) [@RossM](https://discussion.tekeli.li/u/RossM)\
**Post date:** [26 July 2026 16:46 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/99 "2026-07-26T16:46:01Z")

</div>

Ok. Thanks all for the discussion, as I’ve again hit the post. But now Ive seen that X must be true AND false thing, it finally makes sense.

---

<div class="post-metadata">

**Author:** ![Phil](https://discussion.tekeli.li/user_avatar/discussion.tekeli.li/phil/32/1508_2.png) [@Phil](https://discussion.tekeli.li/u/Phil)\
**Post date:** [29 July 2026 06:53 UTC](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797/100 "2026-07-29T06:53:09Z")

</div>

_The commissioner looks around the room._

"Well team, that was an adventure. Those suspects sure are some tricky customers! Good work to everyone, and special congratulations to @Assussanni who wins the coveted Detective of the Month award for July! Well done!

"I’ve tallied up all of our results, and can tell you that we’ve scored 3650 points out of a possible 4520 for a solid final rating of 81%. I’ve prepared the celebratory tea and biscuits in the staff room.

“As promised, you’ve all earned yourselves a holiday! Some of you have already submitted your leave requests, and I’ll be approving those shortly, just so long as there aren’t any more of those pesky—”

[Game 2](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-2/6865).

[Previous page](https://discussion.tekeli.li/t/a-carnivore-did-it-pbf-game-1/6797.md?page=4)
