The cow chases the lion. The cow is cold. The cow is kind. The cow is red. The cow sees the lion. The lion chases the cow. The lion is blue. The lion is green. The lion is not kind. The lion is not red. The lion needs the cow. The lion does not see the cow. If something needs the cow and the cow does not need the lion then it does not see the lion. If something needs the cow and the cow is not cold then the cow is blue.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is not kind.
("lion" "is" "kind" "-")
The lion is not red.
("lion" "is" "red" "-")
The lion needs the cow.
("lion" "needs" "cow" "+")
The lion does not see the cow.
("lion" "sees" "cow" "-")
If something needs the cow and the cow does not need the lion then it does not see the lion.
((("something" "needs" "cow" "+") ("cow" "needs" "lion" "~")) -> ("something" "sees" "lion" "-"))
If something needs the cow and the cow is not cold then the cow is blue.
((("something" "needs" "cow" "+") ("cow" "is" "cold" "~")) -> ("cow" "is" "blue" "+"))
The cow chases the lion.
True
1
proof
[(triple1)]
("cow" "chases" "lion" "+")
triple1
The lion does not chase the cow.
False
1
inv-proof
[(triple6)]
("lion" "chases" "cow" "-")
triple6
The cow is not blue.
Unknown
inv-rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "blue" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The cow chases the lion.[(triple1)] The cow is cold.[(triple2)] The cow is kind.[(triple3)] The cow is red.[(triple4)] The cow sees the lion.[(triple5)] The lion chases the cow.[(triple6)] The lion does not see the cow.[(triple12)] The lion is blue.[(triple7)] The lion is green.[(triple8)] The lion is not kind.[(triple9)] The lion is not red.[(triple10)] The lion needs the cow.[(triple11)]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow sees the lion.
("cow" "sees" "lion" "+")
triple5
The lion chases the cow.
("lion" "chases" "cow" "+")
triple6
The lion does not see the cow.
("lion" "sees" "cow" "-")
triple12
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion is green.
("lion" "is" "green" "+")
triple8
The lion is not kind.
("lion" "is" "kind" "-")
triple9
The lion is not red.
("lion" "is" "red" "-")
triple10
The lion needs the cow.
("lion" "needs" "cow" "+")
triple11