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