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