The bald eagle does not eat the tiger. The bald eagle is green. The bald eagle is nice. The bear eats the bald eagle. The bear is big. The bear does not like the tiger. The tiger eats the bald eagle. The tiger eats the bear. The tiger is blue. The tiger is rough. If the tiger eats the bald eagle then the bald eagle eats the bear. If something likes the bald eagle and it is big then it is green. If something likes the bear then the bear eats the tiger.
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is big.
("bear" "is" "big" "+")
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If the tiger eats the bald eagle then the bald eagle eats the bear.
((("tiger" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "+"))
If something likes the bald eagle and it is big then it is green.
((("something" "likes" "bald eagle" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If something likes the bear then the bear eats the tiger.
((("something" "likes" "bear" "+")) -> ("bear" "eats" "tiger" "+"))
The bald eagle does not eat the tiger.
True
1
proof
[(triple1)]
("bald eagle" "eats" "tiger" "-")
triple1
The bear does not eat the bald eagle.
False
1
inv-proof
[(triple4)]
("bear" "eats" "bald eagle" "-")
triple4
The bald eagle eats the bear.
True
2
proof
[(((triple7) -> rule1))]
("bald eagle" "eats" "bear" "+")
((triple7) -> (rule1 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle does not eat the bear.
False
2
inv-proof
[(((triple7) -> rule1))]
("bald eagle" "eats" "bear" "-")
((triple7) -> (rule1 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bear is not green.
Unknown
inv-rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "green" "-")
The bear eats the tiger.
Unknown
rconc
[@1: The bear eats the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "eats" "tiger" "+")
The tiger is not big.
Unknown
inv-random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "-")
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" "+")
@0: The bald eagle does not eat the tiger.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bear does not like the tiger.[(triple6)] The bear eats the bald eagle.[(triple4)] The bear is big.[(triple5)] The tiger eats the bald eagle.[(triple7)] The tiger eats the bear.[(triple8)] The tiger is blue.[(triple9)] The tiger is rough.[(triple10)] @1: The bald eagle eats the bear.[(((triple7) -> rule1))]
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
triple6
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple7
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((triple7) -> (rule1 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1