The bald eagle chases the lion. The bald eagle visits the lion. The lion chases the rabbit. The lion is blue. The lion is rough. The lion is young. The lion likes the bald eagle. The lion visits the bald eagle. The lion visits the mouse. The lion visits the rabbit. The mouse chases the bald eagle. The rabbit is big. The rabbit is blue. The rabbit likes the bald eagle. The rabbit visits the lion. If something chases the mouse then it chases the lion. If something is young and it chases the rabbit then the rabbit chases the mouse.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If something chases the mouse then it chases the lion.
((("something" "chases" "mouse" "+")) -> ("something" "chases" "lion" "+"))
If something is young and it chases the rabbit then the rabbit chases the mouse.
((("something" "is" "young" "+") ("something" "chases" "rabbit" "+")) -> ("rabbit" "chases" "mouse" "+"))
The bald eagle chases the lion.
True
1
proof
[(triple1)]
("bald eagle" "chases" "lion" "+")
triple1
The mouse does not chase the bald eagle.
False
1
inv-proof
[(triple11)]
("mouse" "chases" "bald eagle" "-")
triple11
The rabbit chases the mouse.
True
3
proof
[(((triple6 triple3) -> rule2))]
("rabbit" "chases" "mouse" "+")
((triple6 triple3) -> (rule2 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit does not chase the mouse.
False
3
inv-proof
[(((triple6 triple3) -> rule2))]
("rabbit" "chases" "mouse" "-")
((triple6 triple3) -> (rule2 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit chases the lion.
True
4
proof
[(((((triple6 triple3) -> rule2)) -> rule1))]
("rabbit" "chases" "lion" "+")
((((triple6 triple3) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int2
The rabbit does not chase the lion.
False
4
inv-proof
[(((((triple6 triple3) -> rule2)) -> rule1))]
("rabbit" "chases" "lion" "-")
((((triple6 triple3) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int2
The mouse does not chase the lion.
Unknown
inv-rconc
[@1: The mouse chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "chases" "lion" "-")
The lion chases the lion.
Unknown
rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "lion" "+")
The rabbit is not rough.
Unknown
inv-random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "-")
The mouse visits the bald eagle.
Unknown
random
[@0: The mouse visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bald eagle" "+")
The lion does not like the mouse.
Unknown
inv-random
[@0: The lion likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "mouse" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle visits the lion.[(triple2)] The lion chases the rabbit.[(triple3)] The lion is blue.[(triple4)] The lion is rough.[(triple5)] The lion is young.[(triple6)] The lion likes the bald eagle.[(triple7)] The lion visits the bald eagle.[(triple8)] The lion visits the mouse.[(triple9)] The lion visits the rabbit.[(triple10)] The mouse chases the bald eagle.[(triple11)] The rabbit is big.[(triple12)] The rabbit is blue.[(triple13)] The rabbit likes the bald eagle.[(triple14)] The rabbit visits the lion.[(triple15)] @1: The rabbit chases the mouse.[(((triple6 triple3) -> rule2))] @2: The rabbit chases the lion.[(((((triple6 triple3) -> rule2)) -> rule1))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple2
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple3
The lion is blue.
("lion" "is" "blue" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple7
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple8
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple9
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple10
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple11
The rabbit is big.
("rabbit" "is" "big" "+")
triple12
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple13
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple14
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple15
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
((triple6 triple3) -> (rule2 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
((((triple6 triple3) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int2