The cat likes the squirrel. The lion chases the mouse. The lion likes the mouse. The lion sees the cat. The lion sees the mouse. The lion sees the squirrel. The mouse chases the cat. The mouse chases the lion. The mouse is young. The squirrel chases the mouse. The squirrel is big. The squirrel likes the mouse. If someone likes the cat then they are nice. If someone is round and blue then they like the lion.
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is young.
("mouse" "is" "young" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
If someone likes the cat then they are nice.
((("someone" "likes" "cat" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and blue then they like the lion.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "likes" "lion" "+"))
The squirrel chases the mouse.
True
1
proof
[(triple10)]
("squirrel" "chases" "mouse" "+")
triple10
The mouse does not chase the cat.
False
1
inv-proof
[(triple7)]
("mouse" "chases" "cat" "-")
triple7
The squirrel does not like the lion.
Unknown
inv-rconc
[@1: The squirrel likes the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "likes" "lion" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
@0: The cat likes the squirrel.[(triple1)] The lion chases the mouse.[(triple2)] The lion likes the mouse.[(triple3)] The lion sees the cat.[(triple4)] The lion sees the mouse.[(triple5)] The lion sees the squirrel.[(triple6)] The mouse chases the cat.[(triple7)] The mouse chases the lion.[(triple8)] The mouse is young.[(triple9)] The squirrel chases the mouse.[(triple10)] The squirrel is big.[(triple11)] The squirrel likes the mouse.[(triple12)]
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple1
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple3
The lion sees the cat.
("lion" "sees" "cat" "+")
triple4
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple5
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple6
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple7
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple8
The mouse is young.
("mouse" "is" "young" "+")
triple9
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple12