The bald eagle eats the tiger. The bald eagle does not like the dog. The dog chases the bald eagle. The lion chases the dog. The lion is not green. The lion is not nice. The tiger chases the lion. If the dog is green and the dog chases the lion then the lion eats the tiger. If someone chases the bald eagle then the bald eagle is not kind. If someone likes the tiger then the tiger eats the lion. If someone is blue then they chase the lion. If someone likes the lion and they like the bald eagle then the lion is cold. If someone is nice then they do not like the dog. If the tiger eats the lion then the tiger is nice. If someone likes the dog then the dog eats the tiger.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle does not like the dog.
("bald eagle" "likes" "dog" "-")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is not green.
("lion" "is" "green" "-")
The lion is not nice.
("lion" "is" "nice" "-")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
If the dog is green and the dog chases the lion then the lion eats the tiger.
((("dog" "is" "green" "+") ("dog" "chases" "lion" "+")) -> ("lion" "eats" "tiger" "+"))
If someone chases the bald eagle then the bald eagle is not kind.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "-"))
If someone likes the tiger then the tiger eats the lion.
((("someone" "likes" "tiger" "+")) -> ("tiger" "eats" "lion" "+"))
If someone is blue then they chase the lion.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "lion" "+"))
If someone likes the lion and they like the bald eagle then the lion is cold.
((("someone" "likes" "lion" "+") ("someone" "likes" "bald eagle" "+")) -> ("lion" "is" "cold" "+"))
If someone is nice then they do not like the dog.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "dog" "-"))
If the tiger eats the lion then the tiger is nice.
((("tiger" "eats" "lion" "+")) -> ("tiger" "is" "nice" "+"))
If someone likes the dog then the dog eats the tiger.
((("someone" "likes" "dog" "+")) -> ("dog" "eats" "tiger" "+"))
The lion is not green.
True
1
proof
[(triple5)]
("lion" "is" "green" "-")
triple5
The dog does not chase the bald eagle.
False
1
inv-proof
[(triple3)]
("dog" "chases" "bald eagle" "-")
triple3
The bald eagle is not kind.
True
2
proof
[(((triple3) -> rule2))]
("bald eagle" "is" "kind" "-")
((triple3) -> (rule2 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle is kind.
False
2
inv-proof
[(((triple3) -> rule2))]
("bald eagle" "is" "kind" "+")
((triple3) -> (rule2 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "chases" "lion" "-")
The dog chases the lion.
Unknown
rconc
[@1: The dog chases the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "chases" "lion" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog likes the bald eagle.
Unknown
random
[@0: The dog likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bald eagle" "+")
@0: The bald eagle does not like the dog.[(triple2)] The bald eagle eats the tiger.[(triple1)] The dog chases the bald eagle.[(triple3)] The lion chases the dog.[(triple4)] The lion is not green.[(triple5)] The lion is not nice.[(triple6)] The tiger chases the lion.[(triple7)] @1: The bald eagle is not kind.[(((triple3) -> rule2))]
The bald eagle does not like the dog.
("bald eagle" "likes" "dog" "-")
triple2
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple3
The lion chases the dog.
("lion" "chases" "dog" "+")
triple4
The lion is not green.
("lion" "is" "green" "-")
triple5
The lion is not nice.
("lion" "is" "nice" "-")
triple6
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple7
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
((triple3) -> (rule2 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1