The bald eagle is blue. The bald eagle is young. The bald eagle sees the cow. The cow eats the bald eagle. The cow is blue. The cow likes the dog. The cow sees the tiger. The dog eats the tiger. The dog is green. The dog likes the tiger. The dog sees the cow. The tiger eats the bald eagle. If the cow is green then the cow eats the tiger. If the bald eagle is blue then the bald eagle eats the tiger. If something sees the dog then the dog sees the cow.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
If the cow is green then the cow eats the tiger.
((("cow" "is" "green" "+")) -> ("cow" "eats" "tiger" "+"))
If the bald eagle is blue then the bald eagle eats the tiger.
((("bald eagle" "is" "blue" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If something sees the dog then the dog sees the cow.
((("something" "sees" "dog" "+")) -> ("dog" "sees" "cow" "+"))
The bald eagle sees the cow.
True
1
proof
[(triple3)]
("bald eagle" "sees" "cow" "+")
triple3
The cow does not like the dog.
False
1
inv-proof
[(triple6)]
("cow" "likes" "dog" "-")
triple6
The cow does not eat the tiger.
Unknown
inv-rconc
[@1: The cow eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "tiger" "-")
The dog sees the bald eagle.
Unknown
random
[@0: The dog sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle sees the cow.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow is blue.[(triple5)] The cow likes the dog.[(triple6)] The cow sees the tiger.[(triple7)] The dog eats the tiger.[(triple8)] The dog is green.[(triple9)] The dog likes the tiger.[(triple10)] The dog sees the cow.[(triple11)] The tiger eats the bald eagle.[(triple12)] @1: The bald eagle eats the tiger.[(((triple1) -> rule2))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple3
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple4
The cow is blue.
("cow" "is" "blue" "+")
triple5
The cow likes the dog.
("cow" "likes" "dog" "+")
triple6
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple7
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple8
The dog is green.
("dog" "is" "green" "+")
triple9
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple10
The dog sees the cow.
("dog" "sees" "cow" "+")
triple11
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple12
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
((triple1) -> (rule2 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1