Erin is smart. If Erin is blue then Erin is nice. Rough things are blue. If Erin is smart and Erin is quiet then Erin is blue. If something is quiet and smart then it is furry. Quiet things are blue. If Erin is furry and Erin is green then Erin is nice. If Erin is green then Erin is furry. If Erin is smart then Erin is nice.
Erin is smart.
("Erin" "is" "smart" "+")
If Erin is blue then Erin is nice.
((("Erin" "is" "blue" "+")) -> ("Erin" "is" "nice" "+"))
Rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If Erin is smart and Erin is quiet then Erin is blue.
((("Erin" "is" "smart" "+") ("Erin" "is" "quiet" "+")) -> ("Erin" "is" "blue" "+"))
If something is quiet and smart then it is furry.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
Quiet things are blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
If Erin is furry and Erin is green then Erin is nice.
((("Erin" "is" "furry" "+") ("Erin" "is" "green" "+")) -> ("Erin" "is" "nice" "+"))
If Erin is green then Erin is furry.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "furry" "+"))
If Erin is smart then Erin is nice.
((("Erin" "is" "smart" "+")) -> ("Erin" "is" "nice" "+"))
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 nice.
True
2
proof
[(((triple1) -> rule8))]
("Erin" "is" "nice" "+")
((triple1) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not nice.
False
2
inv-proof
[(((triple1) -> rule8))]
("Erin" "is" "nice" "-")
((triple1) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "blue" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "furry" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Erin is smart.[(triple1)] @1: Erin is nice.[(((triple1) -> rule8))]
Erin is smart.
("Erin" "is" "smart" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
((triple1) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1