Making Inferences is hard

Can't determine an appropriate way of making inferences without
permanitly causing damage to the DB because currently the structure
would be unaware of already know knowledge. Instead would revert all
changes in the event of an error, therefore losing some previously known
information.