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