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