The bald eagle chases the lion. The bald eagle chases the tiger. The bald eagle eats the lion. The bald eagle eats the tiger. The bald eagle is green. The bald eagle is kind. The bald eagle is rough. The bald eagle likes the lion. The lion chases the bald eagle. The lion eats the bald eagle. The lion eats the tiger. The lion is rough. The tiger chases the lion. The tiger is rough. The tiger likes the bald eagle. The tiger likes the lion. All big things are red. If something eats the bald eagle then it chases the bald eagle. If the bald eagle is rough and the bald eagle likes the tiger then the bald eagle chases the lion.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is rough.
("lion" "is" "rough" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
All big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something eats the bald eagle then it chases the bald eagle.
((("something" "eats" "bald eagle" "+")) -> ("something" "chases" "bald eagle" "+"))
If the bald eagle is rough and the bald eagle likes the tiger then the bald eagle chases the lion.
((("bald eagle" "is" "rough" "+") ("bald eagle" "likes" "tiger" "+")) -> ("bald eagle" "chases" "lion" "+"))
The lion chases the bald eagle.
True
1
proof
[(triple9 OR ((triple10) -> rule2))]
("lion" "chases" "bald eagle" "+")
triple9
((triple10) -> (rule2 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The bald eagle does not eat the lion.
False
1
inv-proof
[(triple3)]
("bald eagle" "eats" "lion" "-")
triple3
The tiger does not chase the bald eagle.
Unknown
inv-rconc
[@1: The tiger chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "chases" "bald eagle" "-")
The lion likes the tiger.
Unknown
random
[@0: The lion likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "tiger" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle eats the lion.[(triple3)] The bald eagle eats the tiger.[(triple4)] The bald eagle is green.[(triple5)] The bald eagle is kind.[(triple6)] The bald eagle is rough.[(triple7)] The bald eagle likes the lion.[(triple8)] The lion chases the bald eagle.[(triple9 OR ((triple10) -> rule2))] The lion eats the bald eagle.[(triple10)] The lion eats the tiger.[(triple11)] The lion is rough.[(triple12)] The tiger chases the lion.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger likes the lion.[(triple16)]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple3
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple4
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple5
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple6
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple7
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple8
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple9
((triple10) -> (rule2 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple10
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple11
The lion is rough.
("lion" "is" "rough" "+")
triple12
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple15
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple16