Bob is blue. Erin is round. Round things are white. If something is furry and smart then it is white. If Bob is red then Bob is round. If something is nice and furry then it is blue. Nice things are white. If something is blue then it is smart. Furry things are smart. Furry, blue things are nice.
Bob is blue.
("Bob" "is" "blue" "+")
Erin is round.
("Erin" "is" "round" "+")
Round things are white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
If something is furry and smart then it is white.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
If Bob is red then Bob is round.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "round" "+"))
If something is nice and furry then it is blue.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
Nice things are white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
If something is blue then it is smart.
((("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
Furry things are smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Furry, blue things are nice.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Erin is not round.
False
1
inv-proof
[(triple2)]
("Erin" "is" "round" "-")
triple2
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "nice" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Bob is blue.[(triple1)] Erin is round.[(triple2)] @1: Bob is smart.[(((triple1) -> rule6))] Erin is white.[(((triple2) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple2) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1