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