Một quy tắc bí mật được xây dựng từ AND, OR và NOT quyết định ai qua cầu — thử nghiệm, thu thập bằng chứng, sau đó chứng minh bạn đã phá được nó.
Trong giai đoạn thử nghiệm, hãy chọn một sinh vật và dự đoán nó sẽ đi qua cây cầu nào: ĐẠT nếu quy tắc ẩn đúng với nó, THẤT BẠI nếu không. Một dự đoán đúng xác nhận sự thật của sinh vật đó và bổ sung vào bằng chứng của bạn; một sai lầm khiến bạn phải trả giá. Nghiên cứu các đặc điểm liên quan đến việc vượt qua, sau đó chuyển sang giai đoạn chứng nhận và phân loại một nhóm mới được tổ chức. Làm đúng cả bộ sẽ thắng vòng đó.
Trait Trail dạy lý luận Boolean theo cách các nhà khoa học thực sự làm việc - hình thành một giả thuyết, kiểm tra nó và đọc bằng chứng - biến AND, OR và NOT thành trực giác thay vì các ký hiệu trừu tượng.
Dự đoán những sinh vật nào thỏa mãn một quy tắc ẩn, rồi được chấm điểm trên một tập mới được giữ riêng, là học khái niệm — tâm lý học về cách con người quy nạp một phạm trù từ các ví dụ.
Hai giai đoạn chính là thiết kế. Thử nghiệm cho phép bạn thu thập bằng chứng tự do; xác nhận buộc bạn cam kết quy tắc trên những sinh vật bạn chưa từng thấy.
Tách chúng ra làm lộ thất bại kinh điển. Một quy tắc được khớp chặt với những trường hợp bạn tình cờ thử sẽ vượt qua tất cả chúng và thất bại với những trường hợp mới, đó là quá khớp — và cách duy nhất để phát hiện nó là được đánh giá trên dữ liệu bạn không được xem trước.
Trait Trail là một trò chơi logic trình duyệt miễn phí, độc đáo, dạy cách suy luận Boolean — VÀ, HOẶC và KHÔNG — thông qua thử nghiệm giả thuyết thực hành. Không cần cài đặt.