Gary is young. If something is quiet then it is round. If Gary is furry then Gary is round. If Gary is young then Gary is green.
Gary is young.
("Gary" "is" "young" "+")
If something is quiet then it is round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
If Gary is furry then Gary is round.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "round" "+"))
If Gary is young then Gary is green.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "green" "+"))
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 green.
True
2
proof
[(((triple1) -> rule3))]
("Gary" "is" "green" "+")
((triple1) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple1) -> rule3))]
("Gary" "is" "green" "-")
((triple1) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Gary is young.[(triple1)] @1: Gary is green.[(((triple1) -> rule3))]
Gary is young.
("Gary" "is" "young" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
((triple1) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1