Anne is young. Dave is red. Dave is young. Gary is blue. Gary is nice. Gary is quiet. Gary is rough. All red, blue things are white. If Gary is rough then Gary is red. Red things are young.
Anne is young.
("Anne" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All red, blue things are white.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If Gary is rough then Gary is red.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "red" "+"))
Red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
Gary is quiet.
True
1
proof
[(triple6)]
("Gary" "is" "quiet" "+")
triple6
Gary is not blue.
False
1
inv-proof
[(triple4)]
("Gary" "is" "blue" "-")
triple4
Gary is red.
True
2
proof
[(((triple7) -> rule2))]
("Gary" "is" "red" "+")
((triple7) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple7) -> rule2))]
("Gary" "is" "red" "-")
((triple7) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
True
3
proof
[(((((triple7) -> rule2)) -> rule3))]
("Gary" "is" "young" "+")
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not white.
False
4
inv-proof
[(((((triple7) -> rule2) triple4) -> rule1))]
("Gary" "is" "white" "-")
((((triple7) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Anne is white.
Unknown
rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "white" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is young.[(triple1)] Dave is red.[(triple2)] Dave is young.[(triple3 OR ((triple2) -> rule3))] Gary is blue.[(triple4)] Gary is nice.[(triple5)] Gary is quiet.[(triple6)] Gary is rough.[(triple7)] @1: Gary is red.[(((triple7) -> rule2))] @2: Gary is white.[(((((triple7) -> rule2) triple4) -> rule1))] Gary is young.[(((((triple7) -> rule2)) -> rule3))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
((triple2) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
((triple7) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((((triple7) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2