The bear is big. The cat eats the bear. The cat is big. The cat is kind. The cat likes the bear. The cat likes the squirrel. The squirrel eats the bear. The squirrel eats the cat. The squirrel is cold. The squirrel needs the cat. If someone is green then they are cold. If someone is cold and green then they eat the bear. If the cat is young and the cat is green then the cat likes the bear. If someone eats the squirrel and the squirrel likes the cat then the cat is big. If someone is cold and young then they need the bear. If someone likes the cat and the cat is young then the cat is green.
The bear is big.
("bear" "is" "big" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and green then they eat the bear.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "eats" "bear" "+"))
If the cat is young and the cat is green then the cat likes the bear.
((("cat" "is" "young" "+") ("cat" "is" "green" "+")) -> ("cat" "likes" "bear" "+"))
If someone eats the squirrel and the squirrel likes the cat then the cat is big.
((("someone" "eats" "squirrel" "+") ("squirrel" "likes" "cat" "+")) -> ("cat" "is" "big" "+"))
If someone is cold and young then they need the bear.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "needs" "bear" "+"))
If someone likes the cat and the cat is young then the cat is green.
((("someone" "likes" "cat" "+") ("cat" "is" "young" "+")) -> ("cat" "is" "green" "+"))
The squirrel needs the cat.
True
1
proof
[(triple10)]
("squirrel" "needs" "cat" "+")
triple10
The squirrel does not need the cat.
False
1
inv-proof
[(triple10)]
("squirrel" "needs" "cat" "-")
triple10
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "cold" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The bear is big.[(triple1)] The cat eats the bear.[(triple2)] The cat is big.[(triple3)] The cat is kind.[(triple4)] The cat likes the bear.[(triple5)] The cat likes the squirrel.[(triple6)] The squirrel eats the bear.[(triple7)] The squirrel eats the cat.[(triple8)] The squirrel is cold.[(triple9)] The squirrel needs the cat.[(triple10)]
The bear is big.
("bear" "is" "big" "+")
triple1
The cat eats the bear.
("cat" "eats" "bear" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cat likes the bear.
("cat" "likes" "bear" "+")
triple5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple6
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple7
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple8
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple10