 			Assert.fail("Test method Not yet implemented");
 		}
 		
-
-		
-		
-		[Test]
-		public function testSufficientCondition():void
-		{
-			Assert.fail("Test method Not yet implemented");
-		}
-		
-
 	}
 }
			trace("The inference is: ", mp.getInference("onlyIf"));		
		}
		
		[Test]
		public function testModusPonens():void
		{

		public function setUp():void
		{
			//ModusPonens(claimText:String,reasonText:Array,reversePos:Boolean,inferenceText:String="",inferencePresent:Boolean = false)
			mp = new ModusPonens("Basic Claim", ["Reason 1", "Reason 2"], false, 
				"If Foo, then Bar is a sufficient condition for Baz, and Quux implies Flarp", false);
		}
		
		[After]
