„(Y) :-p (F) (^) |:o) (Y) :-p (F) (^) |:o) (Y) :-p (F) (^) |:o) (Y) :-p (F) (^) |:o) (Y) :-p (F) (^) |:o) (Y) :-p (F) (^) |:o) (Y) :-p (F) (^) |:o) (Y) :-p (F) (^) |:o) (Y) :-p (F) (^) |:o) (Y) :-p (F) (^) |:o) (Y) :-p (F) (^) |:o) (Y) :-p (F) (^) |:o)“