The cat eats the lion. The cat is blue. The cat is cold. The cat likes the tiger. The cat visits the squirrel. The lion is nice. The lion visits the cat. The squirrel eats the cat. The squirrel eats the lion. The squirrel eats the tiger. The squirrel is cold. The tiger likes the cat. If the cat likes the squirrel then the cat is nice.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
If the cat likes the squirrel then the cat is nice.
((("cat" "likes" "squirrel" "+")) -> ("cat" "is" "nice" "+"))
The squirrel eats the tiger.
True
1
proof
[(triple10)]
("squirrel" "eats" "tiger" "+")
triple10
The squirrel does not eat the lion.
False
1
inv-proof
[(triple9)]
("squirrel" "eats" "lion" "-")
triple9
The cat is not nice.
Unknown
inv-rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "nice" "-")
The cat eats the squirrel.
Unknown
random
[@0: The cat eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "squirrel" "+")
@0: The cat eats the lion.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat likes the tiger.[(triple4)] The cat visits the squirrel.[(triple5)] The lion is nice.[(triple6)] The lion visits the cat.[(triple7)] The squirrel eats the cat.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel eats the tiger.[(triple10)] The squirrel is cold.[(triple11)] The tiger likes the cat.[(triple12)]
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple4
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple5
The lion is nice.
("lion" "is" "nice" "+")
triple6
The lion visits the cat.
("lion" "visits" "cat" "+")
triple7
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple8
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple9
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple12