The bald eagle chases the tiger. The bald eagle is green. The bald eagle sees the lion. The dog sees the lion. The lion chases the bald eagle. The lion chases the dog. The lion is big. The lion is blue. The lion likes the bald eagle. The lion sees the tiger. The tiger chases the bald eagle. The tiger chases the dog. The tiger is green. The tiger likes the dog. The tiger likes the lion. The tiger sees the lion. If the lion likes the dog and the dog chases the lion then the lion chases the bald eagle. If something chases the tiger and the tiger likes the lion then the lion sees the dog. If something sees the dog and it is round then it sees the tiger. If the lion chases the bald eagle then the bald eagle chases the lion. If something chases the bald eagle and the bald eagle sees the dog then the bald eagle is green. If the bald eagle likes the tiger and the bald eagle chases the dog then the tiger chases the dog. If something sees the dog then the dog likes the bald eagle. If something likes the tiger then the tiger is round.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
If the lion likes the dog and the dog chases the lion then the lion chases the bald eagle.
((("lion" "likes" "dog" "+") ("dog" "chases" "lion" "+")) -> ("lion" "chases" "bald eagle" "+"))
If something chases the tiger and the tiger likes the lion then the lion sees the dog.
((("something" "chases" "tiger" "+") ("tiger" "likes" "lion" "+")) -> ("lion" "sees" "dog" "+"))
If something sees the dog and it is round then it sees the tiger.
((("something" "sees" "dog" "+") ("something" "is" "round" "+")) -> ("something" "sees" "tiger" "+"))
If the lion chases the bald eagle then the bald eagle chases the lion.
((("lion" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "lion" "+"))
If something chases the bald eagle and the bald eagle sees the dog then the bald eagle is green.
((("something" "chases" "bald eagle" "+") ("bald eagle" "sees" "dog" "+")) -> ("bald eagle" "is" "green" "+"))
If the bald eagle likes the tiger and the bald eagle chases the dog then the tiger chases the dog.
((("bald eagle" "likes" "tiger" "+") ("bald eagle" "chases" "dog" "+")) -> ("tiger" "chases" "dog" "+"))
If something sees the dog then the dog likes the bald eagle.
((("something" "sees" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
If something likes the tiger then the tiger is round.
((("something" "likes" "tiger" "+")) -> ("tiger" "is" "round" "+"))
The tiger sees the lion.
True
1
proof
[(triple16)]
("tiger" "sees" "lion" "+")
triple16
The lion does not chase the bald eagle.
False
1
inv-proof
[(triple5)]
("lion" "chases" "bald eagle" "-")
triple5
The dog does not see the tiger.
Unknown
inv-rconc
[@1: The dog sees the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "sees" "tiger" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle sees the lion.[(triple3)] The dog sees the lion.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion chases the dog.[(triple6)] The lion is big.[(triple7)] The lion is blue.[(triple8)] The lion likes the bald eagle.[(triple9)] The lion sees the tiger.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger chases the dog.[(triple12)] The tiger is green.[(triple13)] The tiger likes the dog.[(triple14)] The tiger likes the lion.[(triple15)] The tiger sees the lion.[(triple16)] @1: The bald eagle chases the lion.[(((triple5) -> rule4))] The lion sees the dog.[(((triple1 triple15) -> rule2))] @2: The dog likes the bald eagle.[(((((triple1 triple15) -> rule2)) -> rule7))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple3
The dog sees the lion.
("dog" "sees" "lion" "+")
triple4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple5
The lion chases the dog.
("lion" "chases" "dog" "+")
triple6
The lion is big.
("lion" "is" "big" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple9
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple10
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple11
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple12
The tiger is green.
("tiger" "is" "green" "+")
triple13
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple14
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple15
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple16
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
((triple5) -> (rule4 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
((triple1 triple15) -> (rule2 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
((((triple1 triple15) -> (rule2 % int2))) -> (rule7 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
int2