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