Class NaiveReasoner