private string GetConvertedStatement(string statement) { ConvertedConclusion = SyllogismRules.GetConvertedProposition(statement); ConvertedSubject = SyllogismRules.GetSubjectByProposition(ConvertedConclusion); ConvertedPredicate = SyllogismRules.GetPredicateByProposition(ConvertedConclusion); return(ConvertedConclusion); }