The cat does not chase the lion. The cat chases the squirrel. The cat does not eat the lion. The cat eats the squirrel. The cat is not big. The cat is red. The cat needs the lion. The lion is blue. The lion needs the cat. The squirrel eats the lion. The squirrel is kind. The squirrel needs the lion. If the squirrel is big and the cat does not eat the squirrel then the cat chases the squirrel. If someone is round then they eat the cat. If someone is round and they do not need the lion then they need the cat.
The cat does not chase the lion.
("cat" "chases" "lion" "-")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat does not eat the lion.
("cat" "eats" "lion" "-")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is not big.
("cat" "is" "big" "-")
The cat is red.
("cat" "is" "red" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If the squirrel is big and the cat does not eat the squirrel then the cat chases the squirrel.
((("squirrel" "is" "big" "+") ("cat" "eats" "squirrel" "~")) -> ("cat" "chases" "squirrel" "+"))
If someone is round then they eat the cat.
((("someone" "is" "round" "+")) -> ("someone" "eats" "cat" "+"))
If someone is round and they do not need the lion then they need the cat.
((("someone" "is" "round" "+") ("someone" "needs" "lion" "~")) -> ("someone" "needs" "cat" "+"))
The squirrel is kind.
True
1
proof
[(triple11)]
("squirrel" "is" "kind" "+")
triple11
The squirrel is not kind.
False
1
inv-proof
[(triple11)]
("squirrel" "is" "kind" "-")
triple11
The squirrel does not eat the cat.
Unknown
inv-rconc
[@1: The squirrel eats the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "cat" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The cat chases the squirrel.[(triple2)] The cat does not chase the lion.[(triple1)] The cat does not eat the lion.[(triple3)] The cat eats the squirrel.[(triple4)] The cat is not big.[(triple5)] The cat is red.[(triple6)] The cat needs the lion.[(triple7)] The lion is blue.[(triple8)] The lion needs the cat.[(triple9)] The squirrel eats the lion.[(triple10)] The squirrel is kind.[(triple11)] The squirrel needs the lion.[(triple12)]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple2
The cat does not chase the lion.
("cat" "chases" "lion" "-")
triple1
The cat does not eat the lion.
("cat" "eats" "lion" "-")
triple3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple4
The cat is not big.
("cat" "is" "big" "-")
triple5
The cat is red.
("cat" "is" "red" "+")
triple6
The cat needs the lion.
("cat" "needs" "lion" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion needs the cat.
("lion" "needs" "cat" "+")
triple9
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple12