Anne is young. Bob is rough. Charlie is white. Gary is white. If Gary is white then Gary is not furry. If something is white and not smart then it is furry. If Charlie is red and Charlie is rough then Charlie is white.
Anne is young.
("Anne" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is white then Gary is not furry.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "furry" "-"))
If something is white and not smart then it is furry.
((("something" "is" "white" "+") ("something" "is" "smart" "~")) -> ("something" "is" "furry" "+"))
If Charlie is red and Charlie is rough then Charlie is white.
((("Charlie" "is" "red" "+") ("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "white" "+"))
Charlie is white.
True
1
proof
[(triple3)]
("Charlie" "is" "white" "+")
triple3
Charlie is not white.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "white" "-")
triple3
Gary is not furry.
True
2
proof
[(((triple4) -> rule1))]
("Gary" "is" "furry" "-")
((triple4) -> (rule1 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is furry.
False
2
inv-proof
[(((triple4) -> rule1))]
("Gary" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "furry" "-")
Bob is furry.
Unknown
rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "furry" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Anne is young.[(triple1)] Bob is rough.[(triple2)] Charlie is white.[(triple3)] Gary is white.[(triple4)] @1: Gary is not furry.[(((triple4) -> rule1))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Gary is white.
("Gary" "is" "white" "+")
triple4
Gary is not furry.
("Gary" "is" "furry" "-")
((triple4) -> (rule1 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1