(require "logic.BRU" "lists-basics.BRU")
[(list? (\item (| (cons? item) (null? item))))
 (caar (\list (head (head list))))
 (cadr (\list (head (rest list))))
 (cdar (\list (rest (head list))))
 (cddr (\list (rest (rest list))))
 (caddr (\list (head (rest (rest list)))))]