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