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