The bald eagle chases the cow. The bald eagle eats the mouse. The bald eagle is kind. The bald eagle is not rough. The bald eagle is young. The bald eagle does not like the cat. The cat eats the bald eagle. The cat eats the cow. The cow eats the cat. The cow is rough. The cow likes the mouse. The mouse chases the bald eagle. The mouse eats the bald eagle. The mouse does not eat the cat. The mouse likes the cow. If the cow does not chase the bald eagle then the cow eats the cat. If someone eats the cow and they are nice then the cow is not rough. If someone is round and they eat the cow then they chase the cow. If someone chases the cow then they are not round. If someone eats the mouse and they do not like the cow then the mouse eats the cat. If someone chases the cat and they do not chase the cow then they do not eat the mouse.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse does not eat the cat.
("mouse" "eats" "cat" "-")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
If the cow does not chase the bald eagle then the cow eats the cat.
((("cow" "chases" "bald eagle" "~")) -> ("cow" "eats" "cat" "+"))
If someone eats the cow and they are nice then the cow is not rough.
((("someone" "eats" "cow" "+") ("someone" "is" "nice" "+")) -> ("cow" "is" "rough" "-"))
If someone is round and they eat the cow then they chase the cow.
((("someone" "is" "round" "+") ("someone" "eats" "cow" "+")) -> ("someone" "chases" "cow" "+"))
If someone chases the cow then they are not round.
((("someone" "chases" "cow" "+")) -> ("someone" "is" "round" "-"))
If someone eats the mouse and they do not like the cow then the mouse eats the cat.
((("someone" "eats" "mouse" "+") ("someone" "likes" "cow" "~")) -> ("mouse" "eats" "cat" "+"))
If someone chases the cat and they do not chase the cow then they do not eat the mouse.
((("someone" "chases" "cat" "+") ("someone" "chases" "cow" "~")) -> ("someone" "eats" "mouse" "-"))
The cow is rough.
True
1
proof
[(triple10)]
("cow" "is" "rough" "+")
triple10
The cow does not like the mouse.
False
1
inv-proof
[(triple11)]
("cow" "likes" "mouse" "-")
triple11
The mouse does not chase the cow.
Unknown
inv-rconc
[@1: The mouse chases the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "chases" "cow" "-")
The cat chases the bald eagle.
Unknown
random
[@0: The cat chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bald eagle" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle does not like the cat.[(triple6)] The bald eagle eats the mouse.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is not rough.[(triple4)] The bald eagle is young.[(triple5)] The cat eats the bald eagle.[(triple7)] The cat eats the cow.[(triple8)] The cow eats the cat.[(triple9)] The cow is rough.[(triple10)] The cow likes the mouse.[(triple11)] The mouse chases the bald eagle.[(triple12)] The mouse does not eat the cat.[(triple14)] The mouse eats the bald eagle.[(triple13)] The mouse likes the cow.[(triple15)] @1: The bald eagle is not round.[(((triple1) -> rule4))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
triple6
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple4
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple7
The cat eats the cow.
("cat" "eats" "cow" "+")
triple8
The cow eats the cat.
("cow" "eats" "cat" "+")
triple9
The cow is rough.
("cow" "is" "rough" "+")
triple10
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple11
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple12
The mouse does not eat the cat.
("mouse" "eats" "cat" "-")
triple14
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple13
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple15
The bald eagle is not round.
("bald eagle" "is" "round" "-")
((triple1) -> (rule4 % int1))
The bald eagle is not round.
("bald eagle" "is" "round" "-")
int1