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