The bald eagle chases the cow. The bald eagle chases the tiger. The bald eagle is green. The bald eagle is nice. The bald eagle does not visit the tiger. The cow is blue. The cow is not rough. The cow does not like the bald eagle. The cow does not like the tiger. The tiger is rough. The tiger likes the bald eagle. The tiger likes the cow. If something is rough then it visits the tiger. If something likes the tiger and it does not visit the bald eagle then the tiger chases the bald eagle. If something likes the cow and it does not chase the bald eagle then it visits the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
The cow is blue.
("cow" "is" "blue" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
The cow does not like the tiger.
("cow" "likes" "tiger" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
If something is rough then it visits the tiger.
((("something" "is" "rough" "+")) -> ("something" "visits" "tiger" "+"))
If something likes the tiger and it does not visit the bald eagle then the tiger chases the bald eagle.
((("something" "likes" "tiger" "+") ("something" "visits" "bald eagle" "~")) -> ("tiger" "chases" "bald eagle" "+"))
If something likes the cow and it does not chase the bald eagle then it visits the cow.
((("something" "likes" "cow" "+") ("something" "chases" "bald eagle" "~")) -> ("something" "visits" "cow" "+"))
The cow does not like the tiger.
True
1
proof
[(triple9)]
("cow" "likes" "tiger" "-")
triple9
The tiger does not like the cow.
False
1
inv-proof
[(triple12)]
("tiger" "likes" "cow" "-")
triple12
The cow does not visit the tiger.
Unknown
inv-rconc
[@1: The cow visits the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "visits" "tiger" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle does not visit the tiger.[(triple5)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The cow does not like the bald eagle.[(triple8)] The cow does not like the tiger.[(triple9)] The cow is blue.[(triple6)] The cow is not rough.[(triple7)] The tiger is rough.[(triple10)] The tiger likes the bald eagle.[(triple11)] The tiger likes the cow.[(triple12)] @1: The tiger visits the tiger.[(((triple10) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
triple5
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
triple8
The cow does not like the tiger.
("cow" "likes" "tiger" "-")
triple9
The cow is blue.
("cow" "is" "blue" "+")
triple6
The cow is not rough.
("cow" "is" "rough" "-")
triple7
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple11
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple12
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((triple10) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1