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