The bald eagle is red. The bald eagle sees the cow. The bear eats the bald eagle. The bear sees the cow. The cow eats the bear. The cow eats the tiger. The cow is blue. The cow is rough. The cow is round. The cow needs the tiger. The cow sees the bear. The cow sees the tiger. The tiger is round. The tiger needs the bear. The tiger sees the bald eagle. If the bald eagle sees the tiger then the bald eagle needs the tiger. If something eats the bald eagle then the bald eagle sees the tiger. If the bald eagle needs the cow and the cow sees the tiger then the cow sees the bald eagle.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If the bald eagle sees the tiger then the bald eagle needs the tiger.
((("bald eagle" "sees" "tiger" "+")) -> ("bald eagle" "needs" "tiger" "+"))
If something eats the bald eagle then the bald eagle sees the tiger.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "sees" "tiger" "+"))
If the bald eagle needs the cow and the cow sees the tiger then the cow sees the bald eagle.
((("bald eagle" "needs" "cow" "+") ("cow" "sees" "tiger" "+")) -> ("cow" "sees" "bald eagle" "+"))
The cow is rough.
True
1
proof
[(triple8)]
("cow" "is" "rough" "+")
triple8
The cow does not see the bear.
False
1
inv-proof
[(triple11)]
("cow" "sees" "bear" "-")
triple11
The bald eagle sees the tiger.
True
2
proof
[(((triple3) -> rule2))]
("bald eagle" "sees" "tiger" "+")
((triple3) -> (rule2 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The bald eagle does not see the tiger.
False
2
inv-proof
[(((triple3) -> rule2))]
("bald eagle" "sees" "tiger" "-")
((triple3) -> (rule2 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The cow does not see the bald eagle.
Unknown
inv-rconc
[@1: The cow sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "sees" "bald eagle" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle sees the cow.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear sees the cow.[(triple4)] The cow eats the bear.[(triple5)] The cow eats the tiger.[(triple6)] The cow is blue.[(triple7)] The cow is rough.[(triple8)] The cow is round.[(triple9)] The cow needs the tiger.[(triple10)] The cow sees the bear.[(triple11)] The cow sees the tiger.[(triple12)] The tiger is round.[(triple13)] The tiger needs the bear.[(triple14)] The tiger sees the bald eagle.[(triple15)] @1: The bald eagle sees the tiger.[(((triple3) -> rule2))] @2: The bald eagle needs the tiger.[(((((triple3) -> rule2)) -> rule1))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple3
The bear sees the cow.
("bear" "sees" "cow" "+")
triple4
The cow eats the bear.
("cow" "eats" "bear" "+")
triple5
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple7
The cow is rough.
("cow" "is" "rough" "+")
triple8
The cow is round.
("cow" "is" "round" "+")
triple9
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple10
The cow sees the bear.
("cow" "sees" "bear" "+")
triple11
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple12
The tiger is round.
("tiger" "is" "round" "+")
triple13
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple14
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple15
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
((triple3) -> (rule2 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2