Gary is green. Gary is kind. Gary is white. If something is kind and nice then it is red. Furry things are young. All white things are furry.
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is kind and nice then it is red.
((("something" "is" "kind" "+") ("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
Furry things are young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
All white things are furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Gary is white.
True
1
proof
[(triple3)]
("Gary" "is" "white" "+")
triple3
Gary is not green.
False
1
inv-proof
[(triple1)]
("Gary" "is" "green" "-")
triple1
Gary is furry.
True
2
proof
[(((triple3) -> rule3))]
("Gary" "is" "furry" "+")
((triple3) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple3) -> rule3))]
("Gary" "is" "furry" "-")
((triple3) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
True
3
proof
[(((((triple3) -> rule3)) -> rule2))]
("Gary" "is" "young" "+")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not young.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule2))]
("Gary" "is" "young" "-")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Gary is green.[(triple1)] Gary is kind.[(triple2)] Gary is white.[(triple3)] @1: Gary is furry.[(((triple3) -> rule3))] @2: Gary is young.[(((((triple3) -> rule3)) -> rule2))]
Gary is green.
("Gary" "is" "green" "+")
triple1
Gary is kind.
("Gary" "is" "kind" "+")
triple2
Gary is white.
("Gary" "is" "white" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
((triple3) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2