Human Conditional Reasoning in Answer Set Programming