Add script to test RuleML (currently does not work)