The cat is nice. The cat is red. The cat visits the cow. The cow chases the lion. The cow is green. The cow sees the lion. The lion chases the cat. The lion chases the mouse. The lion is rough. The lion sees the cat. The lion sees the mouse. The lion visits the cat. The lion visits the mouse. The mouse chases the cat. The mouse is green. If something visits the lion and the lion sees the cat then it is red.
The cat is nice.
("cat" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow is green.
("cow" "is" "green" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is green.
("mouse" "is" "green" "+")
If something visits the lion and the lion sees the cat then it is red.
((("something" "visits" "lion" "+") ("lion" "sees" "cat" "+")) -> ("something" "is" "red" "+"))
The cat is nice.
True
1
proof
[(triple1)]
("cat" "is" "nice" "+")
triple1
The cow does not see the lion.
False
1
inv-proof
[(triple6)]
("cow" "sees" "lion" "-")
triple6
The mouse is not red.
Unknown
inv-rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "red" "-")
The cow chases the mouse.
Unknown
random
[@0: The cow chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "mouse" "+")
@0: The cat is nice.[(triple1)] The cat is red.[(triple2)] The cat visits the cow.[(triple3)] The cow chases the lion.[(triple4)] The cow is green.[(triple5)] The cow sees the lion.[(triple6)] The lion chases the cat.[(triple7)] The lion chases the mouse.[(triple8)] The lion is rough.[(triple9)] The lion sees the cat.[(triple10)] The lion sees the mouse.[(triple11)] The lion visits the cat.[(triple12)] The lion visits the mouse.[(triple13)] The mouse chases the cat.[(triple14)] The mouse is green.[(triple15)]
The cat is nice.
("cat" "is" "nice" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The cat visits the cow.
("cat" "visits" "cow" "+")
triple3
The cow chases the lion.
("cow" "chases" "lion" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow sees the lion.
("cow" "sees" "lion" "+")
triple6
The lion chases the cat.
("lion" "chases" "cat" "+")
triple7
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple8
The lion is rough.
("lion" "is" "rough" "+")
triple9
The lion sees the cat.
("lion" "sees" "cat" "+")
triple10
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple11
The lion visits the cat.
("lion" "visits" "cat" "+")
triple12
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple13
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple14
The mouse is green.
("mouse" "is" "green" "+")
triple15