Ontify
Method of reasoning by which premises understood to be true produce logically certain conclusions.