The bald eagle chases the bear. The bald eagle chases the rabbit. The bald eagle is big. The bald eagle likes the rabbit. The bald eagle visits the cow. The bear chases the cow. The bear likes the bald eagle. The cow chases the bear. The cow is nice. The cow is young. The cow does not like the bald eagle. The cow does not visit the bear. The rabbit is big. The rabbit is green. The rabbit does not like the bear. The rabbit visits the bald eagle. If someone is green then they chase the rabbit. If someone is green then they chase the bald eagle. If someone visits the bald eagle and they like the cow then they like the rabbit. If someone is big and they do not visit the rabbit then the rabbit chases the cow. If the bald eagle does not visit the cow then the cow is nice. If someone visits the cow and the cow likes the bald eagle then they like the cow. If someone likes the bear and they are not young then they do not chase the cow. If the bald eagle is nice then the bald eagle does not like the bear.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is young.
("cow" "is" "young" "+")
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
The cow does not visit the bear.
("cow" "visits" "bear" "-")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If someone is green then they chase the rabbit.
((("someone" "is" "green" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone is green then they chase the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone visits the bald eagle and they like the cow then they like the rabbit.
((("someone" "visits" "bald eagle" "+") ("someone" "likes" "cow" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone is big and they do not visit the rabbit then the rabbit chases the cow.
((("someone" "is" "big" "+") ("someone" "visits" "rabbit" "~")) -> ("rabbit" "chases" "cow" "+"))
If the bald eagle does not visit the cow then the cow is nice.
((("bald eagle" "visits" "cow" "~")) -> ("cow" "is" "nice" "+"))
If someone visits the cow and the cow likes the bald eagle then they like the cow.
((("someone" "visits" "cow" "+") ("cow" "likes" "bald eagle" "+")) -> ("someone" "likes" "cow" "+"))
If someone likes the bear and they are not young then they do not chase the cow.
((("someone" "likes" "bear" "+") ("someone" "is" "young" "~")) -> ("someone" "chases" "cow" "-"))
If the bald eagle is nice then the bald eagle does not like the bear.
((("bald eagle" "is" "nice" "+")) -> ("bald eagle" "likes" "bear" "-"))
The cow does not visit the bear.
True
1
proof
[(triple12)]
("cow" "visits" "bear" "-")
triple12
The cow likes the bald eagle.
False
1
inv-proof
[(triple11)]
("cow" "likes" "bald eagle" "+")
triple11
The rabbit chases the bald eagle.
True
2
proof
[(((triple14) -> rule2))]
("rabbit" "chases" "bald eagle" "+")
((triple14) -> (rule2 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit does not chase the bald eagle.
False
2
inv-proof
[(((triple14) -> rule2))]
("rabbit" "chases" "bald eagle" "-")
((triple14) -> (rule2 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The cow does not like the rabbit.
Unknown
inv-rconc
[@1: The cow likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "likes" "rabbit" "-")
The cow chases the bald eagle.
Unknown
rconc
[@1: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "bald eagle" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The bald eagle visits the cow.[(triple5)] The bear chases the cow.[(triple6)] The bear likes the bald eagle.[(triple7)] The cow chases the bear.[(triple8)] The cow does not like the bald eagle.[(triple11)] The cow does not visit the bear.[(triple12)] The cow is nice.[(triple9)] The cow is young.[(triple10)] The rabbit does not like the bear.[(triple15)] The rabbit is big.[(triple13)] The rabbit is green.[(triple14)] The rabbit visits the bald eagle.[(triple16)] @1: The rabbit chases the bald eagle.[(((triple14) -> rule2))] The rabbit chases the rabbit.[(((triple14) -> rule1))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple4
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple5
The bear chases the cow.
("bear" "chases" "cow" "+")
triple6
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple7
The cow chases the bear.
("cow" "chases" "bear" "+")
triple8
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
triple11
The cow does not visit the bear.
("cow" "visits" "bear" "-")
triple12
The cow is nice.
("cow" "is" "nice" "+")
triple9
The cow is young.
("cow" "is" "young" "+")
triple10
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
triple15
The rabbit is big.
("rabbit" "is" "big" "+")
triple13
The rabbit is green.
("rabbit" "is" "green" "+")
triple14
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple16
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
((triple14) -> (rule2 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple14) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1