Anne is blue. Anne is not red. Anne is rough. Bob is cold. Bob is green. Bob is red. Dave is green. Dave is rough. Fiona is red. Fiona is round. If Anne is rough then Anne is not green. If Bob is round and Bob is cold then Bob is blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If Anne is rough then Anne is not green.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "green" "-"))
If Bob is round and Bob is cold then Bob is blue.
((("Bob" "is" "round" "+") ("Bob" "is" "cold" "+")) -> ("Bob" "is" "blue" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Bob is not green.
False
1
inv-proof
[(triple5)]
("Bob" "is" "green" "-")
triple5
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is blue.[(triple1)] Anne is not red.[(triple2)] Anne is rough.[(triple3)] Bob is cold.[(triple4)] Bob is green.[(triple5)] Bob is red.[(triple6)] Dave is green.[(triple7)] Dave is rough.[(triple8)] Fiona is red.[(triple9)] Fiona is round.[(triple10)] @1: Anne is not green.[(((triple3) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is not red.
("Anne" "is" "red" "-")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Anne is not green.
("Anne" "is" "green" "-")
((triple3) -> (rule1 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1