Gary is kind. Furry things are young. Round, big things are furry. All red things are young. If Gary is big then Gary is furry. All red, kind things are round. If Gary is round then Gary is young. If Gary is round and Gary is kind then Gary is blue. All kind things are round.
Gary is kind.
("Gary" "is" "kind" "+")
Furry things are young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
Round, big things are furry.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
All red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If Gary is big then Gary is furry.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "furry" "+"))
All red, kind things are round.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If Gary is round then Gary is young.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "young" "+"))
If Gary is round and Gary is kind then Gary is blue.
((("Gary" "is" "round" "+") ("Gary" "is" "kind" "+")) -> ("Gary" "is" "blue" "+"))
All kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Gary is kind.
True
1
proof
[(triple1)]
("Gary" "is" "kind" "+")
triple1
Gary is not kind.
False
1
inv-proof
[(triple1)]
("Gary" "is" "kind" "-")
triple1
Gary is round.
True
2
proof
[(((triple1) -> rule8))]
("Gary" "is" "round" "+")
((triple1) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple1) -> rule8))]
("Gary" "is" "round" "-")
((triple1) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
True
3
proof
[(((((triple1) -> rule8)) -> rule6))]
("Gary" "is" "young" "+")
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not blue.
False
4
inv-proof
[(((((triple1) -> rule8) triple1) -> rule7))]
("Gary" "is" "blue" "-")
((((triple1) -> (rule8 % int2)) triple1) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Gary is kind.[(triple1)] @1: Gary is round.[(((triple1) -> rule8))] @2: Gary is blue.[(((((triple1) -> rule8) triple1) -> rule7))] Gary is young.[(((((triple1) -> rule8)) -> rule6))]
Gary is kind.
("Gary" "is" "kind" "+")
triple1
Gary is round.
("Gary" "is" "round" "+")
((triple1) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple1) -> (rule8 % int2)) triple1) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2