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