Anne is blue. Charlie is not kind. Fiona is not blue. Gary is not smart. All smart, blue things are red. If something is smart and not rough then it is not blue.
Anne is blue.
("Anne" "is" "blue" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Gary is not smart.
("Gary" "is" "smart" "-")
All smart, blue things are red.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If something is smart and not rough then it is not blue.
((("something" "is" "smart" "+") ("something" "is" "rough" "~")) -> ("something" "is" "blue" "-"))
Charlie is not kind.
True
1
proof
[(triple2)]
("Charlie" "is" "kind" "-")
triple2
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "red" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Anne is blue.[(triple1)] Charlie is not kind.[(triple2)] Fiona is not blue.[(triple3)] Gary is not smart.[(triple4)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple2
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple3
Gary is not smart.
("Gary" "is" "smart" "-")
triple4