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