The bald eagle chases the cow. The bald eagle is red. The bald eagle needs the cow. The cow is not big. The lion eats the bald eagle. The lion is green. The lion is nice. The tiger chases the lion. The tiger eats the bald eagle. The tiger eats the lion. The tiger is big. The tiger is red. If someone eats the bald eagle and they eat the cow then the cow is red. If someone chases the cow and the cow does not eat the bald eagle then the bald eagle is not nice. If someone eats the bald eagle then they are red.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The cow is not big.
("cow" "is" "big" "-")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is red.
("tiger" "is" "red" "+")
If someone eats the bald eagle and they eat the cow then the cow is red.
((("someone" "eats" "bald eagle" "+") ("someone" "eats" "cow" "+")) -> ("cow" "is" "red" "+"))
If someone chases the cow and the cow does not eat the bald eagle then the bald eagle is not nice.
((("someone" "chases" "cow" "+") ("cow" "eats" "bald eagle" "~")) -> ("bald eagle" "is" "nice" "-"))
If someone eats the bald eagle then they are red.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "red" "+"))
The tiger is big.
True
1
proof
[(triple11)]
("tiger" "is" "big" "+")
triple11
The tiger is not red.
False
1
inv-proof
[(triple12 OR ((triple9) -> rule3))]
("tiger" "is" "red" "-")
triple12
((triple9) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The lion is red.
True
2
proof
[(((triple5) -> rule3))]
("lion" "is" "red" "+")
((triple5) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is not red.
False
2
inv-proof
[(((triple5) -> rule3))]
("lion" "is" "red" "-")
((triple5) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The cow is not red.
Unknown
inv-rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "red" "-")
The lion eats the tiger.
Unknown
random
[@0: The lion eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "tiger" "+")
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The bald eagle needs the lion.
Unknown
random
[@0: The bald eagle needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "lion" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the cow.[(triple3)] The cow is not big.[(triple4)] The lion eats the bald eagle.[(triple5)] The lion is green.[(triple6)] The lion is nice.[(triple7)] The tiger chases the lion.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger eats the lion.[(triple10)] The tiger is big.[(triple11)] The tiger is red.[(triple12 OR ((triple9) -> rule3))] @1: The lion is red.[(((triple5) -> rule3))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple3
The cow is not big.
("cow" "is" "big" "-")
triple4
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple5
The lion is green.
("lion" "is" "green" "+")
triple6
The lion is nice.
("lion" "is" "nice" "+")
triple7
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple8
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple9
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple11
The tiger is red.
("tiger" "is" "red" "+")
triple12
((triple9) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The lion is red.
("lion" "is" "red" "+")
((triple5) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1