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

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

			trace("~~ Printing all reasons in AlternatePTrue");
			for each (var reason:String in djs.getReason()){
				trace(reason);
			}		
			trace("The claim is: ", djs.getClaim());
			trace("The inference is: ", djs.getInference("alternateP"));
		}
		[Test(order=6)]
		public function testAlternatePFalse():void{
