(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) )
(context (state start))  