예제 #1
0
 private string GetConvertedStatement(string statement)
 {
     ConvertedConclusion = SyllogismRules.GetConvertedProposition(statement);
     ConvertedSubject    = SyllogismRules.GetSubjectByProposition(ConvertedConclusion);
     ConvertedPredicate  = SyllogismRules.GetPredicateByProposition(ConvertedConclusion);
     return(ConvertedConclusion);
 }