Anne is blue. Anne is green. Anne is white. Bob is cold. Fiona is blue. Fiona is nice. Fiona is white. If something is rough and not nice then it is green. Nice things are not rough. If something is blue and not green then it is white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is rough and not nice then it is green.
((("something" "is" "rough" "+") ("something" "is" "nice" "~")) -> ("something" "is" "green" "+"))
Nice things are not rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "-"))
If something is blue and not green then it is white.
((("something" "is" "blue" "+") ("something" "is" "green" "~")) -> ("something" "is" "white" "+"))
Anne is green.
True
1
proof
[(triple2)]
("Anne" "is" "green" "+")
triple2
Fiona is not white.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "white" "-")
triple7
Fiona is not rough.
True
2
proof
[(((triple6) -> rule2))]
("Fiona" "is" "rough" "-")
((triple6) -> (rule2 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is rough.
False
2
inv-proof
[(((triple6) -> rule2))]
("Fiona" "is" "rough" "+")
((triple6) -> (rule2 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "white" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is white.[(triple3)] Bob is cold.[(triple4)] Fiona is blue.[(triple5)] Fiona is nice.[(triple6)] Fiona is white.[(triple7)] @1: Fiona is not rough.[(((triple6) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Fiona is not rough.
("Fiona" "is" "rough" "-")
((triple6) -> (rule2 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1