A four-valued logic system for genomic sequencing and macromolecular analysis using a semantic network having object nodes and relationships between the object nodes. The object nodes are each represented by two vectors with true, false, defined, or undefined values in corresponding bits in the two vectors. Conditionals or quantifying variables are tested during successive recursive steps in a predicate calculus using the four-valued logic system.