 			for(i=0; i<reasonModels.length - 1; i++){
 				removeDependence(reasonModels[i].statements[1], reasonModels[i+1].statements[0]);
 			}
-			
-	
+		
 			//reason to inference
 			removeDependence(reasonModels[reasonModels.length - 1].statements[1], inferenceModel.statements[0]);
 			

	import components.DynamicTextArea;
	import components.Inference;
	
	import mx.controls.Alert;
	
	public class ConditionalSyllogism extends ParentArg
	{		

		}
		
		override public function formText(argumentTypeModel:ArgumentTypeModel):void{
			var output:String = "";
			var reasonText:String = "";
			var reasonModels:Vector.<StatementModel> = argumentTypeModel.reasonModels;
			var claimModel:StatementModel = argumentTypeModel.claimModel;
			var inferenceModel:StatementModel = argumentTypeModel.inferenceModel;
			
			switch(argumentTypeModel.language){
				case langTypes[0]:
					inferenceModel.statement.text = "If " + inferenceModel.statements[0].text + ", then " + inferenceModel.statements[1].text;
					break;
				case langTypes[1]:
					inferenceModel.statement.text = inferenceModel.statements[0].text + " implies " + inferenceModel.statements[1].text;
			}
			
		}
		
