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