Erin is smart. If someone is white and smart then they are green. All kind, red people are white. If someone is white then they are kind. If Erin is rough then Erin is red. If someone is rough and smart then they are red. Rough, red people are smart. If Erin is white then Erin is kind. Smart people are red.
Erin is smart.
("Erin" "is" "smart" "+")
If someone is white and smart then they are green.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
All kind, red people are white.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If someone is white then they are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If Erin is rough then Erin is red.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "red" "+"))
If someone is rough and smart then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
Rough, red people are smart.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
If Erin is white then Erin is kind.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "kind" "+"))
Smart people are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
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 red.
True
2
proof
[(((triple1) -> rule8))]
("Erin" "is" "red" "+")
((triple1) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple1) -> rule8))]
("Erin" "is" "red" "-")
((triple1) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not green.
Unknown
inv-rconc
[@3: Erin is green.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule3 <- FAIL)]]
("Erin" "is" "green" "-")
Erin is kind.
Unknown
rconc
[@3: Erin is kind.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule7 <- FAIL)]]
("Erin" "is" "kind" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Erin is smart.[(triple1)] @1: Erin is red.[(((triple1) -> rule8))]
Erin is smart.
("Erin" "is" "smart" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
((triple1) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1