TestReasoning runnable as main()