The bald eagle eats the dog. The bald eagle eats the tiger. The bald eagle is big. The bald eagle is cold. The bald eagle needs the lion. The dog likes the bald eagle. The lion eats the dog. The lion is blue. The lion likes the dog. The lion needs the tiger. The tiger eats the bald eagle. The tiger eats the dog. The tiger is big. The tiger is cold. The tiger is nice. If someone is big then they need the tiger. If someone eats the dog and they need the dog then the dog likes the bald eagle. If the dog needs the lion then the lion eats the dog. If someone eats the bald eagle and the bald eagle likes the lion then the lion likes the tiger. If the lion needs the bald eagle and the lion is nice then the bald eagle is big. If someone is big then they eat the bald eagle.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If someone is big then they need the tiger.
((("someone" "is" "big" "+")) -> ("someone" "needs" "tiger" "+"))
If someone eats the dog and they need the dog then the dog likes the bald eagle.
((("someone" "eats" "dog" "+") ("someone" "needs" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
If the dog needs the lion then the lion eats the dog.
((("dog" "needs" "lion" "+")) -> ("lion" "eats" "dog" "+"))
If someone eats the bald eagle and the bald eagle likes the lion then the lion likes the tiger.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "likes" "lion" "+")) -> ("lion" "likes" "tiger" "+"))
If the lion needs the bald eagle and the lion is nice then the bald eagle is big.
((("lion" "needs" "bald eagle" "+") ("lion" "is" "nice" "+")) -> ("bald eagle" "is" "big" "+"))
If someone is big then they eat the bald eagle.
((("someone" "is" "big" "+")) -> ("someone" "eats" "bald eagle" "+"))
The lion needs the tiger.
True
1
proof
[(triple10)]
("lion" "needs" "tiger" "+")
triple10
The bald eagle is not big.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "big" "-")
triple3
The bald eagle needs the tiger.
True
2
proof
[(((triple3) -> rule1))]
("bald eagle" "needs" "tiger" "+")
((triple3) -> (rule1 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The tiger does not need the tiger.
False
2
inv-proof
[(((triple13) -> rule1))]
("tiger" "needs" "tiger" "-")
((triple13) -> (rule1 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The dog does not eat the bald eagle.
Unknown
inv-rconc
[@1: The dog eats the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "eats" "bald eagle" "-")
The lion likes the tiger.
Unknown
rconc
[@1: The lion likes the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "likes" "tiger" "+")
The tiger does not like the dog.
Unknown
inv-random
[@0: The tiger likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "dog" "-")
The dog eats the lion.
Unknown
random
[@0: The dog eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "lion" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle needs the lion.[(triple5)] The dog likes the bald eagle.[(triple6)] The lion eats the dog.[(triple7)] The lion is blue.[(triple8)] The lion likes the dog.[(triple9)] The lion needs the tiger.[(triple10)] The tiger eats the bald eagle.[(triple11 OR ((triple13) -> rule6))] The tiger eats the dog.[(triple12)] The tiger is big.[(triple13)] The tiger is cold.[(triple14)] The tiger is nice.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple3) -> rule6))] The bald eagle needs the tiger.[(((triple3) -> rule1))] The tiger needs the tiger.[(((triple13) -> rule1))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple5
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple6
The lion eats the dog.
("lion" "eats" "dog" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion likes the dog.
("lion" "likes" "dog" "+")
triple9
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple10
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple11
((triple13) -> (rule6 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger is cold.
("tiger" "is" "cold" "+")
triple14
The tiger is nice.
("tiger" "is" "nice" "+")
triple15
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple3) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
((triple3) -> (rule1 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((triple13) -> (rule1 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1