The bald eagle is blue. The bald eagle is rough. The bald eagle needs the bear. The bear eats the bald eagle. The bear is blue. The bear needs the tiger. The bear sees the bald eagle. The bear sees the cow. The cow is kind. The cow needs the tiger. The tiger eats the bald eagle. The tiger is green. The tiger is kind. The tiger is not young. The tiger sees the bald eagle. The tiger does not see the bear. If the tiger is blue then the tiger does not eat the bald eagle. If someone eats the bald eagle then the bald eagle sees the cow. If someone eats the cow and they are rough then the cow sees the bald eagle.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is not young.
("tiger" "is" "young" "-")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
If the tiger is blue then the tiger does not eat the bald eagle.
((("tiger" "is" "blue" "+")) -> ("tiger" "eats" "bald eagle" "-"))
If someone eats the bald eagle then the bald eagle sees the cow.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "sees" "cow" "+"))
If someone eats the cow and they are rough then the cow sees the bald eagle.
((("someone" "eats" "cow" "+") ("someone" "is" "rough" "+")) -> ("cow" "sees" "bald eagle" "+"))
The bald eagle needs the bear.
True
1
proof
[(triple3)]
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle is not rough.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "rough" "-")
triple2
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 bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear eats the bald eagle.[(triple4)] The bear is blue.[(triple5)] The bear needs the tiger.[(triple6)] The bear sees the bald eagle.[(triple7)] The bear sees the cow.[(triple8)] The cow is kind.[(triple9)] The cow needs the tiger.[(triple10)] The tiger does not see the bear.[(triple16)] The tiger eats the bald eagle.[(triple11)] The tiger is green.[(triple12)] The tiger is kind.[(triple13)] The tiger is not young.[(triple14)] The tiger sees the bald eagle.[(triple15)] @1: The bald eagle sees the cow.[(((triple11) -> rule2) OR ((triple4) -> rule2))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple4
The bear is blue.
("bear" "is" "blue" "+")
triple5
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple6
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple7
The bear sees the cow.
("bear" "sees" "cow" "+")
triple8
The cow is kind.
("cow" "is" "kind" "+")
triple9
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple10
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
triple16
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple11
The tiger is green.
("tiger" "is" "green" "+")
triple12
The tiger is kind.
("tiger" "is" "kind" "+")
triple13
The tiger is not young.
("tiger" "is" "young" "-")
triple14
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple15
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
((triple11) -> (rule2 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
((triple4) -> (rule2 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1