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