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