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