Anne is nice. Bob is cold. Erin is nice. Harry is white. If Anne is blue then Anne is red. All red, cold people are kind.
Anne is nice.
("Anne" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Harry is white.
("Harry" "is" "white" "+")
If Anne is blue then Anne is red.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "red" "+"))
All red, cold people are kind.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Erin is nice.
True
1
proof
[(triple3)]
("Erin" "is" "nice" "+")
triple3
Bob is not cold.
False
1
inv-proof
[(triple2)]
("Bob" "is" "cold" "-")
triple2
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "kind" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Anne is nice.[(triple1)] Bob is cold.[(triple2)] Erin is nice.[(triple3)] Harry is white.[(triple4)]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Harry is white.
("Harry" "is" "white" "+")
triple4