After recieving facts about entities that each have a unique name, job, and pet, the program infers the attributes of each entity if possible. Written in Java.