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