The bald eagle eats the bear. The bald eagle is blue. The bear chases the bald eagle. The bear is big. The bear is kind. The bear likes the tiger. The cow eats the bear. The cow likes the bear. The tiger is big. The tiger is red. If someone is big then they eat the cow.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is red.
("tiger" "is" "red" "+")
If someone is big then they eat the cow.
((("someone" "is" "big" "+")) -> ("someone" "eats" "cow" "+"))
The tiger is red.
True
1
proof
[(triple10)]
("tiger" "is" "red" "+")
triple10
The tiger is not red.
False
1
inv-proof
[(triple10)]
("tiger" "is" "red" "-")
triple10
The tiger eats the cow.
True
2
proof
[(((triple9) -> rule1))]
("tiger" "eats" "cow" "+")
((triple9) -> (rule1 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The bear does not eat the cow.
False
2
inv-proof
[(((triple4) -> rule1))]
("bear" "eats" "cow" "-")
((triple4) -> (rule1 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "cow" "-")
The bald eagle eats the cow.
Unknown
rconc
[@1: The bald eagle eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "cow" "+")
The bear does not eat the bald eagle.
Unknown
inv-random
[@0: The bear eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bald eagle" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is blue.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear is big.[(triple4)] The bear is kind.[(triple5)] The bear likes the tiger.[(triple6)] The cow eats the bear.[(triple7)] The cow likes the bear.[(triple8)] The tiger is big.[(triple9)] The tiger is red.[(triple10)] @1: The bear eats the cow.[(((triple4) -> rule1))] The tiger eats the cow.[(((triple9) -> rule1))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple4
The bear is kind.
("bear" "is" "kind" "+")
triple5
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple6
The cow eats the bear.
("cow" "eats" "bear" "+")
triple7
The cow likes the bear.
("cow" "likes" "bear" "+")
triple8
The tiger is big.
("tiger" "is" "big" "+")
triple9
The tiger is red.
("tiger" "is" "red" "+")
triple10
The bear eats the cow.
("bear" "eats" "cow" "+")
((triple4) -> (rule1 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The tiger eats the cow.
("tiger" "eats" "cow" "+")
((triple9) -> (rule1 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1