public static string AddStatements(string statement1, string statement2) { TYPE1 = SyllogismRules.GetTypeByProposition(statement1); TYPE2 = SyllogismRules.GetTypeByProposition(statement2); STATEMENT1 = statement1; STATEMENT2 = statement2; if (TYPE1 == "A" && TYPE2 == "A") { if (CheckStatementsCanBeAligned(AType.GetSubjectByProposition(STATEMENT1), AType.GetPredicateByProposition(STATEMENT1), AType.GetSubjectByProposition(STATEMENT2), AType.GetPredicateByProposition(STATEMENT2))) { if (IsAligned(AType.GetPredicateByProposition(STATEMENT1), AType.GetSubjectByProposition(STATEMENT2))) { //return "A"; return(AType.GetPropositionBySubjectAndPredicate(AType.GetSubjectByProposition(STATEMENT1), AType.GetPredicateByProposition(STATEMENT2))); } if (ReArrangingOrder(STATEMENT1, STATEMENT2)) { if (IsAligned(AType.GetPredicateByProposition(STATEMENT1), AType.GetSubjectByProposition(STATEMENT2))) { //return "A"; return(AddStatementsAfterAlign(STATEMENT1, STATEMENT2)); } ReArrangingOrder(STATEMENT1, STATEMENT2); return(AlignStatementsByIEARule(STATEMENT1, AType.GetPropositionType(), STATEMENT2, AType.GetPropositionType()) ? AddStatementsAfterAlign(STATEMENT1, STATEMENT2) : CANNOTTALIGN); } } else { return(CANNOTTALIGN); } } else if (TYPE1 == "A" && TYPE2 == "E") { if (CheckStatementsCanBeAligned(AType.GetSubjectByProposition(STATEMENT1), AType.GetPredicateByProposition(STATEMENT1), EType.GetSubjectByStatement(STATEMENT2), EType.GetPredicateByStatement(STATEMENT2))) { if (IsAligned(AType.GetPredicateByProposition(STATEMENT1), EType.GetSubjectByStatement(STATEMENT2))) { //return "E"; return(EType.GetPropositionBySubjectAndPredicate(AType.GetSubjectByProposition(STATEMENT1), EType.GetPredicateByStatement(STATEMENT2))); } else if (ReArrangingOrder(STATEMENT1, STATEMENT2)) { if (IsAligned(AType.GetPredicateByProposition(STATEMENT1), EType.GetSubjectByStatement(STATEMENT2))) { //return "E"; return(AddStatementsAfterAlign(STATEMENT1, STATEMENT2)); } ReArrangingOrder(STATEMENT1, STATEMENT2); return(AlignStatementsByIEARule(STATEMENT1, AType.GetPropositionType(), STATEMENT2, EType.GetPropositionType()) ? AddStatementsAfterAlign(STATEMENT1, STATEMENT2) : CANNOTTALIGN); } } else { return(CANNOTTALIGN); } } else if (TYPE1 == "E" && TYPE2 == "A") { if (CheckStatementsCanBeAligned(EType.GetSubjectByStatement(STATEMENT1), EType.GetPredicateByStatement(STATEMENT1), AType.GetSubjectByProposition(STATEMENT2), AType.GetPredicateByProposition(STATEMENT2))) { if (IsAligned(EType.GetPredicateByStatement(STATEMENT1), AType.GetSubjectByProposition(STATEMENT2))) { //return "O*"; return(OType.GetStatementBySubjectAndPredicate(AType.GetPredicateByProposition(STATEMENT2), EType.GetSubjectByStatement(STATEMENT1))); } if (ReArrangingOrder(STATEMENT1, STATEMENT2)) { if (IsAligned(EType.GetPredicateByStatement(STATEMENT1), AType.GetSubjectByProposition(STATEMENT2))) { //return "O*"; return(AddStatementsAfterAlign(STATEMENT1, STATEMENT2)); } ReArrangingOrder(STATEMENT1, STATEMENT2); return(AlignStatementsByIEARule(STATEMENT1, EType.GetPropositionType(), STATEMENT2, AType.GetPropositionType()) ? AddStatementsAfterAlign(STATEMENT2, STATEMENT1) : CANNOTTALIGN); } } else { return(CANNOTTALIGN); } } else if (TYPE1 == "E" && TYPE2 == "I") { if (CheckStatementsCanBeAligned(EType.GetSubjectByStatement(STATEMENT1), EType.GetPredicateByStatement(STATEMENT1), IType.GetSubjectByStatement(STATEMENT2), IType.GetPredicateByStatement(STATEMENT2))) { if (IsAligned(EType.GetPredicateByStatement(STATEMENT1), IType.GetSubjectByStatement(STATEMENT2))) { //return "O*"; return(OType.GetStatementBySubjectAndPredicate(IType.GetPredicateByStatement(STATEMENT2), EType.GetSubjectByStatement(STATEMENT1))); } if (ReArrangingOrder(STATEMENT1, STATEMENT2)) { if (IsAligned(EType.GetPredicateByStatement(STATEMENT1), IType.GetSubjectByStatement(STATEMENT2))) { //return "O*"; return(AddStatementsAfterAlign(STATEMENT1, STATEMENT2)); } ReArrangingOrder(STATEMENT1, STATEMENT2); return(AlignStatementsByIEARule(STATEMENT1, EType.GetPropositionType(), STATEMENT2, IType.GetPropositionType()) ? AddStatementsAfterAlign(STATEMENT2, STATEMENT1) : CANNOTTALIGN); } } else { return(CANNOTTALIGN); } } else if (TYPE1 == "I" && TYPE2 == "A") { if (CheckStatementsCanBeAligned(IType.GetSubjectByStatement(STATEMENT1), IType.GetPredicateByStatement(STATEMENT1), AType.GetSubjectByProposition(STATEMENT2), AType.GetPredicateByProposition(STATEMENT2))) { if (IsAligned(IType.GetPredicateByStatement(STATEMENT1), AType.GetSubjectByProposition(STATEMENT2))) { // return "I"; return(IType.GetStatementBySubjectAndPredicate(IType.GetSubjectByStatement(STATEMENT1), AType.GetPredicateByProposition(STATEMENT2))); } if (ReArrangingOrder(STATEMENT1, STATEMENT2)) { if (IsAligned(IType.GetPredicateByStatement(STATEMENT1), AType.GetSubjectByProposition(STATEMENT2))) { // return "I"; return(AddStatementsAfterAlign(STATEMENT1, STATEMENT2)); } ReArrangingOrder(STATEMENT1, STATEMENT2); return(AlignStatementsByIEARule(STATEMENT1, IType.GetPropositionType(), STATEMENT2, AType.GetPropositionType()) ? AddStatementsAfterAlign(STATEMENT1, STATEMENT2) : CANNOTTALIGN); } } else { return(CANNOTTALIGN); } } else if (TYPE1 == "I" && TYPE2 == "E") { if (CheckStatementsCanBeAligned(IType.GetSubjectByStatement(STATEMENT1), IType.GetPredicateByStatement(STATEMENT1), EType.GetSubjectByStatement(statement2), EType.GetPredicateByStatement(statement2))) { if (IsAligned(IType.GetPredicateByStatement(STATEMENT1), EType.GetSubjectByStatement(statement2))) { // return "O"; return(OType.GetStatementBySubjectAndPredicate(IType.GetSubjectByStatement(STATEMENT1), EType.GetPredicateByStatement(statement2))); } if (ReArrangingOrder(STATEMENT1, STATEMENT2)) { if (IsAligned(IType.GetPredicateByStatement(STATEMENT1), EType.GetSubjectByStatement(statement2))) { //return "O"; return(AddStatementsAfterAlign(STATEMENT1, STATEMENT2)); } ReArrangingOrder(STATEMENT1, STATEMENT2); return(AlignStatementsByIEARule(STATEMENT1, IType.GetPropositionType(), STATEMENT2, EType.GetPropositionType()) ? AddStatementsAfterAlign(STATEMENT1, STATEMENT2) : CANNOTTALIGN); } } } else if (TYPE1 == "A" && TYPE2 == "I") { if (CheckStatementsCanBeAligned(AType.GetSubjectByProposition(STATEMENT1), AType.GetPredicateByProposition(STATEMENT1), IType.GetSubjectByStatement(STATEMENT2), IType.GetPredicateByStatement(STATEMENT2))) { if (IsAligned(AType.GetPredicateByProposition(STATEMENT1), IType.GetSubjectByStatement(STATEMENT2))) { //return "A"; //return AType.GetStatementBySubjectAndPredicate(AType.GetSubjectByStatement(STATEMENT1), AType.GetPredicateByStatement(STATEMENT2)); } else if (ReArrangingOrder(STATEMENT1, STATEMENT2)) { return(AddStatementsAfterAlign(STATEMENT1, STATEMENT2)); } } else { return(CANNOTTALIGN); } } return(NODEFINITECONCLUSION.Replace("<<TYPE1>>", TYPE1) .Replace("<<TYPE2>>", TYPE2)); }
public static Statement Add(Statement statement1, Statement statement2) { var TYPE1 = statement1.PropositionType; var TYPE2 = statement2.PropositionType; var STATEMENT1 = statement1.StatementName; var STATEMENT2 = statement2.StatementName; var result = string.Empty; if (!(IAERule.CheckStatementsCanBeAligned(statement1, statement2))) { return(null); //==>if the statements to be added cannot be aligned then it should retun null [for safety]; } if (TYPE1 == "A" && TYPE2 == "A") { //return "A"; result = AType.GetPropositionBySubjectAndPredicate(statement1.Subject, statement2.Predicate); return(new Statement(result)); } else if (TYPE1 == "A" && TYPE2 == "E") { //return "E"; result = EType.GetPropositionBySubjectAndPredicate(statement1.Subject, statement2.Predicate); return(new Statement(result)); } else if (TYPE1 == "E" && TYPE2 == "A") { //return "O*"; result = OType.GetStatementBySubjectAndPredicate(statement2.Predicate, statement1.Subject); return(new Statement(result)); } else if (TYPE1 == "E" && TYPE2 == "I") { //return "O*"; result = OType.GetStatementBySubjectAndPredicate(statement2.Predicate, statement1.Subject); return(new Statement(result)); } else if (TYPE1 == "I" && TYPE2 == "A") { // return "I"; result = IType.GetStatementBySubjectAndPredicate(statement1.Subject, statement2.Predicate); return(new Statement(result)); } else if (TYPE1 == "I" && TYPE2 == "E") { // return "O"; result = OType.GetStatementBySubjectAndPredicate(statement1.Subject, statement2.Predicate); return(new Statement(result)); } else if (TYPE1 == "A" && TYPE2 == "I") { return(null); //Convert "I" + "A"; // return "I"; //result = IType.GetStatementBySubjectAndPredicate(statement2.Subject, // statement1.Predicate); // return new Statement(result); //Had to implement rearranging order } return(null); }