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