Anne is nice. Anne is round. Bob is blue. Bob is kind. Bob is nice. Erin is red. Erin is rough. If something is red then it is blue. If something is round and blue then it is furry.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
If something is red then it is blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If something is round and blue then it is furry.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Anne is round.
True
1
proof
[(triple2)]
("Anne" "is" "round" "+")
triple2
Bob is not kind.
False
1
inv-proof
[(triple4)]
("Bob" "is" "kind" "-")
triple4
Anne is not furry.
Unknown
inv-rconc
[@2: Anne is furry.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Anne" "is" "furry" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is nice.[(triple1)] Anne is round.[(triple2)] Bob is blue.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] @1: Erin is blue.[(((triple6) -> rule1))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
((triple6) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1