The bald eagle is kind. The bald eagle is red. The bald eagle needs the bear. The bald eagle needs the cat. The bear does not eat the bald eagle. The bear eats the cat. The bear is cold. The bear is red. The bear likes the bald eagle. The bear does not need the cat. The cat does not eat the bald eagle. The cat eats the bear. The cat is cold. The cat is green. The cat likes the bear. If someone is cold and they like the cat then they are red. If someone is red then they do not like the cat. If the cat is green and the cat does not like the bald eagle then the cat needs the bald eagle. If someone needs the bald eagle and they do not eat the bald eagle then the bald eagle eats the bear. If someone needs the bald eagle then the bald eagle eats the cat. If someone likes the bear and they are green then they need the bear. If someone eats the cat and the cat needs the bald eagle then the bald eagle is cold. If someone is round then they are kind.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear does not need the cat.
("bear" "needs" "cat" "-")
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
If someone is cold and they like the cat then they are red.
((("someone" "is" "cold" "+") ("someone" "likes" "cat" "+")) -> ("someone" "is" "red" "+"))
If someone is red then they do not like the cat.
((("someone" "is" "red" "+")) -> ("someone" "likes" "cat" "-"))
If the cat is green and the cat does not like the bald eagle then the cat needs the bald eagle.
((("cat" "is" "green" "+") ("cat" "likes" "bald eagle" "~")) -> ("cat" "needs" "bald eagle" "+"))
If someone needs the bald eagle and they do not eat the bald eagle then the bald eagle eats the bear.
((("someone" "needs" "bald eagle" "+") ("someone" "eats" "bald eagle" "~")) -> ("bald eagle" "eats" "bear" "+"))
If someone needs the bald eagle then the bald eagle eats the cat.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "+"))
If someone likes the bear and they are green then they need the bear.
((("someone" "likes" "bear" "+") ("someone" "is" "green" "+")) -> ("someone" "needs" "bear" "+"))
If someone eats the cat and the cat needs the bald eagle then the bald eagle is cold.
((("someone" "eats" "cat" "+") ("cat" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If someone is round then they are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
The bear does not need the cat.
True
1
proof
[(triple10)]
("bear" "needs" "cat" "-")
triple10
The cat does not eat the bear.
False
1
inv-proof
[(triple12)]
("cat" "eats" "bear" "-")
triple12
The bald eagle is not cold.
Unknown
inv-rconc
[@2: The bald eagle is cold.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle needs the cat.[(triple4)] The bear does not eat the bald eagle.[(triple5)] The bear does not need the cat.[(triple10)] The bear eats the cat.[(triple6)] The bear is cold.[(triple7)] The bear is red.[(triple8)] The bear likes the bald eagle.[(triple9)] The cat does not eat the bald eagle.[(triple11)] The cat eats the bear.[(triple12)] The cat is cold.[(triple13)] The cat is green.[(triple14)] The cat likes the bear.[(triple15)] @1: The bald eagle does not like the cat.[(((triple2) -> rule2))] The bear does not like the cat.[(((triple8) -> rule2))] The cat needs the bear.[(((triple15 triple14) -> rule6))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple4
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
triple5
The bear does not need the cat.
("bear" "needs" "cat" "-")
triple10
The bear eats the cat.
("bear" "eats" "cat" "+")
triple6
The bear is cold.
("bear" "is" "cold" "+")
triple7
The bear is red.
("bear" "is" "red" "+")
triple8
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple9
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
triple11
The cat eats the bear.
("cat" "eats" "bear" "+")
triple12
The cat is cold.
("cat" "is" "cold" "+")
triple13
The cat is green.
("cat" "is" "green" "+")
triple14
The cat likes the bear.
("cat" "likes" "bear" "+")
triple15
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
((triple2) -> (rule2 % int1))
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
int1
The bear does not like the cat.
("bear" "likes" "cat" "-")
((triple8) -> (rule2 % int1))
The bear does not like the cat.
("bear" "likes" "cat" "-")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
((triple15 triple14) -> (rule6 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1