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