Anne is not cold. Dave is smart. Erin is smart. If someone is kind then they are white. If someone is round and not young then they are white. If Dave is not kind then Dave is white.
Anne is not cold.
("Anne" "is" "cold" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If someone is kind then they are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
If someone is round and not young then they are white.
((("someone" "is" "round" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "white" "+"))
If Dave is not kind then Dave is white.
((("Dave" "is" "kind" "~")) -> ("Dave" "is" "white" "+"))
Anne is not cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Dave is not smart.
False
1
inv-proof
[(triple2)]
("Dave" "is" "smart" "-")
triple2
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "white" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is not cold.[(triple1)] Dave is smart.[(triple2)] Erin is smart.[(triple3)]
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Dave is smart.
("Dave" "is" "smart" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3