Constructing Alternate Preferred Lines of Reasoning in Inconsistent Knowledge Environments