 			for each (var reason:String in djs.getReason()){
 				trace(reason);
 			}
-			djsReverse.notQ(false);
-			trace("~~ Printing all reasons in Reverse NotQFalse");
-			for each (reason in djsReverse.getReason()){
-				trace(reason);
-			}
+			trace("The claim is: ", djs.getClaim());
+			trace("The inference is: ", djs.getInference("notQ"));
 		}
 		[Test(order=5)]
 		public function testAlternatePTrue():void{

			for each (var reason:String in djs.getReason()){
				trace(reason);
			}
			djsReverse.notQ(true);
			trace("~~ Printing all reasons in Reverse NotQTrue");
			for each (reason in djsReverse.getReason()){
				trace(reason);
			}
		}
		[Test(order=4)]
		public function testNotQFalse():void{

		import org.flexunit.Assert;
		
		private var djs:DisjunctiveSyllogism;
		
		[Before]
		public function setUp():void
		{
			//DisjunctiveSyllogism(claimText:String, reasonText:Array, reversePos:Boolean,inferenceText:String="", inferencePresent:Boolean=false)
			djs = new DisjunctiveSyllogism("Basic Claim", ["Reason 1", "Reason 2"], false, "Either Foo or Bar, and Baz unless Quux", false);
		}
		
