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