NAIVE: A Method for Representing Uncertainty and Temporal Relationships in an Automated Reasoner