The bald eagle chases the tiger. The bald eagle does not eat the tiger. The bald eagle is cold. The dog chases the lion. The dog eats the bald eagle. The dog eats the tiger. The dog does not like the bald eagle. The dog likes the lion. The lion chases the tiger. The lion is rough. The lion does not like the bald eagle. The lion likes the dog. The tiger chases the bald eagle. The tiger chases the lion. The tiger does not eat the dog. The tiger is red. If the bald eagle chases the lion then the lion chases the bald eagle.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog does not like the bald eagle.
("dog" "likes" "bald eagle" "-")
The dog likes the lion.
("dog" "likes" "lion" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion does not like the bald eagle.
("lion" "likes" "bald eagle" "-")
The lion likes the dog.
("lion" "likes" "dog" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger does not eat the dog.
("tiger" "eats" "dog" "-")
The tiger is red.
("tiger" "is" "red" "+")
If the bald eagle chases the lion then the lion chases the bald eagle.
((("bald eagle" "chases" "lion" "+")) -> ("lion" "chases" "bald eagle" "+"))
The lion chases the tiger.
True
1
proof
[(triple9)]
("lion" "chases" "tiger" "+")
triple9
The bald eagle does not chase the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "tiger" "-")
triple1
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 likes the lion.
Unknown
random
[@0: The bald eagle likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "lion" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle does not eat the tiger.[(triple2)] The bald eagle is cold.[(triple3)] The dog chases the lion.[(triple4)] The dog does not like the bald eagle.[(triple7)] The dog eats the bald eagle.[(triple5)] The dog eats the tiger.[(triple6)] The dog likes the lion.[(triple8)] The lion chases the tiger.[(triple9)] The lion does not like the bald eagle.[(triple11)] The lion is rough.[(triple10)] The lion likes the dog.[(triple12)] The tiger chases the bald eagle.[(triple13)] The tiger chases the lion.[(triple14)] The tiger does not eat the dog.[(triple15)] The tiger is red.[(triple16)]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The dog chases the lion.
("dog" "chases" "lion" "+")
triple4
The dog does not like the bald eagle.
("dog" "likes" "bald eagle" "-")
triple7
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple5
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple6
The dog likes the lion.
("dog" "likes" "lion" "+")
triple8
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple9
The lion does not like the bald eagle.
("lion" "likes" "bald eagle" "-")
triple11
The lion is rough.
("lion" "is" "rough" "+")
triple10
The lion likes the dog.
("lion" "likes" "dog" "+")
triple12
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple13
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple14
The tiger does not eat the dog.
("tiger" "eats" "dog" "-")
triple15
The tiger is red.
("tiger" "is" "red" "+")
triple16