Anne is green. Gary is blue. All green people are not furry. If someone is cold and green then they are rough. If Anne is furry then Anne is rough. If someone is green and not kind then they are blue. All rough, kind people are not blue. If Gary is white and Gary is not furry then Gary is not rough.
Anne is green.
("Anne" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
All green people are not furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "-"))
If someone is cold and green then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If Anne is furry then Anne is rough.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "rough" "+"))
If someone is green and not kind then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "blue" "+"))
All rough, kind people are not blue.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "-"))
If Gary is white and Gary is not furry then Gary is not rough.
((("Gary" "is" "white" "+") ("Gary" "is" "furry" "~")) -> ("Gary" "is" "rough" "-"))
Gary is blue.
True
1
proof
[(triple2)]
("Gary" "is" "blue" "+")
triple2
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Anne is not furry.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1
Anne is furry.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "blue" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Anne is green.[(triple1)] Gary is blue.[(triple2)] @1: Anne is not furry.[(((triple1) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Anne is not furry.
("Anne" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1