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