Anne is cold. Anne is kind. Anne is round. Bob is not cold. Bob is red. Bob is round. Dave is cold. Dave is kind. Dave is quiet. Dave is red. Gary is not cold. Gary is kind. If Anne is quiet and Anne is blue then Anne is kind. Quiet, blue things are cold. Round, quiet things are cold. If Gary is round and Gary is red then Gary is not cold. Cold, rough things are round. If Anne is rough then Anne is not blue.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is kind.
("Gary" "is" "kind" "+")
If Anne is quiet and Anne is blue then Anne is kind.
((("Anne" "is" "quiet" "+") ("Anne" "is" "blue" "+")) -> ("Anne" "is" "kind" "+"))
Quiet, blue things are cold.
((("something" "is" "quiet" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
Round, quiet things are cold.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If Gary is round and Gary is red then Gary is not cold.
((("Gary" "is" "round" "+") ("Gary" "is" "red" "+")) -> ("Gary" "is" "cold" "-"))
Cold, rough things are round.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If Anne is rough then Anne is not blue.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "blue" "-"))
Bob is red.
True
1
proof
[(triple5)]
("Bob" "is" "red" "+")
triple5
Bob is cold.
False
1
inv-proof
[(triple4)]
("Bob" "is" "cold" "+")
triple4
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Bob is not cold.[(triple4)] Bob is red.[(triple5)] Bob is round.[(triple6)] Dave is cold.[(triple7)] Dave is kind.[(triple8)] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Gary is kind.[(triple12)] Gary is not cold.[(triple11)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Bob is not cold.
("Bob" "is" "cold" "-")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is quiet.
("Dave" "is" "quiet" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is not cold.
("Gary" "is" "cold" "-")
triple11