Erin is nice. White, kind things are young. If Erin is nice then Erin is not red. Young things are not white. All red things are not nice. If Erin is nice then Erin is kind. If something is white and not young then it is blue.
Erin is nice.
("Erin" "is" "nice" "+")
White, kind things are young.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If Erin is nice then Erin is not red.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "red" "-"))
Young things are not white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "-"))
All red things are not nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "-"))
If Erin is nice then Erin is kind.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "kind" "+"))
If something is white and not young then it is blue.
((("something" "is" "white" "+") ("something" "is" "young" "~")) -> ("something" "is" "blue" "+"))
Erin is nice.
True
1
proof
[(triple1)]
("Erin" "is" "nice" "+")
triple1
Erin is not nice.
False
1
inv-proof
[(triple1)]
("Erin" "is" "nice" "-")
triple1
Erin is not red.
True
2
proof
[(((triple1) -> rule2))]
("Erin" "is" "red" "-")
((triple1) -> (rule2 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Erin is not kind.
False
2
inv-proof
[(((triple1) -> rule5))]
("Erin" "is" "kind" "-")
((triple1) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "blue" "-")
Erin is young.
Unknown
rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Erin is nice.[(triple1)] @1: Erin is kind.[(((triple1) -> rule5))] Erin is not red.[(((triple1) -> rule2))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
((triple1) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not red.
("Erin" "is" "red" "-")
((triple1) -> (rule2 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1