The bald eagle chases the cow. The cow chases the bald eagle. The cow does not chase the tiger. The cow likes the tiger. The cow sees the tiger. The tiger chases the cow. The tiger is not nice. If something likes the cow and the cow does not like the tiger then the cow does not see the bald eagle. If something is red and nice then it likes the cow. If the tiger does not like the bald eagle then the bald eagle is not red.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow does not chase the tiger.
("cow" "chases" "tiger" "-")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is not nice.
("tiger" "is" "nice" "-")
If something likes the cow and the cow does not like the tiger then the cow does not see the bald eagle.
((("something" "likes" "cow" "+") ("cow" "likes" "tiger" "~")) -> ("cow" "sees" "bald eagle" "-"))
If something is red and nice then it likes the cow.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "likes" "cow" "+"))
If the tiger does not like the bald eagle then the bald eagle is not red.
((("tiger" "likes" "bald eagle" "~")) -> ("bald eagle" "is" "red" "-"))
The cow likes the tiger.
True
1
proof
[(triple4)]
("cow" "likes" "tiger" "+")
triple4
The tiger is nice.
False
1
inv-proof
[(triple7)]
("tiger" "is" "nice" "+")
triple7
The cow does not like the cow.
Unknown
inv-rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "likes" "cow" "-")
The bald eagle sees the tiger.
Unknown
random
[@0: The bald eagle sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "tiger" "+")
@0: The bald eagle chases the cow.[(triple1)] The cow chases the bald eagle.[(triple2)] The cow does not chase the tiger.[(triple3)] The cow likes the tiger.[(triple4)] The cow sees the tiger.[(triple5)] The tiger chases the cow.[(triple6)] The tiger is not nice.[(triple7)]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple2
The cow does not chase the tiger.
("cow" "chases" "tiger" "-")
triple3
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple4
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple5
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple6
The tiger is not nice.
("tiger" "is" "nice" "-")
triple7