Executing of reasoning processes: reading from input file enabled