В преддверии влагалища^W ИИ

[assert (Муся питается мясом)]
[assert (Муся - млекопитающее)]
[assert (Муся имеет темные-полосы) (with ОТВ ДА)]
[assert (Муся имеет рыжевато-кор) (with ОТВ ДА)]

result := Муся = тигр | Муся = студентка_мехмата

p.s: подкрысь @ не читай := success | fail ?