The bald eagle eats the cow. The cat chases the bald eagle. The cat eats the cow. The cat is red. The cat likes the cow. The cow chases the bald eagle. The cow chases the cat. The cow eats the bald eagle. The cow eats the cat. The cow is cold. If someone eats the cow then the cow is green. If someone chases the cow then the cow chases the bald eagle. If the cat likes the bald eagle and the cat likes the cow then the cow chases the cat.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is cold.
("cow" "is" "cold" "+")
If someone eats the cow then the cow is green.
((("someone" "eats" "cow" "+")) -> ("cow" "is" "green" "+"))
If someone chases the cow then the cow chases the bald eagle.
((("someone" "chases" "cow" "+")) -> ("cow" "chases" "bald eagle" "+"))
If the cat likes the bald eagle and the cat likes the cow then the cow chases the cat.
((("cat" "likes" "bald eagle" "+") ("cat" "likes" "cow" "+")) -> ("cow" "chases" "cat" "+"))
The cat is red.
True
1
proof
[(triple4)]
("cat" "is" "red" "+")
triple4
The cow does not eat the cat.
False
1
inv-proof
[(triple9)]
("cow" "eats" "cat" "-")
triple9
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle chases the cow.
Unknown
random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "+")
@0: The bald eagle eats the cow.[(triple1)] The cat chases the bald eagle.[(triple2)] The cat eats the cow.[(triple3)] The cat is red.[(triple4)] The cat likes the cow.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow chases the cat.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow eats the cat.[(triple9)] The cow is cold.[(triple10)] @1: The cow is green.[(((triple1) -> rule1) OR ((triple3) -> rule1))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple2
The cat eats the cow.
("cat" "eats" "cow" "+")
triple3
The cat is red.
("cat" "is" "red" "+")
triple4
The cat likes the cow.
("cat" "likes" "cow" "+")
triple5
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple6
The cow chases the cat.
("cow" "chases" "cat" "+")
triple7
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple8
The cow eats the cat.
("cow" "eats" "cat" "+")
triple9
The cow is cold.
("cow" "is" "cold" "+")
triple10
The cow is green.
("cow" "is" "green" "+")
((triple1) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((triple3) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1