Sinbad Automation Of Scientific Process: From Hidden Factor Analysis To Theory Synthesis