The bald eagle chases the lion. The bald eagle likes the lion. The lion chases the bald eagle. The lion is cold. The lion likes the bald eagle. The lion likes the squirrel. The mouse likes the bald eagle. The mouse likes the lion. The squirrel likes the lion. The squirrel visits the lion. If someone visits the mouse then the mouse chases the squirrel. If someone visits the lion and the lion likes the bald eagle then the bald eagle visits the mouse.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If someone visits the mouse then the mouse chases the squirrel.
((("someone" "visits" "mouse" "+")) -> ("mouse" "chases" "squirrel" "+"))
If someone visits the lion and the lion likes the bald eagle then the bald eagle visits the mouse.
((("someone" "visits" "lion" "+") ("lion" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "mouse" "+"))
The lion likes the squirrel.
True
1
proof
[(triple6)]
("lion" "likes" "squirrel" "+")
triple6
The bald eagle does not chase the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "lion" "-")
triple1
The bald eagle visits the mouse.
True
3
proof
[(((triple10 triple5) -> rule2))]
("bald eagle" "visits" "mouse" "+")
((triple10 triple5) -> (rule2 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The bald eagle does not visit the mouse.
False
3
inv-proof
[(((triple10 triple5) -> rule2))]
("bald eagle" "visits" "mouse" "-")
((triple10 triple5) -> (rule2 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The mouse chases the squirrel.
True
4
proof
[(((((triple10 triple5) -> rule2)) -> rule1))]
("mouse" "chases" "squirrel" "+")
((((triple10 triple5) -> (rule2 % int2))) -> (rule1 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The mouse does not chase the squirrel.
False
4
inv-proof
[(((((triple10 triple5) -> rule2)) -> rule1))]
("mouse" "chases" "squirrel" "-")
((((triple10 triple5) -> (rule2 % int2))) -> (rule1 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The squirrel visits the bald eagle.
Unknown
random
[@0: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bald eagle" "+")
The lion is not young.
Unknown
inv-random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "-")
The squirrel likes the bald eagle.
Unknown
random
[@0: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bald eagle" "+")
The squirrel does not chase the lion.
Unknown
inv-random
[@0: The squirrel chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "lion" "-")
The bald eagle chases the squirrel.
Unknown
random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle likes the lion.[(triple2)] The lion chases the bald eagle.[(triple3)] The lion is cold.[(triple4)] The lion likes the bald eagle.[(triple5)] The lion likes the squirrel.[(triple6)] The mouse likes the bald eagle.[(triple7)] The mouse likes the lion.[(triple8)] The squirrel likes the lion.[(triple9)] The squirrel visits the lion.[(triple10)] @1: The bald eagle visits the mouse.[(((triple10 triple5) -> rule2))] @2: The mouse chases the squirrel.[(((((triple10 triple5) -> rule2)) -> rule1))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple3
The lion is cold.
("lion" "is" "cold" "+")
triple4
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple5
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple6
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple7
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple8
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple9
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple10
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
((triple10 triple5) -> (rule2 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
((((triple10 triple5) -> (rule2 % int2))) -> (rule1 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2