Anne is not blue. Anne is not cold. Anne is green. Anne is kind. Anne is red. Anne is smart. Anne is not white. Bob is not smart. Charlie is kind. Charlie is red. Charlie is smart. Charlie is white. Erin is cold. Erin is not kind. Erin is red. Erin is smart. If something is white and not cold then it is blue. If Bob is blue and Bob is red then Bob is smart.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is not white.
("Anne" "is" "white" "-")
Bob is not smart.
("Bob" "is" "smart" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If something is white and not cold then it is blue.
((("something" "is" "white" "+") ("something" "is" "cold" "~")) -> ("something" "is" "blue" "+"))
If Bob is blue and Bob is red then Bob is smart.
((("Bob" "is" "blue" "+") ("Bob" "is" "red" "+")) -> ("Bob" "is" "smart" "+"))
Charlie is white.
True
1
proof
[(triple12)]
("Charlie" "is" "white" "+")
triple12
Anne is not red.
False
1
inv-proof
[(triple5)]
("Anne" "is" "red" "-")
triple5
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is not blue.[(triple1)] Anne is not cold.[(triple2)] Anne is not white.[(triple7)] Anne is red.[(triple5)] Anne is smart.[(triple6)] Bob is not smart.[(triple8)] Charlie is kind.[(triple9)] Charlie is red.[(triple10)] Charlie is smart.[(triple11)] Charlie is white.[(triple12)] Erin is cold.[(triple13)] Erin is not kind.[(triple14)] Erin is red.[(triple15)] Erin is smart.[(triple16)]
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not cold.
("Anne" "is" "cold" "-")
triple2
Anne is not white.
("Anne" "is" "white" "-")
triple7
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Bob is not smart.
("Bob" "is" "smart" "-")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple9
Charlie is red.
("Charlie" "is" "red" "+")
triple10
Charlie is smart.
("Charlie" "is" "smart" "+")
triple11
Charlie is white.
("Charlie" "is" "white" "+")
triple12
Erin is cold.
("Erin" "is" "cold" "+")
triple13
Erin is not kind.
("Erin" "is" "kind" "-")
triple14
Erin is red.
("Erin" "is" "red" "+")
triple15
Erin is smart.
("Erin" "is" "smart" "+")
triple16