The bald eagle chases the squirrel. The bald eagle is blue. The bald eagle is red. The bald eagle likes the dog. The cat is red. The cat likes the squirrel. The dog chases the cat. The dog is big. The dog likes the cat. The squirrel chases the dog. The squirrel is big. The squirrel is blue. The squirrel is kind. The squirrel likes the cat. The squirrel visits the bald eagle. If someone chases the bald eagle then the bald eagle chases the squirrel. If someone visits the dog then they like the cat.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is big.
("dog" "is" "big" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If someone chases the bald eagle then the bald eagle chases the squirrel.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "squirrel" "+"))
If someone visits the dog then they like the cat.
((("someone" "visits" "dog" "+")) -> ("someone" "likes" "cat" "+"))
The dog likes the cat.
True
1
proof
[(triple9)]
("dog" "likes" "cat" "+")
triple9
The cat does not like the squirrel.
False
1
inv-proof
[(triple6)]
("cat" "likes" "squirrel" "-")
triple6
The bald eagle does not like the cat.
Unknown
inv-rconc
[@1: The bald eagle likes the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "cat" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle likes the dog.[(triple4)] The cat is red.[(triple5)] The cat likes the squirrel.[(triple6)] The dog chases the cat.[(triple7)] The dog is big.[(triple8)] The dog likes the cat.[(triple9)] The squirrel chases the dog.[(triple10)] The squirrel is big.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is kind.[(triple13)] The squirrel likes the cat.[(triple14)] The squirrel visits the bald eagle.[(triple15)]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple4
The cat is red.
("cat" "is" "red" "+")
triple5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple6
The dog chases the cat.
("dog" "chases" "cat" "+")
triple7
The dog is big.
("dog" "is" "big" "+")
triple8
The dog likes the cat.
("dog" "likes" "cat" "+")
triple9
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple14
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple15