The bald eagle is red. The bear likes the cat. The cat is young. If the bear chases the cat and the cat chases the bear then the bear eats the bald eagle. If someone likes the bald eagle then the bald eagle chases the bear. If someone likes the bald eagle then the bald eagle is red. If someone chases the bald eagle and they like the bear then they eat the bear. If someone is cold then they eat the bear. If someone is young and they like the bear then they eat the bear.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The cat is young.
("cat" "is" "young" "+")
If the bear chases the cat and the cat chases the bear then the bear eats the bald eagle.
((("bear" "chases" "cat" "+") ("cat" "chases" "bear" "+")) -> ("bear" "eats" "bald eagle" "+"))
If someone likes the bald eagle then the bald eagle chases the bear.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "chases" "bear" "+"))
If someone likes the bald eagle then the bald eagle is red.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If someone chases the bald eagle and they like the bear then they eat the bear.
((("someone" "chases" "bald eagle" "+") ("someone" "likes" "bear" "+")) -> ("someone" "eats" "bear" "+"))
If someone is cold then they eat the bear.
((("someone" "is" "cold" "+")) -> ("someone" "eats" "bear" "+"))
If someone is young and they like the bear then they eat the bear.
((("someone" "is" "young" "+") ("someone" "likes" "bear" "+")) -> ("someone" "eats" "bear" "+"))
The bald eagle is red.
True
1
proof
[(triple1)]
("bald eagle" "is" "red" "+")
triple1
The cat is not young.
False
1
inv-proof
[(triple3)]
("cat" "is" "young" "-")
triple3
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "eats" "bear" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
@0: The bald eagle is red.[(triple1)] The bear likes the cat.[(triple2)] The cat is young.[(triple3)]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bear likes the cat.
("bear" "likes" "cat" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3