Gary is young. If something is young then it is big. If Gary is furry and Gary is quiet then Gary is big. If something is blue then it is furry.
Gary is young.
("Gary" "is" "young" "+")
If something is young then it is big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If Gary is furry and Gary is quiet then Gary is big.
((("Gary" "is" "furry" "+") ("Gary" "is" "quiet" "+")) -> ("Gary" "is" "big" "+"))
If something is blue then it is furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Gary is young.
True
1
proof
[(triple1)]
("Gary" "is" "young" "+")
triple1
Gary is not young.
False
1
inv-proof
[(triple1)]
("Gary" "is" "young" "-")
triple1
Gary is big.
True
2
proof
[(((triple1) -> rule1))]
("Gary" "is" "big" "+")
((triple1) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple1) -> rule1))]
("Gary" "is" "big" "-")
((triple1) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Gary is young.[(triple1)] @1: Gary is big.[(((triple1) -> rule1))]
Gary is young.
("Gary" "is" "young" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
((triple1) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1