 		[Test(order=12)]
 		public function testSufficientConditionFalse():void
 		{
+			mp = new ModusPonens("Basic Claim", ["Reason 1", "Reason 2"], false, 
+				"Foo is a sufficient condition for Bar, and Baz", false);
 			mp.sufficientCondition(true);
 			trace("~~ Printing all reasons in testSufficientConditionFalse");
 			for each (var reason:String in mp.getReason()){

		[Test(order=10)]
		public function testOnlyIfFalse():void
		{
			mp.onlyIf(true);
			trace("~~ Printing all reasons in testOnlyIfFalse");
			for each (var reason:String in mp.getReason()){

		{
			trace("Setting up Modus Ponens testing...");
		}
		[AfterClass]
		public static function tearDownAfterClass():void
		{
		}

		//Not asserting anything because it's currently pointless
		[Test(order=1)]
		public function testIfThenTrue():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, and Baz", false);
			mp.ifThen(true);
			trace("~~ Printing all reasons in testIfThenTrue");
			for each (var reason:String in mp.getReason()){
