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