The bald eagle likes the lion. The dog likes the tiger. The lion is red. The tiger chases the lion. If someone likes the lion and they like the bald eagle then they eat the lion. If someone is young and they like the dog then they are blue. If someone is rough and they eat the dog then they eat the bald eagle. If the bald eagle chases the dog and the bald eagle likes the tiger then the bald eagle eats the dog. If someone chases the dog and the dog eats the lion then the lion eats the tiger. If the bald eagle likes the lion then the lion is blue. If the bald eagle is blue and the bald eagle likes the lion then the lion chases the bald eagle. If someone eats the dog then the dog chases the tiger.
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The lion is red.
("lion" "is" "red" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
If someone likes the lion and they like the bald eagle then they eat the lion.
((("someone" "likes" "lion" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "eats" "lion" "+"))
If someone is young and they like the dog then they are blue.
((("someone" "is" "young" "+") ("someone" "likes" "dog" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and they eat the dog then they eat the bald eagle.
((("someone" "is" "rough" "+") ("someone" "eats" "dog" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the bald eagle chases the dog and the bald eagle likes the tiger then the bald eagle eats the dog.
((("bald eagle" "chases" "dog" "+") ("bald eagle" "likes" "tiger" "+")) -> ("bald eagle" "eats" "dog" "+"))
If someone chases the dog and the dog eats the lion then the lion eats the tiger.
((("someone" "chases" "dog" "+") ("dog" "eats" "lion" "+")) -> ("lion" "eats" "tiger" "+"))
If the bald eagle likes the lion then the lion is blue.
((("bald eagle" "likes" "lion" "+")) -> ("lion" "is" "blue" "+"))
If the bald eagle is blue and the bald eagle likes the lion then the lion chases the bald eagle.
((("bald eagle" "is" "blue" "+") ("bald eagle" "likes" "lion" "+")) -> ("lion" "chases" "bald eagle" "+"))
If someone eats the dog then the dog chases the tiger.
((("someone" "eats" "dog" "+")) -> ("dog" "chases" "tiger" "+"))
The dog likes the tiger.
True
1
proof
[(triple2)]
("dog" "likes" "tiger" "+")
triple2
The bald eagle does not like the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "lion" "-")
triple1
The lion is blue.
True
2
proof
[(((triple1) -> rule6))]
("lion" "is" "blue" "+")
((triple1) -> (rule6 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is not blue.
False
2
inv-proof
[(((triple1) -> rule6))]
("lion" "is" "blue" "-")
((triple1) -> (rule6 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The tiger does not eat the lion.
Unknown
inv-rconc
[@1: The tiger eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "lion" "-")
The dog chases the tiger.
Unknown
rconc
[@2: The dog chases the tiger.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("dog" "chases" "tiger" "+")
The tiger does not chase the bald eagle.
Unknown
inv-random
[@0: The tiger chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bald eagle" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The bald eagle likes the lion.[(triple1)] The dog likes the tiger.[(triple2)] The lion is red.[(triple3)] The tiger chases the lion.[(triple4)] @1: The lion is blue.[(((triple1) -> rule6))]
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple1
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple2
The lion is red.
("lion" "is" "red" "+")
triple3
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple4
The lion is blue.
("lion" "is" "blue" "+")
((triple1) -> (rule6 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1