The bald eagle chases the dog. The bald eagle eats the cat. The bald eagle eats the dog. The bald eagle is blue. The bald eagle does not like the cat. The cat likes the bald eagle. The cat likes the dog. The dog eats the bald eagle. The dog likes the bald eagle. The dog likes the cat. If something likes the cat and the cat likes the bald eagle then the cat is blue.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
If something likes the cat and the cat likes the bald eagle then the cat is blue.
((("something" "likes" "cat" "+") ("cat" "likes" "bald eagle" "+")) -> ("cat" "is" "blue" "+"))
The cat likes the dog.
True
1
proof
[(triple7)]
("cat" "likes" "dog" "+")
triple7
The bald eagle does not eat the dog.
False
1
inv-proof
[(triple3)]
("bald eagle" "eats" "dog" "-")
triple3
The dog does not eat the cat.
Unknown
inv-random
[@0: The dog eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "cat" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle does not like the cat.[(triple5)] The bald eagle eats the cat.[(triple2)] The bald eagle eats the dog.[(triple3)] The bald eagle is blue.[(triple4)] The cat likes the bald eagle.[(triple6)] The cat likes the dog.[(triple7)] The dog eats the bald eagle.[(triple8)] The dog likes the bald eagle.[(triple9)] The dog likes the cat.[(triple10)] @1: The cat is blue.[(((triple10 triple6) -> rule1))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
triple5
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple4
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple6
The cat likes the dog.
("cat" "likes" "dog" "+")
triple7
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple8
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple9
The dog likes the cat.
("dog" "likes" "cat" "+")
triple10
The cat is blue.
("cat" "is" "blue" "+")
((triple10 triple6) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1