The bald eagle chases the bear. The bald eagle is not big. The bald eagle is rough. The bald eagle likes the bear. The bald eagle does not see the bear. The bear is not blue. The bear is red. The cow chases the bald eagle. The cow chases the bear. The cow is big. The cow is cold. The cow is red. The cow is rough. The cow does not like the bear. The cow sees the bald eagle. If someone chases the bear and the bear chases the bald eagle then the bear does not like the cow. If the bald eagle is cold and the bald eagle is not big then the bald eagle does not like the bear. If someone sees the bear then they are red. If someone chases the cow then they see the cow. If someone sees the bald eagle then they see the cow. If someone likes the bald eagle then they see the bear.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
The bear is not blue.
("bear" "is" "blue" "-")
The bear is red.
("bear" "is" "red" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow does not like the bear.
("cow" "likes" "bear" "-")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
If someone chases the bear and the bear chases the bald eagle then the bear does not like the cow.
((("someone" "chases" "bear" "+") ("bear" "chases" "bald eagle" "+")) -> ("bear" "likes" "cow" "-"))
If the bald eagle is cold and the bald eagle is not big then the bald eagle does not like the bear.
((("bald eagle" "is" "cold" "+") ("bald eagle" "is" "big" "~")) -> ("bald eagle" "likes" "bear" "-"))
If someone sees the bear then they are red.
((("someone" "sees" "bear" "+")) -> ("someone" "is" "red" "+"))
If someone chases the cow then they see the cow.
((("someone" "chases" "cow" "+")) -> ("someone" "sees" "cow" "+"))
If someone sees the bald eagle then they see the cow.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "sees" "cow" "+"))
If someone likes the bald eagle then they see the bear.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "sees" "bear" "+"))
The cow chases the bear.
True
1
proof
[(triple9)]
("cow" "chases" "bear" "+")
triple9
The bald eagle does not chase the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "bear" "-")
triple1
The cow sees the cow.
True
2
proof
[(((triple15) -> rule5))]
("cow" "sees" "cow" "+")
((triple15) -> (rule5 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow does not see the cow.
False
2
inv-proof
[(((triple15) -> rule5))]
("cow" "sees" "cow" "-")
((triple15) -> (rule5 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow does not see the bear.
Unknown
inv-rconc
[@1: The cow sees the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "sees" "bear" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "red" "+")
The bear does not like the cow.
Unknown
inv-random
[@0: The bear likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "cow" "-")
The bear sees the bald eagle.
Unknown
random
[@0: The bear sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bald eagle" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle does not see the bear.[(triple5)] The bald eagle is not big.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the bear.[(triple4)] The bear is not blue.[(triple6)] The bear is red.[(triple7)] The cow chases the bald eagle.[(triple8)] The cow chases the bear.[(triple9)] The cow does not like the bear.[(triple14)] The cow is big.[(triple10)] The cow is cold.[(triple11)] The cow is red.[(triple12)] The cow is rough.[(triple13)] The cow sees the bald eagle.[(triple15)] @1: The cow sees the cow.[(((triple15) -> rule5))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
triple5
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple4
The bear is not blue.
("bear" "is" "blue" "-")
triple6
The bear is red.
("bear" "is" "red" "+")
triple7
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple8
The cow chases the bear.
("cow" "chases" "bear" "+")
triple9
The cow does not like the bear.
("cow" "likes" "bear" "-")
triple14
The cow is big.
("cow" "is" "big" "+")
triple10
The cow is cold.
("cow" "is" "cold" "+")
triple11
The cow is red.
("cow" "is" "red" "+")
triple12
The cow is rough.
("cow" "is" "rough" "+")
triple13
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple15
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple15) -> (rule5 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1