The bald eagle eats the cow. The bald eagle is nice. The bald eagle needs the bear. The bald eagle does not need the cow. The bear is not green. The bear does not like the bald eagle. The bear does not like the tiger. The bear does not need the bald eagle. The cow eats the bear. The cow eats the tiger. The cow is kind. The cow needs the tiger. The tiger eats the bear. The tiger is kind. The tiger likes the bald eagle. If someone likes the bald eagle then the bald eagle eats the tiger.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
The bear is not green.
("bear" "is" "green" "-")
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
The bear does not need the bald eagle.
("bear" "needs" "bald eagle" "-")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
If someone likes the bald eagle then the bald eagle eats the tiger.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
The bear is not green.
True
1
proof
[(triple5)]
("bear" "is" "green" "-")
triple5
The tiger does not like the bald eagle.
False
1
inv-proof
[(triple15)]
("tiger" "likes" "bald eagle" "-")
triple15
The bald eagle eats the tiger.
True
2
proof
[(((triple15) -> rule1))]
("bald eagle" "eats" "tiger" "+")
((triple15) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle does not eat the tiger.
False
2
inv-proof
[(((triple15) -> rule1))]
("bald eagle" "eats" "tiger" "-")
((triple15) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The bald eagle likes the bear.
Unknown
random
[@0: The bald eagle likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bear" "+")
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle does not need the cow.[(triple4)] The bald eagle eats the cow.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear does not like the bald eagle.[(triple6)] The bear does not like the tiger.[(triple7)] The bear does not need the bald eagle.[(triple8)] The bear is not green.[(triple5)] The cow eats the bear.[(triple9)] The cow eats the tiger.[(triple10)] The cow is kind.[(triple11)] The cow needs the tiger.[(triple12)] The tiger eats the bear.[(triple13)] The tiger is kind.[(triple14)] The tiger likes the bald eagle.[(triple15)] @1: The bald eagle eats the tiger.[(((triple15) -> rule1))]
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
triple4
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
triple6
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
triple7
The bear does not need the bald eagle.
("bear" "needs" "bald eagle" "-")
triple8
The bear is not green.
("bear" "is" "green" "-")
triple5
The cow eats the bear.
("cow" "eats" "bear" "+")
triple9
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple10
The cow is kind.
("cow" "is" "kind" "+")
triple11
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple12
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple13
The tiger is kind.
("tiger" "is" "kind" "+")
triple14
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple15
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
((triple15) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1