The bald eagle is not big. The bald eagle is not kind. The bald eagle likes the squirrel. The bear is not kind. The bear likes the bald eagle. The cat is kind. The cat likes the bald eagle. The cat does not like the squirrel. The cat does not need the bear. The squirrel is not big. The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel likes the cat. The squirrel does not need the bear. If something likes the cat then it likes the squirrel. If the cat eats the bald eagle then the bald eagle likes the bear. If something needs the cat and the cat does not eat the bear then it is not big. If something eats the bald eagle then the bald eagle likes the cat. If something is rough then it eats the cat. If something eats the bear and it needs the squirrel then it likes the bald eagle. If something eats the bald eagle then it does not like the bear. If something is cold and it does not eat the squirrel then it needs the cat.
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat does not like the squirrel.
("cat" "likes" "squirrel" "-")
The cat does not need the bear.
("cat" "needs" "bear" "-")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
If something likes the cat then it likes the squirrel.
((("something" "likes" "cat" "+")) -> ("something" "likes" "squirrel" "+"))
If the cat eats the bald eagle then the bald eagle likes the bear.
((("cat" "eats" "bald eagle" "+")) -> ("bald eagle" "likes" "bear" "+"))
If something needs the cat and the cat does not eat the bear then it is not big.
((("something" "needs" "cat" "+") ("cat" "eats" "bear" "~")) -> ("something" "is" "big" "-"))
If something eats the bald eagle then the bald eagle likes the cat.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "likes" "cat" "+"))
If something is rough then it eats the cat.
((("something" "is" "rough" "+")) -> ("something" "eats" "cat" "+"))
If something eats the bear and it needs the squirrel then it likes the bald eagle.
((("something" "eats" "bear" "+") ("something" "needs" "squirrel" "+")) -> ("something" "likes" "bald eagle" "+"))
If something eats the bald eagle then it does not like the bear.
((("something" "eats" "bald eagle" "+")) -> ("something" "likes" "bear" "-"))
If something is cold and it does not eat the squirrel then it needs the cat.
((("something" "is" "cold" "+") ("something" "eats" "squirrel" "~")) -> ("something" "needs" "cat" "+"))
The cat does not like the squirrel.
True
1
proof
[(triple8)]
("cat" "likes" "squirrel" "-")
triple8
The bald eagle is big.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "big" "+")
triple1
The bear does not like the squirrel.
Unknown
inv-rconc
[@1: The bear likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "squirrel" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
@0: The bald eagle is not big.[(triple1)] The bald eagle is not kind.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bear is not kind.[(triple4)] The bear likes the bald eagle.[(triple5)] The cat does not like the squirrel.[(triple8)] The cat does not need the bear.[(triple9)] The cat is kind.[(triple6)] The cat likes the bald eagle.[(triple7)] The squirrel does not need the bear.[(triple15)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is not big.[(triple10)] The squirrel is rough.[(triple13)] The squirrel likes the cat.[(triple14)] @1: The squirrel eats the cat.[(((triple13) -> rule5))] The squirrel likes the squirrel.[(((triple14) -> rule1))]
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The bear is not kind.
("bear" "is" "kind" "-")
triple4
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple5
The cat does not like the squirrel.
("cat" "likes" "squirrel" "-")
triple8
The cat does not need the bear.
("cat" "needs" "bear" "-")
triple9
The cat is kind.
("cat" "is" "kind" "+")
triple6
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple7
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
triple15
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is not big.
("squirrel" "is" "big" "-")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple14
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
((triple13) -> (rule5 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple14) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1