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