The bald eagle chases the lion. The bald eagle is red. The bald eagle likes the lion. The dog chases the rabbit. The dog eats the lion. The dog eats the rabbit. The dog is kind. The dog does not like the bald eagle. The lion is red. The rabbit is not big. The rabbit is rough. The rabbit likes the bald eagle. If the dog is not red and the dog is not big then the dog does not chase the lion. If someone is rough and not kind then they eat the dog. If someone eats the dog then they eat the bald eagle. If the bald eagle likes the lion and the lion is red then the bald eagle chases the rabbit. If someone likes the lion then the lion is blue. If the rabbit is rough and the rabbit does not eat the bald eagle then the bald eagle does not like the dog.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog does not like the bald eagle.
("dog" "likes" "bald eagle" "-")
The lion is red.
("lion" "is" "red" "+")
The rabbit is not big.
("rabbit" "is" "big" "-")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
If the dog is not red and the dog is not big then the dog does not chase the lion.
((("dog" "is" "red" "~") ("dog" "is" "big" "~")) -> ("dog" "chases" "lion" "-"))
If someone is rough and not kind then they eat the dog.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "~")) -> ("someone" "eats" "dog" "+"))
If someone eats the dog then they eat the bald eagle.
((("someone" "eats" "dog" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the bald eagle likes the lion and the lion is red then the bald eagle chases the rabbit.
((("bald eagle" "likes" "lion" "+") ("lion" "is" "red" "+")) -> ("bald eagle" "chases" "rabbit" "+"))
If someone likes the lion then the lion is blue.
((("someone" "likes" "lion" "+")) -> ("lion" "is" "blue" "+"))
If the rabbit is rough and the rabbit does not eat the bald eagle then the bald eagle does not like the dog.
((("rabbit" "is" "rough" "+") ("rabbit" "eats" "bald eagle" "~")) -> ("bald eagle" "likes" "dog" "-"))
The dog eats the rabbit.
True
1
proof
[(triple6)]
("dog" "eats" "rabbit" "+")
triple6
The dog does not chase the rabbit.
False
1
inv-proof
[(triple4)]
("dog" "chases" "rabbit" "-")
triple4
The lion is blue.
True
2
proof
[(((triple3) -> rule5))]
("lion" "is" "blue" "+")
((triple3) -> (rule5 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The bald eagle does not chase the rabbit.
False
3
inv-proof
[(((triple3 triple9) -> rule4))]
("bald eagle" "chases" "rabbit" "-")
((triple3 triple9) -> (rule4 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle does not eat the dog.
Unknown
inv-rconc
[@1: The bald eagle eats the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "dog" "-")
The rabbit eats the bald eagle.
Unknown
rconc
[@2: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("rabbit" "eats" "bald eagle" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the lion.[(triple3)] The dog chases the rabbit.[(triple4)] The dog does not like the bald eagle.[(triple8)] The dog eats the lion.[(triple5)] The dog eats the rabbit.[(triple6)] The dog is kind.[(triple7)] The lion is red.[(triple9)] The rabbit is not big.[(triple10)] The rabbit is rough.[(triple11)] The rabbit likes the bald eagle.[(triple12)] @1: The bald eagle chases the rabbit.[(((triple3 triple9) -> rule4))] The lion is blue.[(((triple3) -> rule5))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple3
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple4
The dog does not like the bald eagle.
("dog" "likes" "bald eagle" "-")
triple8
The dog eats the lion.
("dog" "eats" "lion" "+")
triple5
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple6
The dog is kind.
("dog" "is" "kind" "+")
triple7
The lion is red.
("lion" "is" "red" "+")
triple9
The rabbit is not big.
("rabbit" "is" "big" "-")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple11
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple12
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((triple3 triple9) -> (rule4 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
((triple3) -> (rule5 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1