The cat visits the lion. The cat visits the mouse. The cow is kind. The cow is round. The cow likes the cat. The cow needs the mouse. The cow visits the lion. The lion likes the cat. The lion needs the cat. The lion needs the mouse. The mouse likes the cat. The mouse needs the cow. If something is nice then it visits the mouse. If something visits the cow then it visits the lion. If the cat needs the cow then the cat visits the cow.
The cat visits the lion.
("cat" "visits" "lion" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
If something is nice then it visits the mouse.
((("something" "is" "nice" "+")) -> ("something" "visits" "mouse" "+"))
If something visits the cow then it visits the lion.
((("something" "visits" "cow" "+")) -> ("something" "visits" "lion" "+"))
If the cat needs the cow then the cat visits the cow.
((("cat" "needs" "cow" "+")) -> ("cat" "visits" "cow" "+"))
The lion needs the mouse.
True
1
proof
[(triple10)]
("lion" "needs" "mouse" "+")
triple10
The cow does not need the mouse.
False
1
inv-proof
[(triple6)]
("cow" "needs" "mouse" "-")
triple6
The cat does not visit the cow.
Unknown
inv-rconc
[@1: The cat visits the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "visits" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cat visits the lion.[(triple1)] The cat visits the mouse.[(triple2)] The cow is kind.[(triple3)] The cow is round.[(triple4)] The cow likes the cat.[(triple5)] The cow needs the mouse.[(triple6)] The cow visits the lion.[(triple7)] The lion likes the cat.[(triple8)] The lion needs the cat.[(triple9)] The lion needs the mouse.[(triple10)] The mouse likes the cat.[(triple11)] The mouse needs the cow.[(triple12)]
The cat visits the lion.
("cat" "visits" "lion" "+")
triple1
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow likes the cat.
("cow" "likes" "cat" "+")
triple5
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple6
The cow visits the lion.
("cow" "visits" "lion" "+")
triple7
The lion likes the cat.
("lion" "likes" "cat" "+")
triple8
The lion needs the cat.
("lion" "needs" "cat" "+")
triple9
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple10
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple11
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple12