Charlie is furry. Charlie is white. Dave is kind. Dave is young. Fiona is blue. Fiona is green. Fiona is kind. Fiona is white. Fiona is young. Gary is furry. Gary is kind. Gary is nice. If Gary is green then Gary is white. If someone is kind then they are blue. All blue people are furry.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is kind.
("Dave" "is" "kind" "+")
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 white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If Gary is green then Gary is white.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "white" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
All blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
Charlie is furry.
True
1
proof
[(triple1)]
("Charlie" "is" "furry" "+")
triple1
Fiona is not green.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "green" "-")
triple6
Fiona is furry.
True
2
proof
[(((triple5) -> rule3) OR ((((triple7) -> rule2)) -> rule3))]
("Fiona" "is" "furry" "+")
((triple5) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Dave is not blue.
False
2
inv-proof
[(((triple3) -> rule2))]
("Dave" "is" "blue" "-")
((triple3) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is furry.
True
3
proof
[(((((triple3) -> rule2)) -> rule3))]
("Dave" "is" "furry" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not furry.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule3))]
("Dave" "is" "furry" "-")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Charlie is furry.[(triple1)] Charlie is white.[(triple2)] Dave is kind.[(triple3)] Dave is young.[(triple4)] Fiona is blue.[(triple5 OR ((triple7) -> rule2))] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is white.[(triple8)] Fiona is young.[(triple9)] Gary is furry.[(triple10 OR ((((triple11) -> rule2)) -> rule3))] Gary is kind.[(triple11)] Gary is nice.[(triple12)] @1: Dave is blue.[(((triple3) -> rule2))] Fiona is furry.[(((triple5) -> rule3) OR ((((triple7) -> rule2)) -> rule3))] Gary is blue.[(((triple11) -> rule2))] @2: Dave is furry.[(((((triple3) -> rule2)) -> rule3))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
((triple7) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
((((triple11) -> (rule2 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Dave is blue.
("Dave" "is" "blue" "+")
((triple3) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple5) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((triple11) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2