The bald eagle chases the mouse. The bald eagle eats the squirrel. The bald eagle likes the rabbit. The bald eagle likes the squirrel. The mouse chases the rabbit. The mouse eats the rabbit. The mouse is not young. The mouse likes the squirrel. The rabbit eats the mouse. The rabbit eats the squirrel. The rabbit is big. The squirrel eats the bald eagle. If someone eats the squirrel then they do not chase the squirrel. If someone eats the bald eagle and they do not eat the rabbit then the rabbit is young. If someone eats the squirrel and they are not big then the squirrel eats the bald eagle. If the squirrel chases the rabbit and the squirrel likes the mouse then the squirrel eats the bald eagle. If the bald eagle chases the squirrel and the bald eagle chases the mouse then the mouse likes the squirrel. If someone eats the rabbit and the rabbit does not eat the mouse then the mouse does not chase the rabbit. If someone chases the rabbit then they do not like the bald eagle. If someone chases the rabbit and they do not eat the bald eagle then they like the bald eagle.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is not young.
("mouse" "is" "young" "-")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
If someone eats the squirrel then they do not chase the squirrel.
((("someone" "eats" "squirrel" "+")) -> ("someone" "chases" "squirrel" "-"))
If someone eats the bald eagle and they do not eat the rabbit then the rabbit is young.
((("someone" "eats" "bald eagle" "+") ("someone" "eats" "rabbit" "~")) -> ("rabbit" "is" "young" "+"))
If someone eats the squirrel and they are not big then the squirrel eats the bald eagle.
((("someone" "eats" "squirrel" "+") ("someone" "is" "big" "~")) -> ("squirrel" "eats" "bald eagle" "+"))
If the squirrel chases the rabbit and the squirrel likes the mouse then the squirrel eats the bald eagle.
((("squirrel" "chases" "rabbit" "+") ("squirrel" "likes" "mouse" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If the bald eagle chases the squirrel and the bald eagle chases the mouse then the mouse likes the squirrel.
((("bald eagle" "chases" "squirrel" "+") ("bald eagle" "chases" "mouse" "+")) -> ("mouse" "likes" "squirrel" "+"))
If someone eats the rabbit and the rabbit does not eat the mouse then the mouse does not chase the rabbit.
((("someone" "eats" "rabbit" "+") ("rabbit" "eats" "mouse" "~")) -> ("mouse" "chases" "rabbit" "-"))
If someone chases the rabbit then they do not like the bald eagle.
((("someone" "chases" "rabbit" "+")) -> ("someone" "likes" "bald eagle" "-"))
If someone chases the rabbit and they do not eat the bald eagle then they like the bald eagle.
((("someone" "chases" "rabbit" "+") ("someone" "eats" "bald eagle" "~")) -> ("someone" "likes" "bald eagle" "+"))
The mouse likes the squirrel.
True
1
proof
[(triple8)]
("mouse" "likes" "squirrel" "+")
triple8
The mouse is young.
False
1
inv-proof
[(triple7)]
("mouse" "is" "young" "+")
triple7
The rabbit does not chase the squirrel.
True
2
proof
[(((triple10) -> rule1))]
("rabbit" "chases" "squirrel" "-")
((triple10) -> (rule1 % int1))
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
int1
The bald eagle chases the squirrel.
False
2
inv-proof
[(((triple2) -> rule1))]
("bald eagle" "chases" "squirrel" "+")
((triple2) -> (rule1 % int1))
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
int1
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "young" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse eats the rabbit.[(triple6)] The mouse is not young.[(triple7)] The mouse likes the squirrel.[(triple8)] The rabbit eats the mouse.[(triple9)] The rabbit eats the squirrel.[(triple10)] The rabbit is big.[(triple11)] The squirrel eats the bald eagle.[(triple12)] @1: The bald eagle does not chase the squirrel.[(((triple2) -> rule1))] The mouse does not like the bald eagle.[(((triple5) -> rule7))] The rabbit does not chase the squirrel.[(((triple10) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple4
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple5
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple6
The mouse is not young.
("mouse" "is" "young" "-")
triple7
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple8
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple9
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple10
The rabbit is big.
("rabbit" "is" "big" "+")
triple11
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple12
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
((triple2) -> (rule1 % int1))
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
int1
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
((triple5) -> (rule7 % int1))
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
int1
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
((triple10) -> (rule1 % int1))
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
int1