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