Anne is green. Anne is nice. Bob is not green. Bob is nice. Dave is green. Dave is nice. Dave is smart. If someone is kind and not green then they are not nice. All kind, smart people are nice. All white people are nice.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is smart.
("Dave" "is" "smart" "+")
If someone is kind and not green then they are not nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "nice" "-"))
All kind, smart people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
All white people are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
Anne is nice.
True
1
proof
[(triple2)]
("Anne" "is" "nice" "+")
triple2
Anne is not nice.
False
1
inv-proof
[(triple2)]
("Anne" "is" "nice" "-")
triple2
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Bob is nice.[(triple4)] Bob is not green.[(triple3)] Dave is green.[(triple5)] Dave is nice.[(triple6)] Dave is smart.[(triple7)]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is not green.
("Bob" "is" "green" "-")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is smart.
("Dave" "is" "smart" "+")
triple7