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