(guest (name n1) (sex m) (hobby h3))
(guest (name n1) (sex m) (hobby h2))
(guest (name n2) (sex m) (hobby h2))
(guest (name n2) (sex m) (hobby h3))
(guest (name n3) (sex m) (hobby h1))
(guest (name n3) (sex m) (hobby h2))
(guest (name n3) (sex m) (hobby h3))
(guest (name n4) (sex f) (hobby h3))
(guest (name n4) (sex f) (hobby h2))
(guest (name n5) (sex f) (hobby h1))
(guest (name n5) (sex f) (hobby h2))
(guest (name n5) (sex f) (hobby h3))
(guest (name n6) (sex f) (hobby h3))
(guest (name n6) (sex f) (hobby h1))
(guest (name n6) (sex f) (hobby h2))
(guest (name n7) (sex f) (hobby h3))
(guest (name n7) (sex f) (hobby h2))
(guest (name n8) (sex m) (hobby h3))
(guest (name n8) (sex m) (hobby h1))
(last_seat (seat 8))
(count (c 1))
(context (state start))