The bald eagle eats the lion. The bald eagle is round. The cow chases the lion. The cow eats the bald eagle. The cow is cold. The cow is red. The cow needs the bald eagle. The lion eats the bald eagle. The lion eats the cow. The lion is red. If someone eats the bald eagle then the bald eagle eats the cow.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is red.
("cow" "is" "red" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is red.
("lion" "is" "red" "+")
If someone eats the bald eagle then the bald eagle eats the cow.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "cow" "+"))
The cow is red.
True
1
proof
[(triple6)]
("cow" "is" "red" "+")
triple6
The lion does not eat the bald eagle.
False
1
inv-proof
[(triple8)]
("lion" "eats" "bald eagle" "-")
triple8
The bald eagle eats the cow.
True
2
proof
[(((triple4) -> rule1) OR ((triple8) -> rule1))]
("bald eagle" "eats" "cow" "+")
((triple4) -> (rule1 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
((triple8) -> (rule1 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle does not eat the cow.
False
2
inv-proof
[(((triple4) -> rule1) OR ((triple8) -> rule1))]
("bald eagle" "eats" "cow" "-")
((triple4) -> (rule1 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
((triple8) -> (rule1 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
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" "+")
The bald eagle does not need the cow.
Unknown
inv-random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "-")
The lion chases the cow.
Unknown
random
[@0: The lion chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "cow" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is round.[(triple2)] The cow chases the lion.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow is cold.[(triple5)] The cow is red.[(triple6)] The cow needs the bald eagle.[(triple7)] The lion eats the bald eagle.[(triple8)] The lion eats the cow.[(triple9)] The lion is red.[(triple10)] @1: The bald eagle eats the cow.[(((triple4) -> rule1) OR ((triple8) -> rule1))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The cow chases the lion.
("cow" "chases" "lion" "+")
triple3
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple4
The cow is cold.
("cow" "is" "cold" "+")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple7
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple8
The lion eats the cow.
("lion" "eats" "cow" "+")
triple9
The lion is red.
("lion" "is" "red" "+")
triple10
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
((triple4) -> (rule1 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
((triple8) -> (rule1 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1