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