Anne is green. Dave is kind. Gary is furry. If Gary is rough then Gary is kind. If something is green then it is round.
Anne is green.
("Anne" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If Gary is rough then Gary is kind.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "kind" "+"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Dave is kind.
True
1
proof
[(triple2)]
("Dave" "is" "kind" "+")
triple2
Dave is not kind.
False
1
inv-proof
[(triple2)]
("Dave" "is" "kind" "-")
triple2
Anne is round.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "round" "+")
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not round.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "round" "-")
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Anne is green.[(triple1)] Dave is kind.[(triple2)] Gary is furry.[(triple3)] @1: Anne is round.[(((triple1) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1