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);
}
